Sciweavers

1453 search results - page 132 / 291
» Mining for Useful Association Rules Using the ATMS
Sort
View
GECCO
2009
Springer
108views Optimization» more  GECCO 2009»
15 years 8 months ago
Development of combinational circuits using non-uniform cellular automata: initial results
A non-uniform cellular automata-based model is presented for the evolutionary development of digital circuits at the gate level. The main feature of this model is the modified lo...
Michal Bidlo, Zdenek Vasícek
TYPES
1999
Springer
15 years 8 months ago
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
David Delahaye
DIS
2004
Springer
15 years 9 months ago
Predictive Graph Mining
Abstract. Graph mining approaches are extremely popular and effective in molecular databases. The vast majority of these approaches first derive interesting, i.e. frequent, patte...
Andreas Karwath, Luc De Raedt
CIKM
2009
Springer
15 years 10 months ago
Graph classification based on pattern co-occurrence
Subgraph patterns are widely used in graph classification, but their effectiveness is often hampered by large number of patterns or lack of discrimination power among individual p...
Ning Jin, Calvin Young, Wei Wang
CIKM
2006
Springer
15 years 7 months ago
Validating associations in biological databases
To cope with the large amount of biological sequences being produced, a significant number of genes and proteins have been annotated by automated tools. A protein annotation is an...
Francisco M. Couto, Mário J. Silva, Pedro C...