7690 search results - page 165 / 1538 » On the semantics of informational independence |
174
click to vote
VDA
2010
15 years 8 months ago
2010
The analysis of binary data remains a challenge, especially for large or potentially inconsistent files. Traditionally, hex editors only make limited use of semantic information a...
167
click to vote
IADIS
2004
15 years 7 months ago
2004
Currently, in the field of technology monitoring, it is very important to be able to get relevant information from heterogeneous sources, especially on the World Wide Web. The com...
179
click to vote
IJCAI
2003
15 years 7 months ago
2003
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
267
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
169
click to vote
JURIX
2007
15 years 7 months ago
2007
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...