4403 search results - page 289 / 881 » Galois Theory of Algorithms |
169
click to vote
FATES
2004
Springer
16 years 2 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
252
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
166
click to vote
AVSS
2003
IEEE
15 years 12 months ago
2003
IEEE
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...
167
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
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 ...
158
click to vote
SIBGRAPI
2003
IEEE
15 years 12 months ago
2003
IEEE
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...