6274 search results - page 459 / 1255 » From query complexity to computational complexity |
212
click to vote
LICS
2006
IEEE
16 years 28 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
132
click to vote
CIMCA
2005
IEEE
16 years 16 days ago
2005
IEEE
Despite the tremendous progress in robotic hardware and in both sensorial and computing efficiencies the performance of contemporary autonomous robots is still far below that of ...
193
click to vote
ICRA
2005
IEEE
16 years 15 days ago
2005
IEEE
— We present a fast method for solving rigid body contact problems with friction, based on optimizations incorporated into Lemke’s algorithm for solving linear complementarity ...
188
click to vote
EAGC
2004
Springer
16 years 9 days ago
2004
Springer
In this paper we describe the Pegasus system that can map complex workflows onto the Grid. takes an abstract description of a workflow and finds the appropriate data and Grid reso...
178
click to vote
CA
2002
IEEE
15 years 12 months ago
2002
IEEE
Complex virtual environments can be simulated with physical or procedural motion. Physical motion is more realistic, but requires the integration of an ordinary differential equat...