Sciweavers

12697 search results - page 278 / 2540
» Call for Papers
Sort
View
MTSR
2007
Springer
16 years 26 days ago
Formalizing Dublin Core Application Profiles - Description Set Profiles and Graph Constraints
Abstract. This paper describes a proposed formalization of the notion of Applications Profiles as used in the Dublin Core community. The formalization, called Description Set Profi...
Mikael Nilsson, Alistair J. Miles, Pete Johnston, ...
SEMWEB
2007
Springer
16 years 25 days ago
A Fuzzy Ontology-Approach to improve Semantic Information Retrieval
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...
Silvia Calegari, Elie Sanchez
SEMWEB
2007
Springer
16 years 25 days ago
Exploiting WordNet as Background Knowledge
A lot of alignment systems providing mappings between the concepts of two ontologies rely on an additional source, called background knowledge, represented most of the time by a th...
Chantal Reynaud, Brigitte Safar
TBILLC
2007
Springer
16 years 25 days ago
Implicatures of Irrelevant Answers and the Principle of Optimal Completion
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...
Anton Benz
VMCAI
2007
Springer
16 years 25 days ago
Model Checking Nonblocking MPI Programs
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
Stephen F. Siegel