5355 search results - page 309 / 1071 » Modules |
146
click to vote
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
Reinforcement learning (RL) is one of the machine learning techniques and has been received much attention as a new self-adaptive controller for various systems. The RL agent auto...
133
Voted
APN
1995
Springer
15 years 7 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
116
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
111
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
119
click to vote
FPGA
1995
ACM
15 years 7 months ago
1995
ACM
This paper presents a methodology for production-time testing of (uncustomized) segmented channel eld programmable gate arrays (FPGAs) such as those manufactured by Actel [1]. Th...