Sciweavers

1802 search results - page 118 / 361
» Complexity Theory for Operators in Analysis
Sort
View
ER
1998
Springer
145views Database» more  ER 1998»
15 years 10 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...
ASYNC
1997
IEEE
103views Hardware» more  ASYNC 1997»
15 years 10 months ago
Efficient Timing Analysis Algorithms for Timed State Space Exploration
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
Wendy Belluomini, Chris J. Myers
SOFTVIS
2010
ACM
15 years 6 months ago
3D kiviat diagrams for the interactive analysis of software metric trends
Previous techniques for visualizing time-series of multivariate data mostly plot the time along additional axes, are often complex, and does not support intuitive interaction. In ...
Andreas Kerren, Ilir Jusufi
AI
2008
Springer
15 years 6 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
16 years 6 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman