608 search results - page 76 / 122 » Tests, Proofs and Refinements |
APPROX
2005
Springer
14 years 1 months ago
2005
Springer
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...
ECOOP
2010
Springer
14 years 18 days ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
Conditional log-linear models are a commonly used method for structured prediction. Efficient learning of parameters in these models is therefore an important problem. This paper ...