5863 search results - page 872 / 1173 » On Model-Checking of P Systems |
180
click to vote
AAAI
1992
15 years 7 months ago
1992
This paper describes a series of experiments that were performed on the Rocky III robot.1 Rocky III is a small autonomous rover capable of navigating through rough outdoor terrain...
231
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
162
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We demonstrate an approach for collision- and oscillationfree navigation of multiple robots or virtual agents amongst each other. Each entity acts independently and uses only both...
203
click to vote
CDES
2009
15 years 7 months ago
2009
Recent developments in processing devices such as graphical processing units and multi-core systems offer opportunities to make use of parallel techniques at the chip level to obt...
188
click to vote
COMAD
2009
15 years 7 months ago
2009
Developing a vision based, efficient and automatic lane detection system from a moving vehicle is a challenging task mainly due to poor quality of lane markings, occlusion created...