715 search results - page 72 / 143 » Automatic Programming for Sequence Control |
142
click to vote
ENTCS
2007
15 years 4 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
239
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
207
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Locally Orderless Tracking (LOT) is a visual tracking algorithm that automatically estimates the amount of local (dis)order in the object. This lets the tracker specialize in both...
134
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The design of oligonucleotides and PCR primers for studying large genomes is complicated by the redundancy of sequences. The eukaryotic genomes are particularly diffic...
252
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...