Sciweavers

936 search results - page 107 / 188
» The Synthesis Problem of Netcharts
Sort
View
143
Voted
ICPR
2006
IEEE
16 years 4 months ago
A Texture Based Matching Approach for Automated Assembly of Puzzles
The puzzle assembly problem has many application areas such as restoration and reconstruction of archeological findings, repairing of broken objects, solving jigsaw type puzzles, ...
Mahmut Samil Sagiroglu, Aytül Erçil
132
Voted
CDC
2008
IEEE
15 years 10 months ago
Robust generalized asymptotic regulation against non-stationary sinusoidal disturbances
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
Hakan Köroglu, Carsten W. Scherer
IJRR
2010
185views more  IJRR 2010»
15 years 2 months ago
FISST-SLAM: Finite Set Statistical Approach to Simultaneous Localization and Mapping
The solution to the problem of mapping an environment and at the same time using this map to localize (the simultaneous localization and mapping, SLAM, problem) is a key prerequis...
Bharath Kalyan, K. W. Lee, W. Sardha Wijesoma
165
Voted
CVPR
2009
IEEE
16 years 10 months ago
Variational Layered Dynamic Textures
A dynamic texture is a generative model for video that treats the video as a sample from spatio-temporal stochastic process. One problem associated with the dynamic texture is t...
Antoni B. Chan, Nuno Vasconcelos
130
Voted
FSTTCS
2007
Springer
15 years 9 months ago
Propositional Dynamic Logic for Message-Passing Systems
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke