3169 search results - page 343 / 634 » Robust Timed Automata |
175
click to vote
RAS
2008
15 years 6 months ago
2008
This paper presents a cooperative decentralized path-planning algorithm for a group of autonomous agents that provides guaranteed collisionfree trajectories in real-time. The algo...
300
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
We present a set of experiments in which a robotic swarm manages to collectively explore the environment, forming a path to navigate between two target areas, which are too distant...
200
click to vote
IMCSIT
2010
15 years 4 months ago
2010
This paper presents a system for segmentation of images into regions and annotation of these regions for semantic identification of the objects present in the image. The unified me...
174
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
225
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...