Sciweavers

3767 search results - page 54 / 754
» Design and implementation of a generalized laboratory data m...
Sort
View
CIKM
2009
Springer
15 years 10 months ago
A case study on model driven data integration for data centric software development
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
Hyeonsook Kim, Ying Zhang, Samia Oussena, Tony Cla...
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
IV
1998
IEEE
95views Visualization» more  IV 1998»
15 years 8 months ago
Evaluating Three-Dimensional Information Visualization Designs: A Case Study of Three Designs
A number of three-dimensional information visualization designs have been invented during the last years. However, comparisons of such designs have been scarce, making it di cult ...
Ulrika Wiss, David A. Carr, Håkan Jonsson
FOSSACS
2009
Springer
15 years 11 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
ER
1998
Springer
145views Database» more  ER 1998»
15 years 8 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...