Sciweavers

4163 search results - page 235 / 833
» A comprehensive combination framework
Sort
View
KDD
2009
ACM
152views Data Mining» more  KDD 2009»
16 years 7 months ago
A multi-relational approach to spatial classification
Spatial classification is the task of learning models to predict class labels based on the features of entities as well as the spatial relationships to other entities and their fe...
Richard Frank, Martin Ester, Arno Knobbe
WCRE
2003
IEEE
15 years 11 months ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis
ICML
2005
IEEE
16 years 7 months ago
Reducing overfitting in process model induction
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...
Will Bridewell, Narges Bani Asadi, Pat Langley, Lj...
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 19 days ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
CSB
2005
IEEE
161views Bioinformatics» more  CSB 2005»
16 years 4 days ago
Data Integration in the Mouse Genome Informatics (MGI) Database
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
Donnie Qi, Judith A. Blake, James A. Kadin, Joel E...