923 search results - page 43 / 185 » The Computational Structure of Progress Conditions |
DAC
1999
ACM
15 years 2 months ago
1999
ACM
This paper presents a design methodology, called common-case computation (CCC), and new design automation algorithms for optimizing power consumption or performance. The proposed ...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In the context of digital pre-distortion, a typical requirement is to identify the power amplifier with stringently low computational complexity. Accordingly, we consider a simpl...
DEDS
2006
14 years 9 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
AAAI
2004
14 years 11 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...