7961 search results - page 1223 / 1593 » Data Integration with Uncertainty |
173
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
135
click to vote
VRML
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a framework, integrated into the X3D file format, for the streaming of 3D content in the context of remote scientific visualization; a progressive mesh compres...
169
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
167
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
154
click to vote
AIPR
2008
IEEE
15 years 4 months ago
2008
IEEE
The integration of multi-spectral airborne imagery and geographic data for wildfire and emergency response requires 3D multiple view registration. Registration of maps, visible ima...