1429 search results - page 54 / 286 » An Overview of the Annex System |
86
Voted
CLEF
2006
Springer
15 years 4 months ago
2006
Springer
We describe a question answering system for Dutch that we used for our participation in the 2006 CLEF Question Answering Dutch monolingual task. We give an overview of the system a...
105
click to vote
FMOODS
2007
15 years 2 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 ...
132
Voted
KES
2007
Springer
15 years 17 days 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...
100
click to vote
CSL
1999
Springer
15 years 10 days 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...
124
click to vote
PODS
2002
ACM
16 years 24 days 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...