3809 search results - page 435 / 762 » Associative language descriptions |
216
Voted
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
228
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
216
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
207
Voted
MTSR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
200
Voted
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...