1738 search results - page 94 / 348 » Local Consistency and SAT-Solvers |
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
In this paper, we introduce a new method to detect salient objects in images. The approach is based on the standard structure of cognitive visual attention models, but realizes th...
ACL
2012
12 years 14 days ago
2012
We propose a probabilistic generative model for unsupervised semantic role induction, which integrates local role assignment decisions and a global role ordering decision in a uni...
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
We introduce a fibre tract segmentation algorithm based on the geometric coherence of fibre orientations as indicated by a streamline flow model. The inference of local flow approx...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The prediction of protein secondary structure is a classical problem in bioinformatics, and in the past few years several machine learning techniques have been proposed to t. From...
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...