4962 search results - page 345 / 993 » Stochastic Model Checking |
146
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Hawkes processes are used for modeling tick-by-tick variations of a single or of a pair of asset prices. For each asset, two counting processes (with stochastic intensities) are a...
189
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
147
click to vote
EOR
2010
15 years 6 months ago
2010
We study the effects of demand uncertainty on optimal decisions and the expected profit of a pricesetting newsvendor who faces either additive or multiplicative stochastic demand....
185
click to vote
IBPRIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...