570 search results - page 65 / 114 » Robustness and Implementability of Timed Automata |
130
Voted
CADE
2005
Springer
16 years 26 days 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...
91
Voted
ICCAD
2006
IEEE
15 years 6 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...
90
Voted
ROBOCUP
2004
Springer
15 years 5 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
15 years 4 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...
100
Voted
FORMATS
2010
Springer
14 years 10 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 ...