Sciweavers

798 search results - page 57 / 160
» Interval Methods: An Introduction
Sort
View
AI
2008
Springer
13 years 9 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
COMCOM
2010
179views more  COMCOM 2010»
13 years 9 months ago
On the statistical characterization of flows in Internet traffic with application to sampling
A new method of estimating some statistical characteristics of TCP flows in the Internet is developed in this paper. For this purpose, a new set of random variables (referred to as...
Yousra Chabchoub, Christine Fricker, Fabrice Guill...
APIN
2005
94views more  APIN 2005»
13 years 9 months ago
Extension of Petri Nets for Representing and Reasoning with Tasks with Imprecise Durations
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
Stanislav Kurkovsky, Rasiah Loganantharaj
TR
2008
164views more  TR 2008»
13 years 9 months ago
Inference Based on Type-II Hybrid Censored Data From a Weibull Distribution
A hybrid censoring scheme is a mixture of Type-I and Type-II censoring schemes. This article presents the statistical inferences on Weibull parameters when the data are Type-II hyb...
Aveek Banerjee, Debasis Kundu
AAAI
2007
13 years 11 months ago
Measuring the Uncertainty of Differences for Contrasting Groups
: In this paper, we propose an empirical likelihood (EL) based strategy for building confidence intervals for differences between two contrasting groups. The proposed method can de...
Jilian Zhang, Shichao Zhang, Xiaofeng Zhu, Xindong...