10435 search results - page 165 / 2087 » Computational Biology and Language |
302
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Structured outputs such as multidimensional vectors or graphs are frequently encountered in real world pattern recognition applications such as computer vision, natural language pr...
116
Voted
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
304
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
196
click to vote
PPDP
2005
Springer
16 years 17 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
189
click to vote
ICALP
2004
Springer
16 years 14 days ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...