2467 search results - page 257 / 494 » Finite State Machines |
180
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
174
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
202
Voted
ACL
2008
15 years 8 months ago
2008
Word lattice decoding has proven useful in spoken language translation; we argue that it provides a compelling model for translation of text genres, as well. We show that prior wo...
136
click to vote
ISTA
2007
15 years 8 months ago
2007
: Soccer simulation is an effort to motivate researchers to perform artificial and robotic intelligence investigations in a multi-agent system framework. In this paper, we propose ...
167
click to vote
PTS
2008
15 years 8 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...