2711 search results - page 318 / 543 » Mapping sequences by parts |
189
Voted
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
209
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
149
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
List-based priority schedulers have long been one of the dominant classes of static scheduling algorithms. Such heuristics have been predominantly based around the "critical ...
197
click to vote
CAIP
1997
Springer
15 years 10 months ago
1997
Springer
A low-cost active vision head with ten degrees of freedom is presented that has been build from off-the-shelf parts. To obtain high resolution depth information of fixated objects ...
172
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...