3229 search results - page 167 / 646 » Theories with the Independence Property |
223
click to vote
ISCI
2008
15 years 6 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
156
click to vote
JAR
2008
15 years 6 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
204
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...
130
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
188
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...