1456 search results - page 55 / 292 » An Overview of the SODA System |
FMOODS
2007
13 years 9 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
KES
2007
Springer
13 years 7 months ago
2007
Springer
This paper provides an overview on the advances of music information retrieval in symbolic representation of music. Such musical aspects as key, tonality, bass, melody, dynamics, r...
CSL
1999
Springer
13 years 7 months ago
1999
Springer
In this paper we present an overview of the German version of the Bell Labs text-to-speech system, a high-quality concatenative synthesis system with extensive text analysis capab...
DEBS
2011
ACM
2011
ACM
DejaVu: a complex event processing system for pattern matching over live and historical data streams
12 years 11 months ago
This short paper provides an overview of the DejaVu complex event processing (CEP) system, with an emphasis on its novel architecture and query optimization techniques for correla...
PODS
2002
ACM
14 years 7 months ago
2002
ACM
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...