2670 search results - page 35 / 534 » Modeling systems with internal state using evolino |
DAC
1996
ACM
15 years 1 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
78
Voted
CSL
2010
Springer
2010
Springer
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
14 years 9 months ago
This paper explains how Partially Observable Markov Decision Processes (POMDPs) can provide a principled mathematical framework for modelling the inherent uncertainty in spoken di...
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
FOIKS
2004
Springer
15 years 3 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
195
click to vote
IWSOS
2011
Springer
14 years 17 days ago
2011
Springer
Abstract This paper depicts and evaluates an evolutionary design process for generating a complex self-organizing multicellular system based on Cellular Automata (CA). We extend th...