8874 search results - page 202 / 1775 » A New Implementation of Automath |
103
click to vote
EUROSIM
1994
15 years 5 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
129
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes initial testing of a novel idea to combine a CGP with an EDA. In recent work a new improved crossover technique was successfully applied to a CGP. To implemen...
227
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Data cleaning based on similarities involves identification of "close" tuples, where closeness is evaluated using a variety of similarity functions chosen to suit the do...
125
click to vote
VLSISP
2002
15 years 4 months ago
2002
3:2 counters and 4:2 compressors have been widely used for multiplier implementations. In this paper, a fast 5:3 compressor is derived for high-speed multiplier implementations. Th...
162
click to vote
EDBT
2011
ACM
14 years 8 months ago
2011
ACM
Most known frequent item set mining algorithms work by enumerating candidate item sets and pruning infrequent candidates. An alternative method, which works by intersecting transa...