Sciweavers

1441 search results - page 250 / 289
» A Practical Approach to Network-Based Processing
Sort
View
184
Voted
POPL
2002
ACM
16 years 23 days ago
Mining specifications
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
Glenn Ammons, James R. Larus, Rastislav Bodí...
127
Voted
MOBISYS
2004
ACM
16 years 2 days ago
A Mechanism for Host Mobility Management supporting Application Awareness
Many approaches exist today that address the issues that arise when a mobile node changes its point(s) of attachment to the Internet. Mobile IP takes care of host mobility at the ...
Arjan J. H. Peddemors, Hans Zandbelt, Mortaza S. B...
IROS
2007
IEEE
210views Robotics» more  IROS 2007»
15 years 6 months ago
Extrinsic self calibration of a camera and a 3D laser range finder from natural scenes
— In this paper, we describe a new approach for the extrinsic calibration of a camera with a 3D laser range finder, that can be done on the fly. This approach does not require an...
Davide Scaramuzza, Ahad Harati, Roland Siegwart
VISUALIZATION
2005
IEEE
15 years 6 months ago
Query-Driven Visualization of Large Data Sets
We present a practical and general-purpose approach to large and complex visual data analysis where visualization processing, rendering and subsequent human interpretation is cons...
Kurt Stockinger, John Shalf, Kesheng Wu, E. Wes Be...
119
Voted
SSD
1999
Springer
106views Database» more  SSD 1999»
15 years 4 months ago
XZ-Ordering: A Space-Filling Curve for Objects with Spatial Extension
There is an increasing need to integrate spatial index structures into commercial database management systems. In geographic information systems (GIS), huge amounts of information ...
Christian Böhm, Gerald Klump, Hans-Peter Krie...