1186 search results - page 69 / 238 » State machine models of timing and circuit design |
80
Voted
PKDD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This article presents a method for training Dynamic Factor Graphs (DFG) with continuous latent state variables. A DFG includes factors modeling joint probabilities betwee...
86
Voted
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
81
Voted
HYBRID
1994
Springer
15 years 2 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
97
Voted
ICVGIP
2004
14 years 11 months ago
2004
In this paper we present a simple framework for activity recognition based on a model of multi-layered finite state machines, built on top of a low level image processing module f...