26 search results - page 3 / 6 » Computation of minimal counterexamples by using black box te... |
SIGGRAPH
2010
ACM
13 years 10 months ago
2010
ACM
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
ECCV
1992
Springer
14 years 7 months ago
1992
Springer
This paper presents a method for incrementally segmenting images over time using both intensity and motion information. This is done by formulating a model of physically signi cant...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: Statistical shape models are powerful tools for model-based segmentation and have been sucessfully applied to the segmentation of various structures in medical images. Though the...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
EDBT
2010
ACM
13 years 7 months ago
2010
ACM
The availability of indoor positioning renders it possible to deploy location-based services in indoor spaces. Many such services will benefit from the efficient support for k n...