950 search results - page 78 / 190 » Type Specialization in Aldor |
TBILLC
2005
Springer
14 years 2 months ago
2005
Springer
The present paper presents the structure of a cross-linguistic database of production data. The database contains annotated texts collected from a sample of fifteen different langu...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
CIARP
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we describe a heuristic approach to the problem of identifying a pattern embedded within a figure from a predefined set of patterns via the utilization of a genetic a...
CINQ
2004
Springer
14 years 2 months ago
2004
Springer
The subfield of itemset mining is essentially a collection of algorithms. Whenever a new type of constraint is discovered, a specialized algorithm is proposed to handle it. All o...
CINQ
2004
Springer
14 years 2 months ago
2004
Springer
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Templat...