1246 search results - page 207 / 250 » Recursive Timed Automata |
123
click to vote
CSL
2002
Springer
15 years 2 months ago
2002
Springer
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...
103
click to vote
TCS
2002
15 years 1 months ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...
133
click to vote
GLOBECOM
2010
IEEE
15 years 9 days ago
2010
IEEE
Abstract--Regular expression (Regex) becomes the standard signature language for security and application detection. Deterministic finite automata (DFAs) are widely used to perform...
158
click to vote
TC
2010
14 years 9 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
115
click to vote
ICML
2006
IEEE
16 years 3 months ago
2006
IEEE
Knowledge-based planning methods offer benefits over classical techniques, but they are time consuming and costly to construct. There has been research on learning plan knowledge ...