Sciweavers

44 search results - page 7 / 9
» Extracting places from traces of locations
Sort
View
ATVA
2006
Springer
99views Hardware» more  ATVA 2006»
15 years 1 months ago
Whodunit? Causal Analysis for Counterexamples
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
78
Voted
CRV
2006
IEEE
130views Robotics» more  CRV 2006»
15 years 3 months ago
Determining Shot Accuracy of a Robotic Pool System
A process is described to determine the shot accuracy of an automatic robotic pool playing system. The system comprises a ceiling-mounted gantry robot, a special purpose cue end-e...
Joseph Lam, Fei Long, Gerhard Roth, Michael A. Gre...
APVIS
2009
14 years 7 months ago
Contextual picking of volumetric structures
This paper presents a novel method for the interactive identification of contextual interest points within volumetric data by picking on a direct volume rendered image. In clinica...
Peter Kohlmann, Stefan Bruckner, Armin Kanitsar, M...
CVPR
2008
IEEE
15 years 11 months ago
Characterizing the shadow space of camera-light pairs
We present a theoretical analysis for characterizing the shadows cast by a point light source given its relative position to the camera. In particular, we analyze the epipolar geo...
Daniel A. Vaquero, Matthew Turk, Ramesh Raskar, Ro...
ENVSOFT
2000
70views more  ENVSOFT 2000»
14 years 9 months ago
Modeling soil pile bioremediation
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
Fehmidakhatun A. Mesania, Aaron A. Jennings