1888 search results - page 141 / 378 » Proof theory and computational analysis |
185
Voted
CCE
2005
15 years 6 months ago
2005
Phenotype phase plane analysis is a linear optimization procedure which can be used to study the value of the objective function (a desired phenotype) as two variables (external s...
165
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
This paper suggests that the thermal state of a processor can be approximated using data flow analysis. The results of this analysis can be used to evaluate the efficacy of therma...
162
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
As interconnect feature sizes continue to scale to smaller dimensions, long interconnect can dominate the IC timing performance, but the interconnect parameter variations make it ...
204
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
166
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a motion attention model that aims at analyzing gesture saliency using context-related information at three different levels. At the first level, motion feature...