Sciweavers

1381 search results - page 79 / 277
» Computational Complexity of Constraint Satisfaction
Sort
View
CBSE
2009
Springer
15 years 10 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...
136
Voted
AAAI
2004
15 years 5 months ago
Complete Local Search for Propositional Satisfiability
Algorithms based on following local gradient information are surprisingly effective for certain classes of constraint satisfaction problems. Unfortunately, previous local search a...
Hai Fang, Wheeler Ruml
CPAIOR
2010
Springer
15 years 2 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
CHI
2003
ACM
16 years 4 months ago
A fisheye calendar interface for PDAs: providing overviews for small displays
Calendar applications for small handheld devices such as PDAs are growing in popularity. This led us to develop FishCal, a novel calendar interface for PDAs. It supports users in ...
Benjamin B. Bederson, Aaron Clamage, Mary Czerwins...
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
15 years 9 months ago
Constraint-Based Motion Planning of Deformable Robots
Abstract— We present a novel algorithm for motion planning of a deformable robot in a static environment. Given the initial and final configuration of the robot, our algorithm ...
Russell Gayle, Ming C. Lin, Dinesh Manocha