107 search results - page 12 / 22 » Planning and Patching Proof |
112
click to vote
ICDE
2009
IEEE
15 years 6 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
WECWIS
2008
IEEE
15 years 6 months ago
2008
IEEE
Today’s development and provision of commercially used Web services has shifted from providing static and predefined functionality to highly configurable services that can be ...
107
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates s...
126
click to vote
COMPGEOM
2004
ACM
15 years 3 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...
104
click to vote
RAS
2010
14 years 10 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...