Sciweavers

1989 search results - page 153 / 398
» Expressive surfaces: a designerly approach for computational...
Sort
View
153
Voted
ICCV
2009
IEEE
16 years 4 months ago
Complete Multi-View Reconstruction of Dynamic Scenes from Probabilistic Fusion of Narrow and Wide Baseline Stereo
This paper presents a novel approach to achieve accurate and complete multi-view reconstruction of dynamic scenes (or 3D videos). 3D videos consist in sequences of 3D models in mot...
Tony Tung, Shohei Nobuhara, Takashi Matsuyama
CVPR
2008
IEEE
15 years 3 months ago
An integrated background model for video surveillance based on primal sketch and 3D scene geometry
This paper presents a novel integrated background model for video surveillance. Our model uses a primal sketch representation for image appearance and 3D scene geometry to capture...
Wenze Hu, Haifeng Gong, Song Chun Zhu, Yongtian Wa...
SIGGRAPH
1998
ACM
15 years 6 months ago
Wires: A Geometric Deformation Technique
Finding effective interactive deformation techniques for complex geometric objects continues to be a challenging problem in modeling and animation. We present an approach that is ...
Karan Singh, Eugene Fiume
ICFP
2010
ACM
15 years 2 months ago
VeriML: typed computation of logical terms inside a language with effects
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
Antonis Stampoulis, Zhong Shao
111
Voted
ISORC
1998
IEEE
15 years 6 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky