3311 search results - page 498 / 663 » Deductive Object Programming |
101
click to vote
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In some learning settings, the cost of acquiring features for classification must be paid up front, before the classifier is evaluated. In this paper, we introduce the fo...
111
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
121
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
Java uses garbage collection (GC) for the automatic reclamation of computer memory no longer required by a running application. GC implementations for Java Virtual Machines (JVM) ...
114
click to vote
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
108
click to vote
PARLE
1991
15 years 6 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...