5639 search results - page 416 / 1128 » Timed Abstract Non-interference |
136
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
145
click to vote
EVOW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper explores the capabilities of continuous time recurrent neural networks (CTRNNs) to display reinforcement learning-like abilities on a set of T-Maze and double ...
115
Voted
GD
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. GraphAEL extracts three types of evolving graphs from the Graph Drawing literature and creates 2D and 3D animations of the evolutions. We study citation graphs, topic gra...
125
Voted
ICES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In [8] Yamauchi and Beer explored the abilities of continuous time recurrent neural networks (CTRNNs) to display reinforcementlearning like abilities. The investigated ta...
135
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...