3914 search results - page 543 / 783 » Automating SLA modeling |
159
click to vote
CSL
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
196
click to vote
EWCBR
2004
Springer
16 years 2 hour ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
167
click to vote
FLOPS
2004
Springer
16 years 1 hour ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
177
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
136
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...