7289 search results - page 1145 / 1458 » A Dependent Set Theory |
201
click to vote
ISSRE
2002
IEEE
16 years 11 days 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...
206
click to vote
WACV
2002
IEEE
16 years 11 days 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...
198
click to vote
COCOON
2010
Springer
16 years 8 days 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...
160
click to vote
ICSE
2010
IEEE-ACM
16 years 7 days 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...
189
Voted
KR
2010
Springer
16 years 7 days 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...