Sciweavers

3007 search results - page 601 / 602
» Linear Functional Fixed-points
Sort
View
JSS
2011
126views more  JSS 2011»
12 years 9 months ago
A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems
Forecasting workflow activity durations is of great importance to support satisfactory QoS in workflow systems. Traditionally, a workflow system is often designed to facilitate the...
Xiao Liu, Zhiwei Ni, Dong Yuan, Yuan-Chun Jiang, Z...
SIGMETRICS
2011
ACM
191views Hardware» more  SIGMETRICS 2011»
12 years 9 months ago
Stability analysis of QCN: the averaging principle
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...
Mohammad Alizadeh, Abdul Kabbani, Berk Atikoglu, B...
ICCV
2011
IEEE
12 years 6 months ago
Multi-View 3D Reconstruction for Scenes under the Refractive Plane with Known Vertical Direction
Images taken from scenes under water suffer distortion due to refraction. While refraction causes magnification with mild distortion on the observed images, severe distortions in...
Yao-Jen Chang, Tsuhan Chen
PODS
2009
ACM
124views Database» more  PODS 2009»
14 years 7 months ago
Indexing uncertain data
Querying uncertain data has emerged as an important problem in data management due to the imprecise nature of many measurement data. In this paper we study answering range queries...
Pankaj K. Agarwal, Siu-Wing Cheng, Yufei Tao, Ke Y...
QEST
2005
IEEE
13 years 12 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha