Sciweavers

2253 search results - page 311 / 451
» The ComFoRT Reasoning Framework
Sort
View
POPL
2007
ACM
14 years 9 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
CVPR
2010
IEEE
14 years 5 months ago
Visual Recognition and Detection Under Bounded Computational Resources
Visual recognition and detection are computationally intensive tasks and current research efforts primarily focus on solving them without considering the computational capability ...
Sudheendra Vijayanarasimhan, Ashish Kapoor
ECSQARU
2009
Springer
14 years 3 months ago
Local Computation Schemes with Partially Ordered Preferences
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
Hélène Fargier, Nic Wilson
ISBI
2008
IEEE
14 years 3 months ago
Multimodal medical case retrieval using Bayesian networks and the Dezert-Smarandache theory
In this paper, we present a Case Based Reasoning (CBR) system for the retrieval of medical cases made up of a series of images with semantic information (such as the patient age, ...
Gwénolé Quellec, Mathieu Lamard, Lyn...
ICPR
2004
IEEE
14 years 10 months ago
Relevant Linear Feature Extraction Using Side-information and Unlabeled Data
"Learning with side-information" is attracting more and more attention in machine learning problems. In this paper, we propose a general iterative framework for relevant...
Changshui Zhang, Fei Wu, Yonglei Zhou