2107 search results - page 224 / 422 » Computing Small Search Numbers in Linear Time |
111
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper we present a surprisingly simple yet powerful method for detecting illumination--determining which pixels are lit by different lights--in images. Our method is based...
153
Voted
SIGMETRICS
2002
ACM
15 years 2 months ago
2002
ACM
Scalable resource discovery services form the core of directory and other middleware services. Scalability requirements preclude centralized solutions. The need to have directory ...
170
Voted
VECPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
108
click to vote
EOR
2006
15 years 2 months ago
2006
The popular models for repairable item inventory, both in the literature as well as practical applications, assume that the demands for items are independent of the number of work...