247 search results - page 50 / 50 » Development graphs - Proof management for structured specifi... |
CIKM
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we propose a fast, memory-efficient, and scalable clustering algorithm for analyzing transactional data. Our approach has three unique features. First, we use the c...
BMCBI
2008
13 years 5 months ago
2008
Background: With the completion of the Human Genome Project and recent advancements in mutation detection technologies, the volume of data available on genetic variations has rise...