Sciweavers

17 search results - page 2 / 4
» A Framework for Multi-Valued Reasoning over Inconsistent Vie...
Sort
View
EWCBR
1998
Springer
13 years 9 months ago
Case-Based Reasoning in CARE-PARTNER: Gathering Evidence for Evidence-Based Medical Practice
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
Isabelle Bichindaritz, Emin Kansu, Keith M. Sulliv...
DSOM
2006
Springer
13 years 9 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
TC
1997
13 years 6 months ago
An Extensible Framework for Repairing Constraint Violations
In this paper we describe a new approach to repairing violations of integrity constraints in databases with null values. By adopting basic concepts from model-based diagnosis, we ...
Michael Gertz, Udo W. Lipeck
ECOI
2007
101views more  ECOI 2007»
13 years 5 months ago
Reasoning about taxonomies in first-order logic
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
David Thau, Bertram Ludäscher
ISVC
2010
Springer
13 years 3 months ago
Markov Random Field-Based Clustering for the Integration of Multi-view Range Images
Abstract. Multi-view range image integration aims at producing a single reasonable 3D point cloud. The point cloud is likely to be inconsistent with the measurements topologically ...
Ran Song, Yonghuai Liu, Ralph R. Martin, Paul L. R...