Sciweavers

2467 search results - page 6 / 494
» Finite State Machines
Sort
View
ICMCS
2007
IEEE
157views Multimedia» more  ICMCS 2007»
15 years 4 months ago
A Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines
In automatic video content analysis domain, the key challenges are how to recognize important objects and how to model the spatiotemporal relationships between them. In this paper...
Liang Bai, Songyang Lao, Gareth J. F. Jones, Alan ...
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
15 years 2 months ago
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
Youpyo Hong, Peter A. Beerel
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 2 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee
DAC
1997
ACM
15 years 1 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram
DEDS
2008
127views more  DEDS 2008»
14 years 9 months ago
Diagnosability Analysis of a Class of Hierarchical State Machines
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...
Andrea Paoli, Stéphane Lafortune