6568 search results - page 125 / 1314 » Reducing the Complexity of Reductions |
190
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
174
click to vote
TKDE
2008
15 years 6 months ago
2008
The linear discriminant analysis (LDA) technique is very popular in pattern recognition for dimensionality reduction. It is a supervised learning technique that finds a linear tran...
181
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
144
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
—Decoupling capacitors (decaps) are a popular means for reducing power-supply noise in integrated circuits. Since the decaps are usually inserted in the whitespace of the device ...
135
click to vote
IEEESCC
2008
IEEE
16 years 27 days ago
2008
IEEE
Workflows tend to fail in real-world scenarios due to the uncertain/unreliable sensory information which sometimes needs to be updated during the execution of workflows. In a lo...