Sciweavers

4651 search results - page 205 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
ITC
1996
IEEE
78views Hardware» more  ITC 1996»
15 years 7 months ago
Realistic-Faults Mapping Scheme for the Fault Simulation of Integrated Analogue CMOS Circuits
common use is the distinction into two (abstract) fault models: A new fault modelling scheme for integrated analogue general the "Single Hard Fault Model (SHFM)" and the ...
Michael J. Ohletz
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
16 years 3 months ago
Efficient provenance storage
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
Adriane Chapman, H. V. Jagadish, Prakash Ramanan
NJC
2006
88views more  NJC 2006»
15 years 2 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
SSDBM
1999
IEEE
135views Database» more  SSDBM 1999»
15 years 7 months ago
Query Processing in the TAMBIS Bioinformatics Source Integration System
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
Norman W. Paton, Robert Stevens, Patricia G. Baker...
WSC
2001
15 years 4 months ago
Quantifying simulation output variability using confidence intervals and statistical process control
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
Amy Jo Naylor