3338 search results - page 162 / 668 » Assigning Papers to Referees |
146
click to vote
SYNASC
2007
IEEE
16 years 9 days 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 ...
161
click to vote
CMMR
2007
Springer
16 years 6 days 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...
149
click to vote
SEMWEB
2007
Springer
16 years 4 days 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...
147
click to vote
SEMWEB
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...
158
click to vote
TYPES
2007
Springer
16 years 4 days 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...