Sciweavers

1366 search results - page 67 / 274
» Modularizing Contexted Constraints
Sort
View
IROS
2008
IEEE
133views Robotics» more  IROS 2008»
15 years 5 months ago
Haptic display of dynamic systems subject to holonomic constraints
Abstract— In this paper, we present a framework that enables an operator to haptically and visually interact with a dynamic simulation subject to virtual holonomic constraints. T...
Adolfo Rodriguez, Luis Basañez, J. Edward C...
SARA
2007
Springer
15 years 5 months ago
Reformulating Constraint Satisfaction Problems to Improve Scalability
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Ch...
DBPL
2003
Springer
105views Database» more  DBPL 2003»
15 years 4 months ago
Integrating Database and Programming Language Constraints
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, R...
EPIA
2001
Springer
15 years 3 months ago
Global Hull Consistency with Local Search for Continuous Constraint Solving
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
Jorge Cruz, Pedro Barahona
AI
2005
Springer
14 years 11 months ago
Asynchronous aggregation and consistency in distributed constraint satisfaction
Constraint Satisfaction Problems (CSP) have been very successful in problem-solving tasks ranging from resource allocation and scheduling to configuration and design. Increasingly...
Marius-Calin Silaghi, Boi Faltings