4981 search results - page 634 / 997 » Dependent Gaussian Processes |
226
click to vote
GLVLSI
2000
IEEE
16 years 22 hour ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
178
click to vote
ICRA
2000
IEEE
16 years 8 hour ago
2000
IEEE
Believable agents usually depend upon explicit, model-based simulations of human emotions. This work appeals instead to the sensibilities of dramatic acting to create agents that ...
166
click to vote
IEEEPACT
2000
IEEE
16 years 6 hour ago
2000
IEEE
The performance potential of a value reuse mechanism depends on its reuse detection time, the number of reuse opportunities, and the amount of work saved by skipping each reuse un...
137
click to vote
MICRO
2000
IEEE
15 years 12 months ago
2000
IEEE
Current superscalar microprocessors’ performance depends on its frequency and the number of useful instructions that can be processed per cycle (IPC). In this paper we propose a...
204
click to vote
DIAGRAMS
2000
Springer
15 years 12 months ago
2000
Springer
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...