1174 search results - page 186 / 235 » Functional Trees |
ICDE
2004
IEEE
14 years 11 months ago
2004
IEEE
Recent advances in research fields like multimedia and bioinformatics have brought about a new generation of hyper-dimensional databases which can contain hundreds or even thousan...
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
Brain aneurysm rupture has been reported to be directly related to the size of aneurysms. The current method used to determine aneurysm size is to manually measure the width of th...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We define a cluster to be characterized by regions of high density separated by regions that are sparse. By observing the downward closure property of density, the search for inte...
ICML
2008
IEEE
14 years 10 months ago
2008
IEEE
The problem of obtaining the maximum a posteriori (map) estimate of a discrete random field is of fundamental importance in many areas of Computer Science. In this work, we build ...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...