941 search results - page 150 / 189 » The Second Order Particle System |
GIS
2002
ACM
13 years 10 months ago
2002
ACM
Clustering is one of the most important tasks for geographic knowledge discovery. However, existing clustering methods have two severe drawbacks for this purpose. First, spatial c...
AISS
2010
13 years 6 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
ACMACE
2006
ACM
14 years 5 months ago
2006
ACM
This paper presents a motion-capture-based control framework for third-person view virtual reality applications. Using motion capture devices, a user can directly control the full...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
APGV
2010
ACM
2010
ACM
Evaluating the effectiveness of visualization techniques for schematic diagrams in maintenance tasks
14 years 2 months ago
In order to perform daily maintenance and repair tasks in complex electrical and mechanical systems, technicians commonly utilize a large number of diagrams and documents detailin...