715 search results - page 29 / 143 » Automatic Programming for Sequence Control |
152
click to vote
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract— We propose here to acquire high resolution sequences of a person’s face using a pan-tilt-zoom (PTZ) network camera. This capability should prove helpful in forensic a...
130
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
100
click to vote
HASE
2005
IEEE
15 years 7 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
124
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Multiple sequence alignment is the foundation of many important applications in bioinformatics that aim at detecting functionally important regions, predicting protein...
125
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Current sequencing technologies give access to sequence information for genomes and metagenomes at a tremendous speed. Subsequent data processing is mainly performed b...