Sciweavers

7380 search results - page 237 / 1476
» time 2008
Sort
View
IPL
2007
125views more  IPL 2007»
15 years 6 months ago
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
François Laroussinie, Jeremy Sproston
WSC
2008
15 years 9 months ago
Decision making and forecasting with respect to risk: A simulation study for a setup-problem
In this paper, the impact of timing a setup operation on the work-in-process and cycle time is investigated. Using a small example of an reentrant production system, it is shown t...
Martin Romauch, Walter Laure, Georg Seidel, Christ...
SODA
2008
ACM
108views Algorithms» more  SODA 2008»
15 years 8 months ago
Price based protocols for fair resource allocation: convergence time analysis and extension to Leontief utilities
We analyze several distributed, continuous time protocols for a fair allocation of bandwidths to flows in a network (or resources to agents). Our protocols converge to an allocati...
Ashish Goel, Hamid Nazerzadeh
DASFAA
2008
IEEE
190views Database» more  DASFAA 2008»
16 years 1 months ago
Analysis of Time Series Using Compact Model-Based Descriptions
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...
Hans-Peter Kriegel, Peer Kröger, Alexey Pryak...
KDD
2008
ACM
159views Data Mining» more  KDD 2008»
16 years 7 months ago
Semi-supervised learning with data calibration for long-term time series forecasting
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
Haibin Cheng, Pang-Ning Tan