Sciweavers

7 search results - page 1 / 2
» Robustness of Boolean operations on subdivision-surface mode...
Sort
View
WSCG
2003
149views more  WSCG 2003»
13 years 6 months ago
Boolean Operations on Feature-based Models
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
Yvon Gardan, Christian Minich, Estelle Perrin
DAGSTUHL
2008
13 years 6 months ago
Robustness of Boolean operations on subdivision-surface models
This work was presented in two parts at Dagstuhl seminar
Di Jiang, Neil F. Stewart
13
Voted
CGF
2010
132views more  CGF 2010»
13 years 4 months ago
Hybrid Booleans
In this paper we present a novel method to compute Boolean operations on polygonal meshes. Given a Boolean expression over an arbitrary number of input meshes we reliably and effi...
Darko Pavic, Marcel Campen, Leif Kobbelt
EUROGRAPHICS
2010
Eurographics
14 years 1 months ago
Exact and Robust (Self-)Intersections for Polygonal Meshes
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...
Marcel Campen and Leif Kobbelt
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
13 years 10 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...