11321 search results - page 67 / 2265 » Improvements to Turing's method |
150
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Recursive partitioning based placement has a long history, but there has been little consensus on how cut sequences should be chosen. In this paper, we present a dynamic programmi...
151
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
: This work describes a method for processing XPath on a relational back-end that significantly limits the number of SQL joins required, takes advantage of the strengths of modern ...
152
click to vote
ICRA
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract— Crawler mechanisms have the advantage of stable navigation on uneven terrain; as a result, such mechanisms have been adopted for many types of locomotion of outdoor rob...
141
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— Various methods to recognize assembly tasks using possible local displacement of objects have been proposed. To calculate this displacement, the screw theory is employed. It is...
140
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...