1678 search results - page 144 / 336 » An ASM Specification of C |
139
click to vote
COMCOM
2000
15 years 5 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
118
click to vote
IJDAR
2000
15 years 5 months ago
2000
Our proposed approach to text and line-art extraction requires accurately locating a text-string box and identifying external line vectors incident on the box. The results of extra...
143
click to vote
MMS
2002
15 years 5 months ago
2002
Streaming media from the Internet is a successful application for end-users. With the upcoming success of mobile devices and home networking environments, cooperation among users ...
210
click to vote
PAMI
2002
15 years 5 months ago
2002
This paper surveys the developments of the last 20 years in the area of vision for mobile robot navigation. Two major components of the paper deal with indoor navigation and outdoo...
158
click to vote
SIAMJO
2002
15 years 5 months ago
2002
We outline a new approach for radiosurgery treatment planning, based on solving a series of optimization problems. We consider a specific treatment planning problem for a speciali...