5964 search results - page 373 / 1193 » A theory of speculative computation |
248
click to vote
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the p...
229
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
209
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...
177
click to vote
SARA
2000
Springer
15 years 11 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
209
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we propose a conductance electrical model to represent weighted undirected graphs that allows us to efficiently compute approximate graph isomorphism in large graph...