5525 search results - page 847 / 1105 » Verification of Model Transformations |
187
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Interactive modeling of 3-D solids is an important and difficult problem in computer graphics. The Constructive Solid Geometry (CSG) modeling scheme is highly attractive for inte...
205
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
162
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We propose a novel approach to unsupervised facial image
alignment. Differently from previous approaches, that
are confined to affine transformations on either the entire
face o...
175
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a multiscale method for motion segmentation. Our method begins with local, ambiguous optical flow measurements. It uses a process of aggregation to resolve the ambiguit...
154
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
The main focus of this paper is the shape representation and registration using vector level set functions. This powerful representation is more flexible than conventional signed ...