10916 search results - page 86 / 2184 » On Constructive Connectives and Systems |
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
130
Voted
APN
2000
Springer
15 years 4 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
98
Voted
CSCWD
2007
Springer
15 years 2 months ago
2007
Springer
The difficult business reality today makes enterprises more and more resort to information technology to manage nearly everything within the enterprises and to conduct business ac...
ESANN
2006
15 years 2 months ago
2006
This paper is the first of a two paper series that deals with an important problem in on-line learning mechanisms for autonomous agents that must perform non trivial tasks and oper...
ALIFE
1998
15 years 16 days ago
1998
We examine the qualitative dynamics of a catalytic self-organizing reaction system of binary strings that is inspired by the chemical information processing metaphor. A string is ...