Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Progress in the Solving of a Circuit Design Problem
Journal of Global Optimization
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Interval Constraints: Results and Perspectives
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Universally Quantified Interval Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Basic Operators for Solving Constraints via Collaboration of Solvers
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Declarative Modelling of Constraint Propagation Strategies
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
An interval component for continuous constraints
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Interval constraint solving for camera control and motion planning
ACM Transactions on Computational Logic (TOCL)
Controlled propagation in continuous numerical constraint networks
Proceedings of the 2005 ACM symposium on Applied computing
Box-set consistency for interval-based constraint problems
Proceedings of the 2005 ACM symposium on Applied computing
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
Constraint-based conversion of fiction text to a time-based graphical representation
Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Mechanisms for multimodality: taking fiction to another dimension
AFRIGRAPH '07 Proceedings of the 5th international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
Brief Paper: Box particle filtering for nonlinear state estimation using interval analysis
Automatica (Journal of IFAC)
Exploiting Common Subexpressions in Numerical CSPs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Search heuristics for constraint-aided embodiment design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
An interval-based approach for fault isolation and identification in continuous dynamic systems
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Generalized interval projection: a new technique for consistent domain extension
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Enhancing numerical constraint propagation using multiple inclusion representations
Annals of Mathematics and Artificial Intelligence
Interval propagation and search on directed acyclic graphs for numerical constraint solving
Journal of Global Optimization
Design strategy of serial manipulators with certified constraint satisfaction
IEEE Transactions on Robotics
Brief paper: Interval observer design for consistency checks of nonlinear continuous-time systems
Automatica (Journal of IFAC)
A population and interval constraint propagation algorithm
EMO'03 Proceedings of the 2nd international conference on Evolutionary multi-criterion optimization
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Filtering numerical CSPs using well-constrained subsystems
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Hull consistency under monotonicity
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Constraint propagation on quadratic constraints
Constraints
Set based robust design of mechanical systems using the quantifier constraint satisfaction algorithm
Engineering Applications of Artificial Intelligence
Making adaptive an interval constraint propagation algorithm exploiting monotonicity
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Sweeping with continuous domains
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A box-consistency contractor based on extremal functions
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Journal of Global Optimization
Octagonal domains for continuous constraints
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Localization of an underwater robot using interval constraint propagation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
When interval analysis helps inter-block backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Engineering Applications of Artificial Intelligence
Using constraint programming for reconfiguration of electrical power distribution networks
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Efficient pruning technique based on linear relaxations
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Constraints propagation techniques on intervals for a guaranteed localization using redundant data
Automatica (Journal of IFAC)
ICN-RE: redundancy elimination for information-centric networking
Proceedings of the second edition of the ICN workshop on Information-centric networking
Engineering Applications of Artificial Intelligence
Guaranteed mobile robot tracking using robust interval constraint propagation
ICIRA'12 Proceedings of the 5th international conference on Intelligent Robotics and Applications - Volume Part II
A branch and prune algorithm for the computation of generalized aspects of parallel robots
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.01 |