734 search results - page 20 / 147 » Undecidability over Continuous Time |
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
RTSS
1998
IEEE
14 years 25 days ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
DASFAA
2007
IEEE
13 years 10 months ago
2007
IEEE
To support emerging database applications that deal with continuously changing (or moving) data objects (CCDOs), such as vehicles, RFIDs, and multi-stimuli sensors, one requires an...
ICASSP
2009
IEEE
2009
IEEE
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems
14 years 13 days ago
Statistical Spoken LanguageUnderstandinggrammars (SSLUs) are often used only at the top recognition contexts of modern large-scale spoken dialog systems. We propose to use SSLUs a...
CIE
2005
Springer
14 years 2 months ago
2005
Springer
We investigate the computational complexity of an optical model of computation called the continuous space machine (CSM). We characterise worst case resource growth over time for e...