1422 search results - page 236 / 285 » Complementation in Abstract Interpretation |
111
click to vote
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
131
click to vote
AIME
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
106
click to vote
CISSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract- This paper explores valuing long-term equity forwardcontracts or futures where both the underlying volatility and the interest rates are modeled as stochastic random vari...
106
click to vote
CMMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Former studies show that removing brightness temporal variations of tones in an expressive clarinet performance induces a decrease in the appreciation judgments among lis...
106
click to vote
SIGIR
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...