Sciweavers

24444 search results - page 4657 / 4889
» A Data Model for Data Integration
Sort
View
PVLDB
2010
97views more  PVLDB 2010»
15 years 3 months ago
Ranking Continuous Probabilistic Datasets
Ranking is a fundamental operation in data analysis and decision support, and plays an even more crucial role if the dataset being explored exhibits uncertainty. This has led to m...
Jian Li, Amol Deshpande
SEKE
2010
Springer
15 years 3 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
SIAMIS
2010
123views more  SIAMIS 2010»
15 years 3 months ago
Numerical Algorithms for Polyenergetic Digital Breast Tomosynthesis Reconstruction
Digital tomosynthesis imaging is becoming increasingly significant in a variety of medical imaging applications. Tomosynthesis imaging involves the acquisition of a series of proj...
Julianne Chung, James G. Nagy, Ioannis Sechopoulos
138
Voted
SIGMETRICS
2010
ACM
174views Hardware» more  SIGMETRICS 2010»
15 years 3 months ago
Decomposition results for an m/m/k with staggered setup
In this paper, we consider an M/M/k queueing system with setup costs. Servers are turned off when there is no work to do, but turning on an off server incurs a setup cost. The s...
Anshul Gandhi, Mor Harchol-Balter, Ivo Adan
161
Voted
SPIN
2010
Springer
15 years 3 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
« Prev « First page 4657 / 4889 Last » Next »