438 search results - page 32 / 88 » The Size of a Revised Knowledge Base |
167
click to vote
ESWS
2009
Springer
16 years 8 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
185
click to vote
TMI
2010
15 years 12 days ago
2010
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
150
click to vote
CRYPTO
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Non-Interactive Zero Knowledge (NIZK), introduced by Blum, Feldman, and Micali in 1988, is a fundamental cryptographic primitive which has attracted considerable attentio...
196
click to vote
RR
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
140
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
— We have designed and constructed a modular platform for use in compact wireless sensing. This platform is based around a series of circuit boards (or panes), each of which inst...