Sciweavers

224 search results - page 37 / 45
» Experiments with Monte Carlo Othello
Sort
View
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 1 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
CIARP
2003
Springer
14 years 1 months ago
Robust Estimation of Roughness Parameter in SAR Amplitude Images
The precise knowledge of the statistical properties of synthetic aperture radar (SAR) data plays a central role in image processing and understanding. These properties can be used ...
Héctor Allende, Luis Pizarro
ICDM
2002
IEEE
133views Data Mining» more  ICDM 2002»
14 years 1 months ago
Estimating the number of segments in time series data using permutation tests
Segmentation is a popular technique for discovering structure in time series data. We address the largely open problem of estimating the number of segments that can be reliably di...
Kari Vasko, Hannu Toivonen
CAMAD
2009
IEEE
14 years 1 months ago
Improving Federation Executions with Migrating HLA/RTI Central Runtime Components
— Simulation tools are popular in the design and study of communication systems and networks. The implementation of analytic distributed simulations commonly require a central en...
Ricardo Lent
CVPR
1999
IEEE
14 years 25 days ago
A New Bayesian Framework for Object Recognition
We introduce an approach to feature-based object recognition, using maximum a posteriori (MAP) estimation under a Markov random field (MRF) model. This approach provides an effici...
Yuri Boykov, Daniel P. Huttenlocher