Sciweavers

1634 search results - page 47 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
AMSTERDAM
2009
13 years 8 months ago
There Is Something about Might
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
Paul Dekker
AMAI
2004
Springer
14 years 3 months ago
Deductive Algorithmic Knowledge
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
Riccardo Pucella
OWLED
2008
13 years 11 months ago
GO faster ChEBI with Reasonable Biochemistry
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
Duncan Hull
COSIT
2011
Springer
322views GIS» more  COSIT 2011»
12 years 10 months ago
CLP(QS): A Declarative Spatial Reasoning Framework
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
Mehul Bhatt, Jae Hee Lee, Carl Schultz
ICIP
2005
IEEE
14 years 3 months ago
Atlas-based segmentation of medical images locally constrained by level sets
Atlas-based segmentation has become a standard paradigm for exploiting prior knowledge in medical image segmentation. In this paper, we propose a method to exploit both the robust...
Valerie Duay, Nawal Houhou, Jean-Philippe Thiran