440 search results - page 21 / 88 » A DOP Model for Semantic Interpretation |
ECAI
1998
Springer
15 years 3 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
128
click to vote
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
EUROCAST
2005
Springer
2005
Springer
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
15 years 5 months ago
Similarity queries in traditional databases work directly on attribute values. But, often similar attribute values do not indicate similar meanings. Semantic background information...
CBRMD
2010
14 years 10 months ago
2010
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
SEMCO
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...