2740 search results - page 221 / 548 » Typing the Specialization Interface |
165
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
201
click to vote
PREMI
2005
Springer
16 years 1 days ago
2005
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 Template...
168
click to vote
VMCAI
2005
Springer
16 years 1 days 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...
142
click to vote
CIARP
2004
Springer
15 years 12 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...
189
click to vote
CINQ
2004
Springer
15 years 12 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...