28 search results - page 3 / 6 » A Transformational Approach for Generating Non-linear Invari... |
DATE
2008
IEEE
14 years 23 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
ICCAD
2007
IEEE
14 years 3 months ago
2007
IEEE
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
EVOW
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This work presents scale invariant region detectors that apply evolved operators to extract an interest measure. We evaluate operators using their repeatability rate, and...
IBPRIA
2005
Springer
13 years 11 months ago
2005
Springer
We present an approach to vision-based person detection in robotic applications that integrates top down template matching with bottom up classifiers. We detect components of the ...
KBSE
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...