549 search results - page 37 / 110 » Constraint Programming in Structural Bioinformatics |
92
Voted
DATE
2006
IEEE
15 years 8 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...
131
Voted
ENTCS
2008
15 years 2 months 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...
124
Voted
EOR
2006
15 years 2 months 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...
126
Voted
KBSE
2007
IEEE
15 years 8 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...
127
Voted
ICASSP
2008
IEEE
15 years 9 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...