2381 search results - page 132 / 477 » On Ordering Descriptions in a Description Logic |
130
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
120
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
129
click to vote
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
114
Voted
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
In order to store, and retrieve images from large databases, we propose a framework, based on multiple description coding paradigm, that disseminates images over distributed serve...
132
click to vote
MMM
2006
Springer
15 years 7 months ago
2006
Springer
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...