612 search results - page 76 / 123 » Using Static Analysis to Improve Automatic Test Generation |
102
click to vote
CAIP
1995
Springer
15 years 3 months ago
1995
Springer
The Point Distribution Model (PDM) has already proved useful for many tasks involving the location or tracking of deformable objects. A principal limitation lies in the fact that n...
107
click to vote
NPAR
2004
ACM
15 years 5 months ago
2004
ACM
ssionism”, (bottom row) “Abstract”, “Pointillism”, “Flower” and “Abstract” styles. Figure 3 shows some of the brush strokes used. We present techniques for trans...
109
click to vote
CHARME
1999
Springer
15 years 4 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
118
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: The analysis of Inter-Alu PCR patterns obtained from human genomic DNA samples is a promising technique for a simultaneous analysis of many genomic loci flanked by Alu...
119
click to vote
KES
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...