Sciweavers

2430 search results - page 216 / 486
» Computing Tutte Polynomials
Sort
View
ICANN
1997
Springer
15 years 11 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...
192
Voted
ECCV
1992
Springer
15 years 11 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 11 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
170
Voted
ISSAC
1992
Springer
95views Mathematics» more  ISSAC 1992»
15 years 11 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 10 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