Sciweavers

422 search results - page 66 / 85
» On Modal Refinement and Consistency
Sort
View
3DPVT
2004
IEEE
151views Visualization» more  3DPVT 2004»
15 years 3 months ago
Entire Model Acquisition System using Handheld 3D Digitizer
In this paper, a real-time, handheld 3D model acquisition system consisting of a laser projector, a video camera and a turntable is described. The user projects a stripe of light ...
Hiroshi Kawasaki, Ryo Furukawa
ATAL
2006
Springer
15 years 3 months ago
Evaluating a computational model of social causality and responsibility
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
Wenji Mao, Jonathan Gratch
CRV
2004
IEEE
147views Robotics» more  CRV 2004»
15 years 3 months ago
Shape from Contours and Multiple Stereo - A Hierarchical, Mesh-Based Approach
We present a novel method for 3D shape recovery based on a combination of visual hull information and multi image stereo. We start from a coarse triangle mesh extracted from visua...
Hendrik Kiick, Wolfgang Heidrich, Christian Vogelg...
FMCAD
2006
Springer
15 years 3 months ago
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
Hyondeuk Kim, Fabio Somenzi
EDBTW
2010
Springer
15 years 3 months ago
Flexible Dataspace Management Through Model Management
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
Cornelia Hedeler, Khalid Belhajjame, Lu Mao, Norma...