3653 search results - page 598 / 731 » On Recognizable Timed Languages |
197
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
131
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
Web sites must often service a wide variety of clients. Thus, it is inevitable that a web site will allow some visitors to find their information quickly while other visitors have...
158
click to vote
ICASSP
2009
IEEE
2009
IEEE
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems
15 years 10 months 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...
181
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
With the development of networking technologies and the advent of the peer-to-peer computing paradigm, distributed file-sharing systems like Gnutella are becoming prevalent over t...
165
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...