Sciweavers

2260 search results - page 381 / 452
» A new algorithm for clustering search results
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 2 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
CIBB
2008
14 years 1 days ago
Mining Association Rule Bases from Integrated Genomic Data and Annotations
During the last decade, several clustering and association rule mining techniques have been applied to highlight groups of coregulated genes in gene expression data. Nowadays, inte...
Ricardo Martínez, Nicolas Pasquier, Claude ...
BIOCOMP
2007
13 years 11 months ago
Biomarker Discovery Across Annotated and Unannotated Microarray Datasets Using Semi-Supervised Learning
The growing body of DNA microarray data has the potential to advance our understanding of the molecular basis of disease. However annotating microarray datasets with clinically us...
Cole Harris, Noushin Ghaffari
FLAIRS
2004
13 years 11 months ago
Case-Based Bayesian Network Classifiers
We propose a new approach for learning Bayesian classifiers from data. Although it relies on traditional Bayesian network (BN) learning algorithms, the effectiveness of our approa...
Eugene Santos, Ahmed Huessin
CGF
2008
200views more  CGF 2008»
13 years 10 months ago
Deep Opacity Maps
We present a new method for rapidly computing shadows from semi-transparent objects like hair. Our deep opacity maps method extends the concept of opacity shadow maps by using a d...
Cem Yuksel, John Keyser