Sciweavers

2430 search results - page 216 / 486
» Computing Tutte Polynomials
Sort
View
ICANN
1997
Springer
15 years 8 months ago
Kernel Principal Component Analysis
A new method for performing a nonlinear form of Principal Component Analysis is proposed. By the use of integral operator kernel functions, one can e ciently compute principal comp...
Bernhard Schölkopf, Alex J. Smola, Klaus-Robe...
139
Voted
ECCV
1992
Springer
15 years 8 months ago
Constraints for Recognizing and Locating Curved 3D Objects from Monocular Image Features
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
David J. Kriegman, B. Vijayakumar, Jean Ponce
FOCS
1992
IEEE
15 years 8 months ago
Probabilistic Checking of Proofs; A New Characterization of NP
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
Sanjeev Arora, Shmuel Safra
132
Voted
ISSAC
1992
Springer
95views Mathematics» more  ISSAC 1992»
15 years 8 months ago
Real Algebraic Closure of an Ordered Field: Implementation in Axiom
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
Renaud Rioboo
CSR
2006
Springer
15 years 8 months ago
Unfolding Synthesis of Asynchronous Automata
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
Nicolas Baudru, Rémi Morin