Sciweavers

6042 search results - page 182 / 1209
» Repeated Observation Models
Sort
View
HYBRID
2003
Springer
15 years 10 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
DIS
2001
Springer
15 years 9 months ago
Separation of Photoelectrons via Multivariate Maxwellian Mixture Model
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
Genta Ueno, Nagatomo Nakamura, Tomoyuki Higuchi
ICIP
2002
IEEE
16 years 6 months ago
Modeling object classes in aerial images using hidden Markov models
A canonical model is proposed for object classes in aerial images. This model is motivated by the observation that geographic regions of interest are characterized by collections ...
Shawn Newsam, Sitaram Bhagavathy, B. S. Manjunath
ICIP
2003
IEEE
16 years 6 months ago
Improving phase-unwrapping result of InSAR images by incorporating the fractal model
This paper presents a novel method to reduce the phaseunwrapping (PU) distortion by being based on twodimensional fractional Brownian motion (fBm) theory. The method incorporates ...
Andriyan Bayu Suksmono, Akira Hirose
ICPR
2004
IEEE
16 years 6 months ago
A Deformable Model Driven Method for Handling Clothes
A model-driven method for handling clothes by two manipulators based on observation with stereo cameras is proposed. The task considered in this paper is to hold up a specific par...
Yasuyo Kita, Fuminori Saito, Nobuyuki Kita