Sciweavers

962 search results - page 135 / 193
» Some Reducibilities on Regular Sets
Sort
View
SIGMOD
2000
ACM
129views Database» more  SIGMOD 2000»
14 years 2 months ago
Mining Frequent Patterns without Candidate Generation
Mining frequent patterns in transaction databases, time-series databases, and many other kinds of databases has been studied popularly in data mining research. Most of the previous...
Jiawei Han, Jian Pei, Yiwen Yin
SIGMOD
2007
ACM
186views Database» more  SIGMOD 2007»
14 years 10 months ago
Fg-index: towards verification-free query processing on graph databases
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
James Cheng, Yiping Ke, Wilfred Ng, An Lu
BMCBI
2008
115views more  BMCBI 2008»
13 years 10 months ago
Improving peptide-MHC class I binding prediction for unbalanced datasets
Background: Establishment of peptide binding to Major Histocompatibility Complex class I (MHCI) is a crucial step in the development of subunit vaccines and prediction of such bin...
Ana Paula Sales, Georgia D. Tomaras, Thomas B. Kep...
GECCO
2005
Springer
140views Optimization» more  GECCO 2005»
14 years 3 months ago
CGP visits the Santa Fe trail: effects of heuristics on GP
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
Cezary Z. Janikow, Christopher J. Mann
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 8 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...