Sciweavers

799 search results - page 11 / 160
» Heterogeneous reasoning in learning to model
Sort
View
CVBIA
2005
Springer
14 years 7 days ago
A Hybrid Framework for Image Segmentation Using Probabilistic Integration of Heterogeneous Constraints
In this paper we present a new framework for image segmentation using probabilistic multinets. We apply this framework to integration of regionbased and contour-based segmentation ...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
EKAW
2008
Springer
13 years 8 months ago
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
Christian Meilicke, Johanna Völker, Heiner St...
COOPIS
2004
IEEE
13 years 10 months ago
Learning Classifiers from Semantically Heterogeneous Data
Semantically heterogeneous and distributed data sources are quite common in several application domains such as bioinformatics and security informatics. In such a setting, each dat...
Doina Caragea, Jyotishman Pathak, Vasant Honavar
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
13 years 10 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
AAAI
1990
13 years 7 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso