491 search results - page 47 / 99 » Linear Quantifier Elimination |
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper we present an algorithm which uses adaptive selection of low-level features for main subject detection. The algorithm first computes low-level features such as contr...
TCAD
2010
13 years 3 months ago
2010
In response to the increasing variations in integrated-circuit manufacturing, the current trend is to create designs that take these variations into account statistically. In this ...
ICASSP
2011
IEEE
13 years 15 days ago
2011
IEEE
This paper concerns the detection of radar targets masked by Doppler-spread surface backscatter from points beyond the radar’s maximum unambiguous range. Current methods for mit...
CGO
2006
IEEE
14 years 16 days ago
2006
IEEE
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...