1453 search results - page 107 / 291 » Partial Constraint Satisfaction |
134
click to vote
IAAI
2001
15 years 5 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
123
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present adaptive admittance control of a robotic manipulator, with uncertain dynamic parameters, operating in a constrained task space. To provide compliance to external for...
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent re...
160
click to vote
AIPS
2010
15 years 5 months ago
2010
Efficient management and propagation of temporal constraints is important for temporal planning as well as for scheduling. During plan development, new events and temporal constra...
106
Voted
RTA
2001
Springer
15 years 8 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...