6750 search results - page 866 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
169
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
176
click to vote
SCIA
2007
Springer
16 years 18 days ago
2007
Springer
Two deformable registration methods, the Demons and the Morphon algorithms, have been used for registration of CT datasets to evaluate their usability in radiotherapy planning for ...
162
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
175
click to vote
TIP
2008
15 years 6 months ago
2008
We introduce a novel synthetic-aperture imaging method for radar systems that rely on sources of opportunity. We consider receivers that fly along arbitrary, but known, flight traj...
179
click to vote
ECLIPSE
2006
ACM
16 years 13 days ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...