Sciweavers

17366 search results - page 139 / 3474
» New Revision Algorithms
Sort
View
129
Voted
ICPR
2008
IEEE
16 years 5 months ago
New extensions of the 3-simplex for exterior orientation
Object pose may be determined from a set of 2D image points and corresponding 3D model points, given the camera's intrinsic parameters. In this paper, two new exterior orient...
John Martin Steinbis, Tyrone Vincent, William A. H...
TACAS
2001
Springer
92views Algorithms» more  TACAS 2001»
15 years 8 months ago
Language Containment Checking with Nondeterministic BDDs
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
Bernd Finkbeiner
WADS
2001
Springer
143views Algorithms» more  WADS 2001»
15 years 8 months ago
An Approach for Mixed Upward Planarization
In this paper, we consider the problem of finding a mixed upward planarization of a mixed graph, i.e., a graph with directed and undirected edges. The problem is a generalization...
Markus Eiglsperger, Michael Kaufmann
KBSE
2006
IEEE
15 years 10 months ago
Sieve: A Tool for Automatically Detecting Variations Across Program Versions
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
PR
2002
134views more  PR 2002»
15 years 3 months ago
Interactive clustering and merging with a new fuzzy expected value
7 Major problems exist in both crisp and fuzzy clustering algorithms. The fuzzy c-means type of algorithms use weights determined by a power m of inverse distances that remains
Carl G. Looney