1204 search results - page 121 / 241 » Hybrid Probabilistic Programs |
106
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
125
Voted
BMCBI
2006
15 years 25 days ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
139
Voted
MOBIHOC
2003
ACM
16 years 10 days ago
2003
ACM
A central challenge in ad hoc networks is the design of routing protocols that can adapt their behavior to frequent and rapid changes in the network. The performance of proactive ...
127
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes our study into the concept of using rewards in a classifier system applied to the acquisition of decision-making algorithms for agents in a soccer game. Our a...
108
click to vote
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...