Sciweavers

402 search results - page 45 / 81
» Interactive function-based shape modelling
Sort
View
CAV
2007
Springer
114views Hardware» more  CAV 2007»
13 years 11 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
CORR
2010
Springer
97views Education» more  CORR 2010»
13 years 7 months ago
Knowledge-Based Innovation Systems and the Model of a Triple Helix of University-Industry-Government Relations
The (neo-)evolutionary model of a Triple Helix of University-Industry-Government Relations focuses on the overlay of expectations, communications, and interactions that potentiall...
Loet Leydesdorff
BMVC
2000
13 years 9 months ago
3D Model Acquisition by Tracking 2D Wireframes
This paper presents a semi-automatic wireframe acquisition system. The system uses real-time (25Hz) tracking of a user specified 2D wireframe and intermittent camera pose paramete...
M. Brown, Tom Drummond, Roberto Cipolla
MTA
2002
103views more  MTA 2002»
13 years 7 months ago
STEPS: Supporting Traditional Education Procedures-A TCP/IP Multimedia Networks-Based Model
This paper describes an integrated model for the realization of an Open and Distance Learning (ODL) environment supporting traditional learning procedures, through collaborative le...
Christos Bouras, Petros Lampsas, Paul G. Spirakis
SIBGRAPI
2007
IEEE
14 years 1 months ago
A Simple Framework for Natural Animation of Digitized Models
We present a versatile, fast and simple framework to generate animations of scanned human characters from input optical motion capture data. Our method is purely meshbased and req...
Edilson de Aguiar, Rhaleb Zayer, Christian Theobal...