1888 search results - page 141 / 378 » Proof theory and computational analysis |
106
Voted
CCE
2005
15 years 16 days 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...
83
Voted
DAC
2009
ACM
16 years 1 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...
95
Voted
DAC
1999
ACM
15 years 5 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 ...
121
click to vote
AUTOMATICA
2002
15 years 15 days 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...
103
Voted
GW
2009
Springer
14 years 10 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...