422 search results - page 28 / 85 » On Modal Refinement and Consistency |
114
click to vote
IEPOL
2006
15 years 4 months ago
2006
This paper presents results from a field study on voluntary contributions for an information public good provided via the Internet (an electronic newsletter for authors). Whereas ...
126
click to vote
INFSOF
2006
15 years 4 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
128
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
139
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a novel approach for interactive view-dependent rendering of massive models. Our algorithm combines view-dependent simplification, occlusion culling, and out-of-core re...
156
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...