570 search results - page 65 / 114 » Robustness and Implementability of Timed Automata |
CADE
2005
Springer
14 years 11 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
ROBOCUP
2004
Springer
14 years 4 months ago
2004
Springer
In this paper, we present a new approach for omnidirectional vision-based self-localization in the RoboCup Middle-Size League. The omnidirectional vision sensor is used as a range ...
ISER
1993
Springer
14 years 3 months ago
1993
Springer
Much of the focus of the research effort in path planning for mobile robots has centred on the problem of finding a path from a start location to a goal location, while minimising...
FORMATS
2010
Springer
13 years 9 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...