7928 search results - page 1335 / 1586 » Human-Like Learning Methods for a |
169
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
190
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Automatic delineation and robust measurement of fetal anatomical structures in 2D ultrasound images is a challenging task due to the complexity of the object appearance, ...
179
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a new Bayesian, stochastic tracking algorithm for the segmentation of blood vessels from 3D medical image data. Inspired by the recent developments in particle filterin...
153
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we study a novel problem of staring people discovery from social networks, which is concerned with finding people who are not only authoritative but also sociable i...
187
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we propose a novel unsupervised approach to query segmentation, an important task in Web search. We use a generative query model to recover a query's underlyin...