Sciweavers

2509 search results - page 24 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ICCSA
2007
Springer
14 years 1 months ago
Shortest Path Queries Between Geometric Objects on Surfaces
Abstract. We consider geometric shortest path queries between arbitrary pairs of objects on a connected polyhedral surface P of genus g. The query objects are points, vertices, edg...
Hua Guo, Anil Maheshwari, Doron Nussbaum, Jör...
RP
2009
Springer
136views Control Systems» more  RP 2009»
13 years 12 months ago
Abstract Counterexamples for Non-disjunctive Abstractions
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
Kenneth L. McMillan, Lenore D. Zuck
ICCS
2005
Springer
14 years 28 days ago
A Comparative Study of Acceleration Techniques for Geometric Visualization
Abstract. Nowadays computer graphics hardware presents a series of characteristics, such as AGP memory, vertex cache, etc., that can be used for real-time rendering. The aim of thi...
Pascual Castelló, J. Francisco Ramos, Migue...
ECCV
2006
Springer
14 years 9 months ago
Differential Geometric Consistency Extends Stereo to Curved Surfaces
Abstract. Traditional stereo algorithms implicitly use the frontal parallel plane assumption when exploiting contextual information, since the smoothness prior biases towards const...
Gang Li, Steven W. Zucker
ICDCN
2009
Springer
13 years 5 months ago
Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring
Abstract. We define geometric self-structuring in a large-scale networked system as the ability of the participating nodes to collaboratively impose a geometric structure to the ne...
Anne-Marie Kermarrec, Achour Mostéfaoui, Mi...