4325 search results - page 325 / 865 » Incremental computation with names |
156
click to vote
BRAIN
2009
Springer
16 years 1 months ago
2009
Springer
The essence of computer applications is to store things in the real world into computer systems in the form of data, i.e., it is a process of producing data. Some data are the reco...
139
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper looks at the statistics used to compare variations to the genetic programming method. Previous work in this area has been dominated by the use of mean best-of-run ï¬...
200
Voted
ISCOPE
1998
Springer
15 years 11 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
199
click to vote
ALT
1994
Springer
15 years 11 months ago
1994
Springer
Most studies modeling inaccurate data in Gold style learning consider cases in which the number of inaccuracies is finite. The present paper argues that this approach is not reaso...
214
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...