244 search results - page 38 / 49 » Surface Modelling with Guaranteed Consistency - An Object-Ba... |
102
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
100
click to vote
VLSID
2002
IEEE
16 years 14 hour ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
116
click to vote
TMI
2002
14 years 11 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
105
click to vote
PVLDB
2008
14 years 11 months ago
2008
We identify privacy risks associated with releasing network data sets and provide an algorithm that mitigates those risks. A network consists of entities connected by links repres...
VC
2010
14 years 10 months ago
2010
In the field of computer graphics, simulation of fluids, including avalanches, is an important research topic. In this paper, we propose a method to simulate a kind of avalanche,...