1517 search results - page 193 / 304 » On automatic knowledge validation for Bayesian knowledge bas... |
JUCS
2007
2007
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain
13 years 9 months ago
: This paper describes an ontology-based approach aiming at helping biologists to annotate their documents and at facilitating their information retrieval task. Our approach, based...
LOGCOM
2000
13 years 9 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based...
BMVC
2010
13 years 7 months ago
2010
This paper studies image segmentation based on the minimum description length (MDL) functional combining spatial regularization with a penality for the number of distinct segments...
IEAAIE
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduces a new tabu search algorithm for a strip packing problem. It integrates several key features: A consistent neighborhood, a fitness function including problem k...