447 search results - page 53 / 90 » Bounded Model Checking with Parametric Data Structures |
PODS
1999
ACM
14 years 6 hour ago
1999
ACM
Semistructured data occur in situations where information lacks a homogeneous structure and is incomplete. Yet, up to now the incompleteness of information has not been re ected b...
CIKM
2009
Springer
14 years 10 days ago
2009
Springer
The ability to deal with uncertain information is becoming increasingly important for modern database applications. Whereas a conventional (certain) object is usually represented ...
EGH
2009
Springer
13 years 5 months ago
2009
Springer
We present a strategy for performing view-adaptive, crack-free tessellation of Catmull-Clark subdivision surfaces entirely on programmable graphics hardware. Our scheme extends th...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
Segmentation of medical images is commonly formulated as a supervised learning problem, where manually labeled training data are summarized using a parametric atlas. Summarizing th...
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
A major unsolved problem in computer graphics is the construction and animation of realistic human facial models. Traditionally, facial models have been built painstakingly by man...