1795 search results - page 247 / 359 » On the Complexity of Circuit Satisfiability |
123
click to vote
UIST
1997
ACM
15 years 4 months ago
1997
ACM
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...
108
click to vote
AIPS
2008
15 years 3 months ago
2008
We present an automated planning application for generating 3D tasks demonstrations involving a teleoperated robot arm on the International Space Station (ISS). A typical task dem...
JAIR
2008
15 years 23 days ago
2008
Shapley's impossibility result indicates that the two-person bargaining problem has no non-trivial ordinal solution with the traditional game-theoretic bargaining model. Alth...
114
click to vote
TROB
2002
15 years 12 days ago
2002
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
136
click to vote
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...