14386 search results - page 403 / 2878 » The Chinese Generals Problem |
159
click to vote
PPAM
2005
Springer
16 years 11 days ago
2005
Springer
We address a generalization of the classical 1- and 2-processor UET scheduling problem on dedicated machines. In our chromatic model of scheduling machines have non-simultaneous av...
174
click to vote
ISAAC
2004
Springer
16 years 7 days ago
2004
Springer
Fitting a curve of a certain type to a given set of points in the plane is a basic problem in statistics and has numerous applications. We consider fitting a polyline with k join...
166
click to vote
PADL
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
160
click to vote
SAT
2004
Springer
16 years 7 days ago
2004
Springer
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...
165
click to vote
ICRA
2003
IEEE
16 years 5 days ago
2003
IEEE
— We propose a novel complementarity model for a general three-dimensional manipulation system with rolling and sliding contacts to solve the forward dynamics problem. The key id...