42230 search results - page 8296 / 8446 » Algorithms and Complexity Results for |
200
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
152
click to vote
ICCV
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
144
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Hidden copyright marks have been proposed as a solution for solving the illegal copying and proof of ownership problems in the context of multimedia objects. Many systems have been...
202
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper is concerned with arti cial evolution of neurocontrollers with adaptive synapses for autonomous mobile robots. The method consists of encoding on the genotype ...
162
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
Imagine some program and a number of changes. If none of these changes is applied (“yesterday”), the program works. If all changes are applied (“today”), the program does n...