419 search results - page 21 / 84 » First Order Paths in Ordered Trees |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
FCT
2003
Springer
14 years 3 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
ICRA
2010
IEEE
2010
IEEE
Autonomous flight at low altitude with vision-based collision avoidance and GPS-based path following
13 years 7 months ago
The ability to fly at low altitude while actively avoiding collisions with the terrain and other objects is a great challenge for small unmanned aircraft. This paper builds on top ...
CONEXT
2006
ACM
14 years 3 months ago
2006
ACM
Pocket Switched Networking (PSN) is a new communication paradigm between mobile devices. It takes advantage of every local communication opportunity, and the physical mobility of ...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
Computer aided NC-path generation of five-axis milling using a standard CAM-system does usually not take machine dynamics and kinematics into account. This results in machine move...