Sciweavers

6799 search results - page 110 / 1360
» The Tao of Modeling Spaces
Sort
View
KBSE
2009
IEEE
14 years 4 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
ICVGIP
2004
13 years 11 months ago
The Space of Human Shapes
We develop a novel method for fitting high-resolution template meshes to detailed human body range scans with sparse 3D markers. We formulate an optimization problem in which the ...
Brian Curless
JCP
2008
121views more  JCP 2008»
13 years 10 months ago
Towards Design Space Exploration for Biological Systems
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
Simon Polstra, Tessa E. Pronk, Andy D. Pimentel, T...
TSE
2008
146views more  TSE 2008»
13 years 10 months ago
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
CVPR
1997
IEEE
15 years 1 days ago
Novel view synthesis in tensor space
We present a new method for synthesizing novel views of a 3D scene from few model images in full correspondence. The core of this work is the derivation of a tensorial operator th...
Shai Avidan, Amnon Shashua