Sciweavers

1024 search results - page 18 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
HCI
2007
15 years 2 months ago
A Color Adjustment Method for Automatic Seamless Image Blending
In this paper we present a stable automatic system for image composition, which can well control the color difference between two images, and produce a seamless composite image wit...
Xianji Li, Dongho Kim
CANDC
2007
ACM
15 years 3 months ago
A computational model of the music of Stevie Ray Vaughan
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
Naresh Vempala, Subrata Dasgupta
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 6 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
TFS
2011
239views Education» more  TFS 2011»
14 years 8 months ago
Systems Control With Generalized Probabilistic Fuzzy-Reinforcement Learning
—Reinforcement learning (RL) is a valuable learning method when the systems require a selection of control actions whose consequences emerge over long periods for which input– ...
William M. Hinojosa, Samia Nefti, Uzay Kaymak
VTS
2006
IEEE
122views Hardware» more  VTS 2006»
15 years 7 months ago
Early, Accurate and Fast Yield Estimation through Monte Carlo-Alternative Probabilistic Behavioral Analog System Simulations
Monte Carlo analysis has so far been the corner stone for analog statistical simulations. Fast and accurate simulations are necessary for stringent time-to-market, design for manu...
Rasit Onur Topaloglu