2525 search results - page 362 / 505 » A Framework for Semantic Gossiping |
177
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
143
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
151
click to vote
INLG
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
133
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
In research on musical audio-mining, annotated music databases are needed which allow the development of computational tools that extract from the musical audiostream the kind of ...
195
click to vote
WEBDB
2004
Springer
15 years 11 months ago
2004
Springer
Current approaches for answering queries with imprecise constraints require users to provide distance metrics and importance measures for attributes of interest. In this paper we ...