7289 search results - page 1145 / 1458 » A Dependent Set Theory |
188
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
185
Voted
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a velocity-constrained front propagation approach for myocardium segmentation from magnetic resonance intensity image (MRI) and its matching phase contrast velocity (PC...
179
Voted
COCOON
2010
Springer
15 years 11 months ago
2010
Springer
The parallel repetition theorem states that for any two provers one round game with value at most 1 − (for < 1/2), the value of the game repeated n times in parallel is at mo...
140
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
It is often assumed that developers’ view of their system and its environment is always consistent with everyone else’s; in practice, this assumption can be false, as the deve...
170
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...