9359 search results - page 244 / 1872 » Generalization Algorithms for Second-Order Terms |
133
Voted
WIDM
2004
ACM
15 years 10 months ago
2004
ACM
The explosive growth of the web is at the basis of the great interest into web usage mining techniques in both commercial and research areas. In this paper, a web personalization ...
151
Voted
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a truncated version of the classical Fast Fourier Transform. When applied to polynomial multiplication, this algorithm has the nice property of eliminati...
135
Voted
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
138
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
We present a genetic model based on simulated recombination of fixed sequences of quaternary genes (assuming four distinct forms, or alleles). States and dynamics of the infinite ...
196
Voted
FP
1995
15 years 8 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...