3342 search results - page 233 / 669 » Automating Abstract Interpretation |
139
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
Interactive applications like Problem Solving Environments require on demand access to Web Services, where the services are autonomously discovered, composed, selected and invocate...
121
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
When searching for the right life insurance product, one can either confide in her/his insurance broker or fill out lengthy questionnaires at Internet Portal sites before gathering...
141
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
130
Voted
NMR
2004
Springer
15 years 8 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
128
Voted
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...