4962 search results - page 278 / 993 » Stochastic Model Checking |
126
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. Taskload is here d...
137
click to vote
WEBI
2010
Springer
15 years 26 days ago
2010
Springer
A biologically inspired cognitive model is presented for human decision making and applied to the simulation of the web user. The model is based on the Neurophysiology description ...
111
click to vote
IPL
2007
15 years 2 months ago
2007
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...
206
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...