4325 search results - page 130 / 865 » Incremental computation with names |
111
click to vote
JETAI
1998
15 years 6 months ago
1998
The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are exam...
156
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
177
click to vote
APIN
2004
15 years 6 months ago
2004
Here we first describe the concepts, components and features of CBR. The feasibility and merits of using CBR for problem solving is then explained. This is followed by a descriptio...
158
click to vote
PDP
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
150
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...