Sciweavers

405 search results - page 12 / 81
» Stochastic analysis of file-swarming systems
Sort
View
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 26 days 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
ICDAR
2003
IEEE
14 years 23 days ago
Handwritten Hangul Character Recognition with Hierarchical Stochastic Character Representation
In structural character recognition, a character is usually viewed as a set of strokes and the spatial relationships between them. In this paper, we propose a stochastic modeling ...
Kyung-Won Kang, Jin Hyung Kim
DSS
2011
12 years 11 months ago
How much to spend on flexibility? Determining the value of information system flexibility
In the current paper, we outline several approaches to determine the value of information system (IS) flexibility, defined as the extent to which an IS can be modified and upgrade...
Franz Schober, Judith Gebauer
IPL
2007
79views more  IPL 2007»
13 years 7 months ago
Analysis of noise-induced phase synchronization in nervous systems: from algorithmic perspective
In many cases, a key step in neuronal information processing is phase synchronization of neurons (as oscillators). Substantial evidence suggests that an universal mechanism is beh...
Dawei Hong
AUTOMATICA
2006
89views more  AUTOMATICA 2006»
13 years 7 months ago
Stability analysis and stabilization control of multi-variable switched stochastic systems
In this paper, the mean square (MS) stability and exponential mean square (EMS) stability of multi-variable switched stochastic systems are investigated. Based on the concept of t...
Wei Feng, Ji-Feng Zhang