Sciweavers

110 search results - page 6 / 22
» Generating Specialized Rules and Programs for Demand-Driven ...
Sort
View
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
15 years 10 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
AIA
2007
14 years 11 months ago
Evaluating generalized association rules through objective measures
Generalized association rules are rules that contain some background knowledge, therefore, giving a more general view of the domain. This knowledge is codified by a taxonomy set ...
Veronica Oliveira de Carvalho, Solange Oliveira Re...
98
Voted
BMCBI
2006
109views more  BMCBI 2006»
14 years 9 months ago
Integrated analysis of gene expression by association rules discovery
Background: Microarray technology is generating huge amounts of data about the expression level of thousands of genes, or even whole genomes, across different experimental conditi...
Pedro Carmona-Saez, Monica Chagoyen, Andrés...
80
Voted
ICDAR
2009
IEEE
15 years 4 months ago
Evaluating Retraining Rules for Semi-Supervised Learning in Neural Network Based Cursive Word Recognition
Training a system to recognize handwritten words is a task that requires a large amount of data with their correct transcription. However, the creation of such a training set, inc...
Volkmar Frinken, Horst Bunke
COMPSAC
1999
IEEE
15 years 1 months ago
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
Xiaoping Jia, Sotiris Skevoulis