Sciweavers

7335 search results - page 311 / 1467
» Scene Based Reasoning
Sort
View
ECAI
2006
Springer
15 years 8 months ago
Knowledge Discovery from a Case Base
In case-based reasoning, the adaptation step depends in general on domain-dependent knowledge, which motivates studies on adaptation knowledge acquisition (AKA). CABAMAKA is an AKA...
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Je...
EWCBR
2000
Springer
15 years 8 months ago
An Efficient Approach to Similarity-Based Retrieval on Top of Relational Databases
This paper presents an approach to realize a case retrieval engine on top of a relational database. In a nutshell the core idea is to approximate a similarity-based retrieval with ...
Jürgen Schumacher, Ralph Bergmann
DLOG
2009
15 years 5 months ago
Using Description Logics in Relation Based Access Control
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, ...
CADE
2006
Springer
16 years 4 months ago
Automating Proofs in Category Theory
Abstract. We introduce a semi-automated proof system for basic category-theoretic reasoning. It is based on a first-order sequent calculus that captures the basic properties of cat...
Dexter Kozen, Christoph Kreitz, Eva Richter
ER
2005
Springer
170views Database» more  ER 2005»
15 years 10 months ago
Conceptual Neighbourhood Diagrams for Representing Moving Objects
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
Nico Van de Weghe, Philippe De Maeyer