Sciweavers

2450 search results - page 222 / 490
» Exploring Unknown Environments
Sort
View
154
Voted
VISUALIZATION
1993
IEEE
15 years 9 months ago
Visual Feedback in Querying Large Databases
In this paper, we describe a database query system that provides visual relevance feedback in querying large databases. The goal of our system is to support the query specificati...
Daniel A. Keim, Hans-Peter Kriegel, Thomas Seidl
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
15 years 8 months ago
A Symbolic Execution Framework for JavaScript
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng...
3DPVT
2004
IEEE
126views Visualization» more  3DPVT 2004»
15 years 8 months ago
Helmholtz Stereopsis on Rough and Strongly Textured Surfaces
Helmholtz Stereopsis (HS) has recently been explored as a promising technique for capturing shape of objects with unknown reflectance. So far, it has been widely applied to object...
Jean-Yves Guillemaut, Ondrej Drbohlav, Radim S&aac...
CAV
2008
Springer
157views Hardware» more  CAV 2008»
15 years 7 months ago
Effective Program Verification for Relaxed Memory Models
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
Sebastian Burckhardt, Madanlal Musuvathi
HCI
2007
15 years 6 months ago
Musculoskeletal and Performance Effects of Monocular Display Augmented, Articulated Arm Based Laser Digitizing
Abstract. Processes of capturing solid geometry features as threedimensional data for analysis, simulation, or reverse engineering require the use of laser-based reverse engineerin...
Neil Littell, Kari Babski-Reeves, Gary McFadyen, J...