549 search results - page 31 / 110 » Constraint Programming in Structural Bioinformatics |
142
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
124
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Gene clustering for annotating gene functions is one of the fundamental issues in bioinformatics. The best clustering solution is often regularized by multiple constra...
129
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
124
Voted
MP
2008
15 years 2 months ago
2008
This paper proposes an efficient computational technique for the optimal control of linear discrete-time systems subject to bounded disturbances with mixed polytopic constraints o...
119
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...