3338 search results - page 162 / 668 » Assigning Papers to Referees |
164
click to vote
SYNASC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
190
Voted
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
A live algorithm describes an ideal autonomous performance system able to engage in performance with abilities analogous, if not identical, to a human musician. This paper proposes...
173
Voted
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows how a Fuzzy Ontology based approach can improve semantic documents retrieval. After formally defining a Fuzzy Knowledge Base, it is discussed a special type of ne...
177
Voted
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...
178
click to vote
TYPES
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...