Sciweavers

3009 search results - page 40 / 602
» The Expressive Rate of Constraints
Sort
View
ROBOCUP
1999
Springer
95views Robotics» more  ROBOCUP 1999»
14 years 2 months ago
Spatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
Frieder Stolzenburg, Oliver Obst, Jan Murray, Bj&o...
CP
2000
Springer
14 years 2 months ago
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
Philippe Refalo
CONSTRAINTS
1998
108views more  CONSTRAINTS 1998»
13 years 9 months ago
Constraints in Graph Drawing Algorithms
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...
Roberto Tamassia
BIOSYSTEMS
2007
175views more  BIOSYSTEMS 2007»
13 years 10 months ago
Alternative routes and mutational robustness in complex regulatory networks
Alternative pathways through a gene regulation network connect a regulatory molecule to its (indirect) regulatory target via different intermediate regulators. We here show for tw...
Andreas Wagner, Jeremiah Wright
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
13 years 8 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki