549 search results - page 61 / 110 » Constraint Programming in Structural Bioinformatics |
133
click to vote
SDM
2011
SIAM
14 years 3 months ago
2011
SIAM
In many real world prediction problems the output is a structured object like a sequence or a tree or a graph. Such problems range from natural language processing to computationa...
101
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
95
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
100
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
LISP
2008
15 years 15 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...