283 search results - page 20 / 57 » Error Detection Using BMC in a Parallel Environment |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— Map building through cooperative localisation (co-location) using circular geometric targets and a SICK laser range scanner is investigated. The tenet of co-location is circle ...
ISD
1999
Springer
14 years 2 days ago
1999
Springer
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe an experiment where listeners were asked to detect two specific forms of stress in talkers’ recorded voices heard via six different simulated communication systems. ...
ISSTA
1989
ACM
13 years 12 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
GRID
2006
Springer
13 years 7 months ago
2006
Springer
Monitoring and correlation of streaming data from multiple sources is becoming increasingly important in many application areas. Example applications include automated commodities...