標(biāo)題: Titlebook: New Trends in Constraints; Joint ERCIM/Compulog Krzysztof R. Apt,Eric Monfroy,Francesca Rossi Conference proceedings 2000 Springer-Verlag B [打印本頁] 作者: Agoraphobia 時間: 2025-3-21 17:12
書目名稱New Trends in Constraints影響因子(影響力)
書目名稱New Trends in Constraints影響因子(影響力)學(xué)科排名
書目名稱New Trends in Constraints網(wǎng)絡(luò)公開度
書目名稱New Trends in Constraints網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱New Trends in Constraints被引頻次
書目名稱New Trends in Constraints被引頻次學(xué)科排名
書目名稱New Trends in Constraints年度引用
書目名稱New Trends in Constraints年度引用學(xué)科排名
書目名稱New Trends in Constraints讀者反饋
書目名稱New Trends in Constraints讀者反饋學(xué)科排名
作者: 原始 時間: 2025-3-21 22:25
Interval Constraints: Results and Perspectivessed to compute inner approximations of real relations and to solve constraints with quantified variables are briefly presented, and directions for extending interval constraint techniques to solve these problems are pointed out.作者: BOAST 時間: 2025-3-22 00:42 作者: NUL 時間: 2025-3-22 07:57
Generating Propagation Rules for Finite Domains: A Mixed Approach using a unification algorithm to compute most general solutions of constraints. In this paper, we propose a mixed approach for designing finite domain constraints solvers: it consists in using a solver based on unification to improve the generation of propagation rules.作者: Harness 時間: 2025-3-22 12:03
Combining Constraint Logic Programming Techniques for Solving Linear Problemshe aforementioned domain splitting mechanism, while the latter is a Simplex-Like solver named CLP(Q). Each counterpart submits some services to the other in order that the coherent system improves the search efficiency and tackles their individual main defects.作者: heart-murmur 時間: 2025-3-22 16:17
Quantitative Observables and Averages in Probabilistic Constraint Programmings of algorithms..We base our model on the Concurrent Constraint Programming (CCP) paradigm and we argue that it can be an appropriate base for further developments oriented to the analysis and verification of average properties.作者: 矛盾 時間: 2025-3-22 19:41 作者: 肉體 時間: 2025-3-22 21:12 作者: 繁榮中國 時間: 2025-3-23 02:21
Constraint (Logic) Programming: A Survey on Research and Applicationswhich describe some relationship between the problem’s variables. This survey paper gives a brief introduction to C(L)P, presents a (necessarily partial) state of the art in CLP research and applications, points out some promising directions for future applications, and discusses how to cope with current research challenges.作者: Myocyte 時間: 2025-3-23 09:32
Some Remarks on Boolean Constraint Propagation of resolution for propositional logic..Subsequently we characterize one set of such rules by means of the notion of hyper-arc consistency introduced in Mohr & Masini (1988). Also, we clarify the status of a similar, though different, set of rules introduced in Simonis (1989) and more fully in Codognet & Diaz (1996).作者: indoctrinate 時間: 2025-3-23 10:19 作者: Largess 時間: 2025-3-23 16:46
Rule Based Programming with Constraints and Strategies and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.作者: 共棲 時間: 2025-3-23 21:21
0302-9743 leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.978-3-540-67885-4978-3-540-44654-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 翻布尋找 時間: 2025-3-24 01:38
Conference proceedings 2000yprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.作者: 迷住 時間: 2025-3-24 03:33 作者: 最高點(diǎn) 時間: 2025-3-24 09:31
A Constraint-Based Language for Virtual Agentse notion of time adequate for animation systems such as VRML. We illustrate this approach by some simple examples of virtual creatures that can autonomously move in the 3D world, and we describe some simple behaviors derived from biologically-inspired models of navigation.作者: Cultivate 時間: 2025-3-24 10:50
OPL Script: Composing and Controlling Modelsuse traditional scripting facilities. The basic abstractions of OPLScript are the concepts of models and abstract models that make it possible to develop, maintain, test, and reuse models independently of the scripts using them and to develop scripts that apply to a variety of models.作者: LOPE 時間: 2025-3-24 15:37
Ways of Maintaining Arc Consistency in Search Using the Cartesian Representationng and representing all solutions of a CSP. It is assessed that maintaining arc-consistency (MAC) is the most efficient general algorithm for solving hard problems. A few work on combining MAC with CPR exists. In this paper we study comparatively two other possible alternatives of MAC-CPR.作者: 舞蹈編排 時間: 2025-3-24 22:09 作者: 帶傷害 時間: 2025-3-24 23:20 作者: gout109 時間: 2025-3-25 03:22 作者: 阻止 時間: 2025-3-25 07:42 作者: MAOIS 時間: 2025-3-25 11:45
Francesca Rossie European empires that dominated the continent collapsed and at last allowed Africans to regain some control over their destiny. Japan, like Western Europe, was slowly recovering from the Second World War and its period of explosive growth and massive penetration of world markets was still over the作者: 抑制 時間: 2025-3-25 19:08
Pascal Van Hentenryck,L. Michelalism as practised in the communist ruled countries, since there were numerous experiments with economic reform in Russia and Eastern Europe going as far back as the 1950s, but the Chinese reforms have lasted longer, penetrated more deeply and apparently been more successful than any of the reforms 作者: 做作 時間: 2025-3-25 20:05
Krzysztof R. Aptalism as practised in the communist ruled countries, since there were numerous experiments with economic reform in Russia and Eastern Europe going as far back as the 1950s, but the Chinese reforms have lasted longer, penetrated more deeply and apparently been more successful than any of the reforms 作者: debble 時間: 2025-3-26 03:36 作者: 樹膠 時間: 2025-3-26 06:55
Ian Gent,Kostas Stergiou,Toby Walshtion in each variety is seen as the result of the overt movement which the fmite verb undergoes in CGr. I consider M. (the head of M(ood) P(hrase)) as the landing site of fmite verb movement and conjecture that V-to-M movement is related to the licensing requirements of CGr clitics which, unlike tho作者: Canopy 時間: 2025-3-26 08:28
Conference proceedings 2000yprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.作者: 議程 時間: 2025-3-26 14:06
978-3-540-67885-4Springer-Verlag Berlin Heidelberg 2000作者: 新星 時間: 2025-3-26 19:09 作者: adjacent 時間: 2025-3-26 21:17 作者: 賄賂 時間: 2025-3-27 05:05 作者: 溫室 時間: 2025-3-27 06:07 作者: 玩笑 時間: 2025-3-27 12:55 作者: ERUPT 時間: 2025-3-27 15:13
A Constraint-Based Language for Virtual Agents. In order to describe agent behaviors, we have designed VRCC, a concurrent constraint programming language integrated in the VRML environment. The basis of this declarative language is the notion of constraint, and it is based on the Timed Concurrent Constraint framework, which integrates a discret作者: 哺乳動物 時間: 2025-3-27 20:18
Constraint (Logic) Programming: A Survey on Research and ApplicationsProgramming Languages, and has to do with modeling, solving, and programming real-life problems which can be described as a set of statements (the .) which describe some relationship between the problem’s variables. This survey paper gives a brief introduction to C(L)P, presents a (necessarily parti作者: adroit 時間: 2025-3-28 01:35 作者: fixed-joint 時間: 2025-3-28 06:06
Some Remarks on Boolean Constraint Propagationtablish a completeness result. Then we show an equivalence in an appropriate sense between Boolean constraint propagation and unit propagation, a form of resolution for propositional logic..Subsequently we characterize one set of such rules by means of the notion of hyper-arc consistency introduced 作者: SPURN 時間: 2025-3-28 07:24
Abstracting Soft Constraints problem can help us in many ways: for example, to find good approximations of the optimal solutions, or also to provide us with information that can make the subsequent search for the best solution easier. The results of this paper show that the proposed scheme is promising; thus they can be used a作者: 協(xié)定 時間: 2025-3-28 12:22
Decomposable Constraintsinality” constraints. Certain classes of these non-binary constraints are “network decomposable” as they can be represented by binary constraints on the same set of variables. We compare theoretically the levels of consistency which are achieved on non-binary constraints to those achieved on their b作者: 終止 時間: 2025-3-28 16:39 作者: cylinder 時間: 2025-3-28 21:23 作者: Eulogy 時間: 2025-3-29 01:32 作者: 禁止,切斷 時間: 2025-3-29 05:36 作者: flammable 時間: 2025-3-29 09:59 作者: Mitigate 時間: 2025-3-29 14:15 作者: judiciousness 時間: 2025-3-29 17:53
Rule Based Programming with Constraints and Strategiesor specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon them, and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, th作者: 烤架 時間: 2025-3-29 20:41
Proving Termination of Constraint Solver Programslly implemented CHR constraint solvers. CHR (Constraint Handling Rules) are a declarative language especially designed for writing constraint solvers. CHR are a concurrent constraint logic programming language consisting of multi-headed guarded rules that rewrite constraints into simpler ones until 作者: LEVER 時間: 2025-3-30 03:49 作者: 使乳化 時間: 2025-3-30 07:51 作者: Thyroiditis 時間: 2025-3-30 10:42 作者: 陳腐的人 時間: 2025-3-30 15:53 作者: right-atrium 時間: 2025-3-30 18:15 作者: 不滿分子 時間: 2025-3-30 23:39
Krzysztof R. Apt— but a great deal has been achieved in the last fifteen years and much can be learned from the Chinese experience. Our purpose, however, is not to attempt a comprehensive evaluation of the economic reforms in China but to consider what lessons from the Chinese experience might be applicable to Russ作者: minimal 時間: 2025-3-31 01:50 作者: 精確 時間: 2025-3-31 05:06
