Sciweavers

142 search results - page 20 / 29
» Variability encoding: From compile-time to load-time variabi...
Sort
View
111
Voted
GECCO
2003
Springer
15 years 8 months ago
Mining Comprehensible Clustering Rules with an Evolutionary Algorithm
In this paper, we present a novel evolutionary algorithm, called NOCEA, which is suitable for Data Mining (DM) clustering applications. NOCEA evolves individuals that consist of a ...
Ioannis A. Sarafis, Philip W. Trinder, Ali M. S. Z...
NIPS
2008
15 years 4 months ago
Regularized Learning with Networks of Features
For many supervised learning problems, we possess prior knowledge about which features yield similar information about the target variable. In predicting the topic of a document, ...
Ted Sandler, John Blitzer, Partha Pratim Talukdar,...
129
Voted
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 3 months ago
A Logic Programming Framework for Combinational Circuit Synthesis
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
Paul Tarau, Brenda Luderman
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 3 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
148
Voted
CGF
2006
173views more  CGF 2006»
15 years 3 months ago
C-BDAM - Compressed Batched Dynamic Adaptive Meshes for Terrain Rendering
We describe a compressed multiresolution representation for supporting interactive rendering of very large planar and spherical terrain surfaces. The technique, called Compressed ...
Enrico Gobbetti, Fabio Marton, Paolo Cignoni, Marc...