Sciweavers

858 search results - page 101 / 172
» A Glimpse of Constraint Satisfaction
Sort
View
JMS
2010
105views more  JMS 2010»
13 years 6 months ago
Applying Non-synchronized E-learning to the Nursing Clinical Ladder System
The time and spatial constraints of face-to-face learning often affect nursing staff’s inclination to enroll in ladder system training classes. Hence, their competence in clinica...
Li-Jung Leu, Hsueh-Chih Liao, I-Chiu Chang, Zhi-Yu...
CPAIOR
2006
Springer
13 years 9 months ago
Conflict-Directed A* Search for Soft Constraints
As many real-world problems involve user preferences, costs, or probabilities, constraint satisfaction has been extended to optimization by generalizing hard constraints to soft co...
Martin Sachenbacher, Brian C. Williams
LICS
2006
IEEE
14 years 1 months ago
On Tractability and Congruence Distributivity
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
Emil W. Kiss, Matthew Valeriote
RSP
2003
IEEE
14 years 1 months ago
Verification of Timing Properties in Rapid System Prototyping
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
Doron Drusinsky, Man-tak Shing
ECP
1997
Springer
88views Robotics» more  ECP 1997»
13 years 12 months ago
A Time and Resource Problem for Planning Architectures
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
Amedeo Cesta, Cristiano Stella