773 search results - page 11 / 155 » Traversing the Machining Graph |
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
We consider the robot exploration of a planar graphlike world. The robot's goal is to build a complete map of its environment. The environment is modeled as an arbitrary undi...
JGAA
2008
13 years 9 months ago
2008
Bar k-visibility graphs are graphs admitting a representation in which the vertices correspond to horizontal line segments, called bars, and the edges correspond to vertical lines...
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...