4666 search results - page 802 / 934 » Equations on Timed Languages |
HT
2007
ACM
15 years 7 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...
123
click to vote
ICASSP
2009
IEEE
2009
IEEE
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems
15 years 7 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...
140
click to vote
AINA
2004
IEEE
15 years 7 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...
134
click to vote
AMAST
2004
Springer
15 years 7 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...
133
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...