4037 search results - page 516 / 808 » Routing without ordering |
165
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We present an approach for smooth and collisionfree navigation of multiple mobile robots amongst each other. Each robot senses its surroundings and acts independently w...
221
click to vote
LAWEB
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a model-based approach for developing vectorial user interfaces to an interactive applications, whether it is a web or a stand-alone applications. A vectoria...
149
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
146
click to vote
ADHOCNETS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper addresses the detection and reporting of abnormal building access with a wireless sensor network. A common office room, offering space for two working persons...
164
click to vote
WFLP
2009
Springer
15 years 11 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...