7991 search results - page 318 / 1599 » Using More Reasoning to Improve |
177
click to vote
FUIN
2010
15 years 5 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
208
click to vote
WH
2010
15 years 1 months ago
2010
Systems with wearable and wireless motion sensors have been receiving significant attention in the past few years specifically for the applications of human movement monitoring. O...
175
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Fourier Volume Rendering (FVR) has received considerable attention in volume visualization during the last decade due its O(N2 logN) rendering time complexity, where O(N3 ) is the ...
170
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
160
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Performance of cross-layer protocols that recommend the relay of corrupted packets to higher layers can be improved significantly by accurately inferring/predicting the bit erro...