1016 search results - page 122 / 204 » Test Generation for Designs with On-Chip Clock Generators |
PKDD
2000
Springer
14 years 21 days ago
2000
Springer
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
EVOW
2008
Springer
13 years 11 months ago
2008
Springer
We describe an approach to artificially evolving a drawing robot using implicit fitness functions, which are designed to minimise any direct reference to the line patterns made by ...
QNS
1996
13 years 10 months ago
1996
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
AIME
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...