Sciweavers

780 search results - page 53 / 156
» Combining a Formal with an Example-driven Approach for Data ...
Sort
View
APSEC
2000
IEEE
14 years 16 days ago
A GUI and testing tool for SOFL
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
BTW
2007
Springer
154views Database» more  BTW 2007»
14 years 3 months ago
Integrating Query-Feedback Based Statistics into Informix Dynamic Server
: Statistics that accurately describe the distribution of data values in the columns of relational tables are essential for effective query optimization in a database management sy...
Alexander Behm, Volker Markl, Peter J. Haas, Kesha...
AMAI
2005
Springer
13 years 8 months ago
A SAT approach to query optimization in mediator systems
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
Steven David Prestwich, Stéphane Bressan
BMCBI
2006
149views more  BMCBI 2006»
13 years 9 months ago
HeatMapper: powerful combined visualization of gene expression profile correlations, genotypes, phenotypes and sample characteri
Background: Accurate interpretation of data obtained by unsupervised analysis of large scale expression profiling studies is currently frequently performed by visually combining s...
Roel G. W. Verhaak, Mathijs A. Sanders, Maarten A....
ADBIS
2005
Springer
147views Database» more  ADBIS 2005»
14 years 2 months ago
Declarative Data Fusion - Syntax, Semantics, and Implementation
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
Jens Bleiholder, Felix Naumann