1942 search results - page 137 / 389 » HINT: A new way to measure computer performance |
166
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
138
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Considerable research effort has been spent in trying to formulate a good definition of GA-Hardness. Given an instance of a problem, the objective is to estimate the performance of...
172
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents user interface technology for mobile outdoor augmented reality systems, and a set of new techniques we have named construction at a distance for the capture an...
144
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper explores a new method for analysing and comparing image histograms. The technique amounts to a novel way of backprojecting an image into one with fewer, statistically s...
164
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...