Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Seb...
We present a nearest-neighbor algorithm for resolving prepositional phrase attachment ambiguities. Its performance is significantly higher than previous corpus-based methods for P...
In this paper we present the interpretation and generation processes of a spoken dialogue interface for intelligent environments. The interface is automatically created for each sp...
Recent research has studied the relevance of various features for automatic genre classification, showing the particular importance of tempo in dance music classification. We co...
We propose a general approach to discriminant feature extraction and fusion, built on an optimal feature transformation for discriminant analysis [6]. Our experiments indicate tha...