Sciweavers

875 search results - page 11 / 175
» A New Approach for Testing Properties of Discrete Distributi...
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
14 years 9 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
ICALP
2010
Springer
15 years 2 months ago
Testing Non-uniform k-Wise Independent Distributions over Product Spaces
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
Ronitt Rubinfeld, Ning Xie
DEDS
2008
127views more  DEDS 2008»
14 years 9 months ago
Diagnosability Analysis of a Class of Hierarchical State Machines
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...
Andrea Paoli, Stéphane Lafortune
HYBRID
2007
Springer
15 years 1 months ago
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games
Multiple-pursuer multiple-evader games raise fundamental and novel problems in control theory and robotics. In this paper, we propose a distributed solution to this problem that si...
Michael M. Zavlanos, George J. Pappas
ICIP
2009
IEEE
15 years 10 months ago
Efficient Multivariate Skellam Shrinkage For Denoising Photon-limited Image Data: An Empirical Bayes Approach
In this article we address the issue of denoising photon-limited image data by deriving new and efficient multivariate Bayesian estimators that approximate the conditional expecta...