6978 search results - page 1083 / 1396 » On Proofs in System P |
182
click to vote
AAAI
1992
15 years 8 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...
167
click to vote
ATAL
2010
Springer
15 years 8 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...
206
click to vote
CDES
2009
15 years 8 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...
194
click to vote
COMAD
2009
15 years 8 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...
141
Voted
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In the last decade various time- and frequency-domain algorithms were derived to blindly identify acoustic systems. One of these algorithms is the multichannel Newton (MCN) algori...