2917 search results - page 24 / 584 » Satisfying Interaction Constraints |
105
click to vote
ULPAA
1994
15 years 3 months ago
1994
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
130
Voted
FOCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch pa...
111
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide...
87
Voted
DAC
2002
ACM
16 years 2 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...