6431 search results - page 439 / 1287 » Model Building by Resolution |
292
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
215
click to vote
JCDL
2005
ACM
16 years 12 days ago
2005
ACM
Movable books provide interesting challenges for digitization and user interfaces design. We report in this paper some preliminary results in the building of a 3D visualization wo...
162
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
208
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
204
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...