4451 search results - page 338 / 891 » On Random Ordering Constraints |
137
click to vote
DIMEA
2008
15 years 8 months ago
2008
In this article, we present the development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Is...
166
click to vote
IJCAI
2007
15 years 8 months ago
2007
Constraint Satisfaction Problems (CSPs) are ubiquitous in Artificial Intelligence. The backtrack algorithms that maintain some local consistency during search have become the de ...
166
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
204
click to vote
DKE
2010
15 years 6 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
134
click to vote
AR
2002
15 years 6 months ago
2002
: This paper deals with twisting motion of a falling cat robot by two torque inputs around her waist. The cat robot consists of two rigid columns and has internally two actuators a...