1018 search results - page 159 / 204 » Property Testing in Computational Geometry |
148
Voted
ISCA
2011
IEEE
14 years 4 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
121
Voted
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...
235
click to vote
GIS
2008
ACM
16 years 1 months ago
2008
ACM
This paper presents an automatic algorithm which reconstructs building models from airborne LiDAR (light detection and ranging) data of urban areas. While our algorithm inherits t...
174
Voted
SIGMOD
2006
ACM
16 years 23 days ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
116
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...