3342 search results - page 64 / 669 » Automating Abstract Interpretation |
156
click to vote
ACII
2011
Springer
13 years 11 months ago
2011
Springer
People often hold their hands near their faces as a gesture in natural conversation, which can interfere with affective inference from facial expressions. However, these gestures ...
NMR
2004
Springer
15 years 4 months ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract—In wireless networks with random node distribution, the underlying point process model and the channel fading process are usually considered separately. A unified frame...
SE
2007
15 years 12 days ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
CSCWD
2005
Springer
15 years 4 months ago
2005
Springer
The digital parts libraries or electronic parts catalogs have opened up a vast potential for new electronic forms of product components procurement. However, their seamless integra...