472 search results - page 53 / 95 » Symbolic range propagation |
IJCAI
2007
13 years 11 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Publication
The assessment of coronary arteries is an essential step when diagnosing coronary heart diseases. There exists a wide range of specialized algorithms for the segmentation of the co...
ICML
2005
IEEE
14 years 10 months ago
2005
IEEE
Naive Bayes models have been widely used for clustering and classification. However, they are seldom used for general probabilistic learning and inference (i.e., for estimating an...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper, we present a robust, hierarchical Partition of Unity Finite Element Method (PUFEM) to compute the transformation between two images, which is represented by a non-r...
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
We consider scheduling real-time tasks in the presence of message loss and Byzantine node failures in unreliable networks. We present scheduling algorithms called RTQG and RTQG-B....