3573 search results - page 315 / 715 » Reasoning about Codata |
223
click to vote
ICDE
2001
IEEE
16 years 6 months ago
2001
IEEE
Many applications require that large amounts of data are deleted from the database ? typically, such bulk deletes are carried out periodically and involve old or out-of-date data....
130
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
137
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper presents an algorithm for tree-based representation of single images and its applications to segmentation and filtering with depth. In a our recent work, we have addres...
138
click to vote
ICML
1995
IEEE
16 years 5 months ago
1995
IEEE
The success ofreinforcement learninginpractical problems depends on the ability to combine function approximation with temporal di erence methods such as value iteration. Experime...
263
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...