4962 search results - page 294 / 993 » Stochastic Model Checking |
127
click to vote
PC
2000
15 years 2 months ago
2000
In this paper we present a parallel method for solving two-stage stochastic linear programs with restricted recourse. The mathematical model considered here can be used to represe...
124
click to vote
MOR
2007
15 years 2 months ago
2007
We consider a generalization of the model of stochastic search in an out-forest, introduced and studied by Denardo, Rothblum, and Van der Heyden [1]. We provide a simple proof of ...
111
click to vote
IOR
2008
15 years 3 months ago
2008
In 1958, Wagner and Whitin published a seminal paper on the deterministic uncapacitated lot-sizing problem, a fundamental model that is embedded in many practical production plann...
148
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...
150
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
Publish/subscribe systems are used increasingly often as a communication mechanism in loosely-coupled distributed applications. With their gradual adoption in mission critical are...