2914 search results - page 313 / 583 » Optimization by Stochastic Continuation |
193
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— A distributed online learning framework for support vector machines (SVMs) is presented and analyzed. First, the generic binary classification problem is decomposed in...
197
Voted
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
166
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
169
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
172
click to vote
CAINE
2003
15 years 8 months ago
2003
The Partially Observable Markov Decision Process (POMDP) model is explored for high level decision making for Unmanned Air Vehicles (UAVs). The type of UAV modeled is a flying mun...