Login / Signup
Ackermann Encoding, Bisimulations, and OBDDs
Carla Piazza
Alberto Policriti
Published in:
CoRR (2003)
Keyphrases
</>
boolean functions
model checking
encoding scheme
temporal logic
data sets
image processing
artificial neural networks
real time
artificial intelligence
three dimensional
similarity measure
video sequences
variable length