2335 search results - page 294 / 467 » Type Checking Type Classes |
81
Voted
STOC
1993
ACM
15 years 4 months ago
1993
ACM
We consider a class of routing problems on connected graphs G. Initially, each vertex v of G is occupied by a “pebble” which has a unique destination π(v) in G (so that π is...
111
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
110
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
99
Voted
ICANN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we consider the question of whether it is possible to classify n-back EEG data into different memory loads across subjects. To capture relevant information ...
104
Voted
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper extends the idea of classification schemes for static surface curvature into the temporal domain. We seek to identify regions in sequences of depth data that exhibit va...