1581 search results - page 162 / 317 » Mechanizing Inductive Reasoning |
158
click to vote
ARITH
2005
IEEE
16 years 8 hour ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
157
click to vote
ASWEC
2005
IEEE
16 years 8 hour ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
120
click to vote
ECBS
2005
IEEE
16 years 1 hour ago
2005
IEEE
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
177
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
CBR is one of the techniques that can be applied to the task of approximating a function over high-dimensional, continuous spaces. In Reinforcement Learning systems a learning agen...
172
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...