1095 search results - page 161 / 219 » Algebraic Guide Generation |
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Publication
Registration of pre-operative 3D volume dataset and intra-operative 2D images gradually becomes an important technique to assist radiologists in diagnosing complicated diseases. In...
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
2010
Eurographics
We provide a simple method that extracts an isosurface that is manifold and intersection-free from a function over an arbitrary octree. Our method samples the function dual to min...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...