Sciweavers

1225 search results - page 83 / 245
» Maximal Consistent Subsets
Sort
View
ICAIL
1999
ACM
14 years 4 days ago
Knowledge criteria for the evaluation of legal beliefs
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
Laurens Mommers, H. Jaap van den Herik
PODS
1998
ACM
116views Database» more  PODS 1998»
14 years 1 days ago
Complexity of Answering Queries Using Materialized Views
We study the complexity of the problem of answering queries using materialized views. This problem has attracted a lot of attention recently because of its relevance in data integ...
Serge Abiteboul, Oliver M. Duschka
TACAS
1997
Springer
146views Algorithms» more  TACAS 1997»
13 years 12 months ago
Compositional State Space Generation from Lotos Programs
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
Jean-Pierre Krimm, Laurent Mounier
CEAS
2006
Springer
13 years 11 months ago
Modeling Identity in Archival Collections of Email: A Preliminary Study
Access to historically significant email archives poses challenges that arise less often in personal collections. Most notably, searchers may need help making sense of the identit...
Tamer Elsayed, Douglas W. Oard
CLOR
2006
13 years 11 months ago
Components for Object Detection and Identification
We present a component-based system for object detection and identification. From a set of training images of a given object we extract a large number of components which are clust...
Bernd Heisele, Ivaylo Riskov, Christian Morgenster...