2899 search results - page 184 / 580 » Dynamic Trees in Practice |
161
click to vote
INFORMS
2010
15 years 3 months ago
2010
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
123
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
127
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
227
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
136
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we consider the vector perturbation (VP) precoding scheme for the multiuser MISO broadcast channel proposed by Hochwald et al. under the practical assumption that th...