759 search results - page 138 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
ICCV
2009
IEEE
15 years 19 days ago
2009
IEEE
Partially occluded faces are common in many applications
of face recognition. While algorithms based on sparse
representation have demonstrated promising results, they
achieve t...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
Interactive audio-visual (AV) applications such as Free Viewpoint Video (FVV) aim to enable unrestricted spatio-temporal navigation within multiple camera environments. Current vi...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
In this paper, an off-line, text independent system for writer identification using Hidden Markov Model (HMM) based recognizers is described. For each writer we build an individua...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...