762 search results - page 137 / 153 » Intercode Regular Languages |
ALT
1998
Springer
13 years 11 months ago
1998
Springer
Concept drift means that the concept about which data is obtained may shift from time to time, each time after some minimum permanence. Except for this minimum permanence, the con...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
ICASSP
2009
IEEE
2009
IEEE
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems
13 years 11 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...
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
HPCN
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...