3457 search results - page 112 / 692 » A Symbol Is Not a Symbol |
114
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
94
Voted
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
111
click to vote
VTS
2002
IEEE
15 years 5 months ago
2002
IEEE
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine...
96
Voted
ADBIS
2001
Springer
15 years 5 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
ICANN
2001
Springer
15 years 5 months ago
2001
Springer
This paper studies the use of discrete-time recurrent neural networks for predicting the next symbol in a sequence. The focus is on online prediction, a task much harder than the c...