2670 search results - page 94 / 534 » Modeling systems with internal state using evolino |
169
click to vote
IEAAIE
1995
Springer
15 years 10 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
141
click to vote
APN
2003
Springer
15 years 11 months ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
161
click to vote
AAAI
1996
15 years 7 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
185
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
165
click to vote
WADT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...