1091 search results - page 124 / 219 » On the temporal dimension of search |
117
Voted
HVC
2005
Springer
15 years 7 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
LREC
2008
15 years 3 months ago
2008
In this paper we present a new Document Management System called DrStorage. This DMS is multi-platform, JCR-170 compliant, supports WebDav, versioning, user authentication and aut...
118
click to vote
AIPS
2010
15 years 1 months ago
2010
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...
111
click to vote
JEI
2000
15 years 1 months ago
2000
Motion estimation is a temporal image compression technique, where an n x n block of pixels in the current frame of a video sequence is represented by a motion vector with respect...
115
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we compare the (1+1)-CMA-ES to the (1+2s m)CMA-ES, a recently introduced quasi-random (1+2)-CMAES that uses mirroring as derandomization technique as well as a sequ...