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»
14 years 8 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
13 years 9 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...
BMCBI
2006
109views more  BMCBI 2006»
13 years 7 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...
ICDAR
2009
IEEE
14 years 2 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
13 years 12 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