Sciweavers

756 search results - page 11 / 152
» A new algorithm for Boolean operations on general polygons
Sort
View
ICRA
2007
IEEE
155views Robotics» more  ICRA 2007»
14 years 2 months ago
Swept Volume approximation of polygon soups
— We present a fast GPU-based algorithm to approximate the Swept Volume (SV) boundary of arbitrary polygon soup models. Despite the extensive research on calculating the volume s...
Jesse C. Himmelstein, Etienne Ferre, Jean-Paul Lau...
DLT
2006
13 years 9 months ago
Well-Founded Semantics for Boolean Grammars
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
Vassilis Kountouriotis, Christos Nomikos, Panos Ro...
ICIP
2003
IEEE
14 years 9 months ago
Brain tumor boundary detection in MR image with generalized fuzzy operator
Boundary detection in MR image with brain tumor is an important image processiug technique applied in Radiology for 3D reconstruction. The nonhomogeneities density tissue of the br...
C. C. Leung, W. F. Chen, Paul C. K. Kwok, Francis ...
COCO
2008
Springer
97views Algorithms» more  COCO 2008»
13 years 9 months ago
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xi...
CF
2008
ACM
13 years 10 months ago
Exact combinational logic synthesis and non-standard circuit design
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
Paul Tarau, Brenda Luderman