1713 search results - page 147 / 343 » Analysis of Procedure Splitability |
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
122
click to vote
ICIAR
2010
Springer
15 years 4 months ago
2010
Springer
Accurate and precise estimation of the noise variance is often of key importance as an input parameter for posterior image processing tasks. In MR images, background data is well s...
128
Voted
ESEM
2007
ACM
15 years 4 months ago
2007
ACM
The goal of this paper is to improve the prediction performance of fault-prone module prediction models (fault-proneness models) by employing over/under sampling methods, which ar...
116
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...
104
click to vote
BPM
2008
Springer
15 years 2 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...