Sciweavers

3096 search results - page 271 / 620
» Theory and Use of the EM Algorithm
Sort
View
ACSD
2007
IEEE
103views Hardware» more  ACSD 2007»
16 years 29 days ago
Output-Determinacy and Asynchronous Circuit Synthesis
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
Victor Khomenko, Mark Schäfer, Walter Vogler
AVSS
2003
IEEE
15 years 12 months ago
A Survey of Camera Self-Calibration
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
Elsayed E. Hemayed
ICCV
2003
IEEE
15 years 12 months ago
Good continuations in digital image level lines
We propose a probabilistic algorithm able to detect the curves that are unexpectedy smooth in a set of digital curves. The only parameter is a false alarme rate, influencing the ...
Frédéric Cao
SIBGRAPI
2003
IEEE
15 years 12 months ago
A Topological Framework for Advancing Front Triangulation
In this paper we study advancing front methods for surface reconstruction. We propose a topological framework based on handlebody theory to implement such methods in a simple and r...
Esdras Soares de Medeiros Filho, Luiz Velho, H&eac...
STOC
1994
ACM
123views Algorithms» more  STOC 1994»
15 years 10 months ago
Natural proofs
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandomnumber generators do not exist. This famous result is ...
Alexander A. Razborov, Steven Rudich