153 search results - page 4 / 31 » Ordering multiple continuations on the stack |
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
EOR
2006
13 years 9 months ago
2006
In this paper we use policy-iteration to explore the behaviour of optimal control policies for lost sales inventory models with the constraint that not more than one replenishment...
ICDE
2007
IEEE
14 years 4 months ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
COLCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents an integrated framework for mobile street-level tracking of multiple persons. In contrast to classic tracking-by-detection approaches, our framework employs an ...