3742 search results - page 431 / 749 » On the Use of Formal Techniques for Validation |
170
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider camera self-calibration, i.e. the estimation of parameters for camera sensors, in the setting of a visual sensor network where the sensors are distributed and energy-c...
168
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present a new approach to the temporal order restoration of the off-line handwriting. After the preprocessing steps of the word image, a suitable algorithm makes...
159
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— The ballbot is a dynamically stable mobile robot that moves on a single spherical wheel and is capable of omnidirectional movement. The ballbot is an underactuated system with ...
186
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
141
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Indexes are a well established method of locating information in printed literature just as find is a popular technique when searching in digital documents. However, document reade...