3713 search results - page 539 / 743 » Constructing a Calculus of Programs |
137
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Genomic islands (GIs) are clusters of genes in prokaryotic genomes of probable horizontal origin. GIs are disproportionately associated with microbial adaptations of m...
128
click to vote
MICS
2010
15 years 1 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
129
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a probabilistic multi-cue tracking approach constructed by employing a novel randomized template tracker and a constant color model based particle filter. Our approach ...
119
Voted
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents a novel method for efficient boundary based shapes matching and retrieval in presence of occlusion. In this method, the geometric and topological information o...
101
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...