Sciweavers

17298 search results - page 160 / 3460
» Abstract computing machines
Sort
View
ICNC
2005
Springer
15 years 9 months ago
Parallel Genetic Algorithms on Programmable Graphics Hardware
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...
Qizhi Yu, Chongcheng Chen, Zhigeng Pan
128
Voted
MLDM
2005
Springer
15 years 9 months ago
Statistical Supports for Frequent Itemsets on Data Streams
Abstract. A statistical technique is developed for estimating the support of itemsets on data streams, regardless of the size of the data stored. This technique, which is computati...
Pierre-Alain Laur, Jean-Emile Symphor, Richard Noc...
WAOA
2005
Springer
92views Algorithms» more  WAOA 2005»
15 years 9 months ago
Rounding of Sequences and Matrices, with Applications
Abstract. We show that any real matrix can be rounded to an integer matrix in such a way that the rounding errors of all row sums are less than one, and the rounding errors of all ...
Benjamin Doerr, Tobias Friedrich, Christian Klein,...
ICCL
1992
IEEE
15 years 7 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg
144
Voted
ICML
1989
IEEE
15 years 7 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning