Sciweavers

2914 search results - page 25 / 583
» Optimization by Stochastic Continuation
Sort
View
TSMC
2008
113views more  TSMC 2008»
13 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ICPR
2010
IEEE
13 years 5 months ago
Efficient Polygonal Approximation of Digital Curves via Monte Carlo Optimization
A novel stochastic searching scheme based on the Monte Carlo optimization is presented for polygonal approximation (PA) problem. We propose to combine the split-and-merge based lo...
Xiuzhuang Zhou, Yao Lu
EPEW
2006
Springer
13 years 11 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
14 years 2 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham
AGENTS
1999
Springer
14 years 2 hour ago
An Adaptive Agent Bidding Strategy Based on Stochastic Modeling
For a dynamic, evolving multiagent auction, we have developed an adaptive agent bidding strategy (called the p-strategy) based on stochastic modeling. The p-strategy takes into ac...
Sunju Park, Edmund H. Durfee, William P. Birmingha...