258 search results - page 16 / 52 » Some Notes on Fine Computability |
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
PLISP
1989
15 years 1 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
ducational Resources Information Center) the on-line education abstracts, show 15,000 entries under "computers and education" since 1992. Adoption of some level of inform...
MM
2005
ACM
15 years 3 months ago
2005
ACM
With seven-league boots through the Internet - when you take a stroll through the physical world in this wireless LAN footwear, you might meet people who happen to be spending som...
102
click to vote
AE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents a new Memetic Algorithm (MA) designed to compute near-optimal solutions for the covering array construction problem. It incorporates several distingui...