3116 search results - page 214 / 624 » Recovering |
CSL
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
HYBRID
2004
Springer
14 years 4 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
ISMIR
2004
Springer
14 years 4 months ago
2004
Springer
In this paper is described a data-driven algorithm for the functionally correct spelling of MIDI pitch values in terms of Western musical notation. Input is in the form of MIDI fi...
IWDW
2004
Springer
14 years 4 months ago
2004
Springer
: Invertible authentication techniques have been used in some special applications (such as medical or military) where original data can be recovered after authenticated. In this p...
LATIN
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...