Sciweavers

2593 search results - page 396 / 519
» Algorithms and Data Structures for Computer Topology
Sort
View
SIGGRAPH
2000
ACM
14 years 1 months ago
Patching Catmull-Clark meshes
Named after the title, the PCCM transformation is a simple, explicit algorithm that creates large, smoothly joining bicubic Nurbs patches from a refined Catmull-Clark subdivision...
Jörg Peters
ICRA
1994
IEEE
105views Robotics» more  ICRA 1994»
14 years 1 months ago
A Robotic Lighting System for Solar Illumination Simulation
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
Richard Volpe, Douglas McAffee
BIRTHDAY
2006
Springer
14 years 23 days ago
Refinement-Based Verification for Possibly-Cyclic Lists
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
Alexey Loginov, Thomas W. Reps, Mooly Sagiv
BMVC
2002
13 years 11 months ago
Improving architectural 3D reconstruction by plane and edge constraining
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...
H. Cantzler, Robert B. Fisher, Michel Devy
WSC
2008
13 years 11 months ago
A flexible and scalable experimentation layer
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...
Jan Himmelspach, Roland Ewald, Adelinde M. Uhrmach...