4302 search results - page 506 / 861 » Index Pairs Algorithms |
150
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
174
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In the context of image-guided TIPS (Transjugular, Intrahepatic, Portosystemic Shunt formation) surgery, the pose of a 3-dimensional model of the liver's vasculature...
269
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
We present an approach to detect anatomical structures by configurations of interest points, from a single example image. The representation of the configuration is based on Markov...
203
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We study the problem of learning a classification task in which only a dissimilarity function of the objects is accessible. That is, data are not represented by feature vectors bu...
186
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Collaborative and content-based filtering are two paradigms that have been applied in the context of recommender systems and user preference prediction. This paper proposes a nove...