Sciweavers

3575 search results - page 443 / 715
» Modeling Concurrency with Geometry
Sort
View
VR
2009
IEEE
319views Virtual Reality» more  VR 2009»
16 years 1 months ago
Virtual Heliodon: Spatially Augmented Reality for Architectural Daylighting Design
We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative design...
Yu Sheng, Theodore C. Yapo, Christopher Young, Bar...
ACAL
2009
Springer
16 years 1 months ago
A Developmental System for Organic Form Synthesis
Modelling the geometry of organic forms using traditional CAD or animation tools is often difficult and tedious. Different models of morphogenesis have been successfully applied t...
Benjamin Porter
ACCV
2006
Springer
16 years 18 days ago
Tracking with the Kinematics of Extremal Contours
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...
David Knossow, Rémi Ronfard, Radu Horaud, F...
CIE
2005
Springer
16 years 4 days ago
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
Jérôme Durand-Lose
FATES
2004
Springer
16 years 2 hour ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano