Sciweavers

2516 search results - page 166 / 504
» Integrity Constraints for XML
Sort
View
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
16 years 28 days ago
A passive 2DOF walker: Finding gait cycles using virtual holonomic constraints
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
Leonid B. Freidovich, Uwe Mettin, Anton S. Shiriae...
CP
2005
Springer
16 years 3 hour ago
On Solving Soft Temporal Constraints Using SAT Techniques
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
Hossein M. Sheini, Bart Peintner, Karem A. Sakalla...
CP
1999
Springer
15 years 10 months ago
Search Procedures and Parallelism in Constraint Programming
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
Laurent Perron
ECAIW
2000
Springer
15 years 10 months ago
Cognition, Sociability, and Constraints
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
Gerhard Weiß
VLDB
1987
ACM
72views Database» more  VLDB 1987»
15 years 10 months ago
Providing Time-Related Constraints for Conventional Database Systems
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
T. Abbod, K. Brown, H. Noble