419 search results - page 21 / 84 » First Order Paths in Ordered Trees |
120
click to vote
ATVA
2006
Springer
15 years 7 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...
152
click to vote
FCT
2003
Springer
15 years 9 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...
151
click to vote
ICRA
2010
IEEE
2010
IEEE
Autonomous flight at low altitude with vision-based collision avoidance and GPS-based path following
15 years 1 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 ...
128
click to vote
CONEXT
2006
ACM
15 years 10 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 ...
133
click to vote
GECCO
2006
Springer
15 years 7 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...