Sciweavers

1802 search results - page 192 / 361
» Geometry Textures and Applications
Sort
View
WSCG
2000
110views more  WSCG 2000»
15 years 2 months ago
Using 3D Geometric Constraints in Architectural Design Support Systems
To support 3D architectural modeling, geometric constraints are introduced. Explicit and implicit geometric relations between building elements can be expressed by the designer an...
Bert de Vries, A. J. Jessurun, Richard H. M. C. Ke...
98
Voted
AAAI
1990
15 years 1 months ago
Skolem Functions and Equality in Automated Deduction
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
William McCune
ACS
2007
15 years 25 days ago
Directed Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
Marco Grandis
98
Voted
CGF
2007
145views more  CGF 2007»
15 years 21 days ago
Data-driven Tetrahedral Mesh Subdivision
Given a tetrahedral mesh immersed in a voxel model, we present a method to refine the mesh to reduce the discrepancy between interpolated values based on either scheme at arbitra...
L. Rodriguez, Isabel Navazo, Alvar Vinacua
77
Voted
IPL
2006
109views more  IPL 2006»
15 years 20 days ago
The number of guillotine partitions in d dimensions
Guillotine partitions play an important role in many research areas and application domains, e.g., computational geometry, computer graphics, integrated circuit layout, and solid ...
Eyal Ackerman, Gill Barequet, Ron Y. Pinter, Dan R...