314 search results - page 42 / 63 » Concurrently Decomposable Constraint Systems |
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We present an algorithm for dereverberation of speech signals for automatic speech recognition (ASR) applications. Often ASR systems are presented with speech that has been record...
CSL
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
COMPSAC
1997
IEEE
13 years 12 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
ECOOPW
1999
Springer
13 years 12 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...