549 search results - page 37 / 110 » Constraint Programming in Structural Bioinformatics |
73
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
112
Voted
ENTCS
2008
15 years 16 days ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
104
Voted
EOR
2006
15 years 14 days ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
104
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
103
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...