Sciweavers

744 search results - page 59 / 149
» Observations on the Decidability of Transitions
Sort
View
GW
2005
Springer
129views Biometrics» more  GW 2005»
14 years 2 months ago
Visual Sign Language Recognition Based on HMMs and Auto-regressive HMMs
Abstract. A sign language recognition system based on Hidden Markov Models(HMMs) and Auto-regressive Hidden Markov Models(ARHMMs) has been proposed in this paper. ARHMMs fully cons...
Xiaolin Yang, Feng Jiang, Han Liu, Hongxun Yao, We...
HYBRID
2005
Springer
14 years 2 months ago
The Discrete Time Behavior of Lazy Linear Hybrid Automata
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
Manindra Agrawal, P. S. Thiagarajan
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
13 years 10 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
SOFTWARE
1998
13 years 8 months ago
Real-Life Object-Oriented Systems
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
Søren Lauesen
JCNS
2010
103views more  JCNS 2010»
13 years 3 months ago
Efficient computation of the maximum a posteriori path and parameter estimation in integrate-and-fire and more general state-spa
A number of important data analysis problems in neuroscience can be solved using state-space models. In this article, we describe fast methods for computing the exact maximum a pos...
Shinsuke Koyama, Liam Paninski