8959 search results - page 1776 / 1792 » Composing aspects with aspects |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
Document registration is a problem where the image of a template document whose layout is known is registered with a test document image. Given the registration parameters, layout...
HPCA
2011
IEEE
12 years 11 months ago
2011
IEEE
― Phase Change Memory (PCM) is one of the most promising technologies among emerging non-volatile memories. PCM stores data in crystalline and amorphous phases of the GST materia...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
A collaborative framework for detecting the different sources in mixed signals is presented in this paper. The approach is based on CHiLasso, a convex collaborative hierarchical s...
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...