3169 search results - page 428 / 634 » Robust Timed Automata |
168
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
160
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...
178
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Image anchor templates are used in document image analysis for document classification, data localization, and other tasks. Current tools allow human operators to mark out small s...
161
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Tracking by association of low frame rate detection responses is not trivial, as motion is less continuous and hence ambiguous. The problem becomes more challenging when occlusion ...
141
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a quadrocopter flying in rhythm to music. The quadrocopter performs a periodic sideto-side motion in time to a musical beat. Underlying controllers are designed...