469 search results - page 13 / 94 » A Modal Analysis of Staged Computation |
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
We present a comprehensive performance analysis of multiple appearance-based face recognition methodologies, on visible and thermal infrared imagery. We compare algorithms within ...
ICAIL
2003
ACM
14 years 23 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— The impact of process variations increases as technology scales to nanometer region. Under large process variations, the path and arc/node criticality [18] provide effe...
CCGRID
2010
IEEE
13 years 7 months ago
2010
IEEE
—Diffusion Tensor MRI (DTI) is a rather recent image acquisition modality that can help identify disease processes in nerve bundles in the brain. Due to the large and complex nat...