2525 search results - page 362 / 505 » A Framework for Semantic Gossiping |
214
Voted
ESOP
2004
Springer
16 years 11 days 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...
166
Voted
IFIP
2004
Springer
16 years 11 days 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...
179
click to vote
INLG
2004
Springer
16 years 11 days 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 ...
157
click to vote
ISMIR
2004
Springer
16 years 11 days 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 ...
221
Voted
WEBDB
2004
Springer
16 years 10 days 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 ...