3082 search results - page 116 / 617 » its 2004 |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
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...
IJCNLP
2004
Springer
14 years 2 months ago
2004
Springer
We present a nearest-neighbor algorithm for resolving prepositional phrase attachment ambiguities. Its performance is significantly higher than previous corpus-based methods for P...
INTELLCOMM
2004
Springer
14 years 2 months ago
2004
Springer
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...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
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...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
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...