Sign in
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification.
Maciej J. Ciesielski
Priyank Kalla
Zhihong Zeng
Bruno Rouzeyre
Published in:
DATE (2002)
Keyphrases
</>
canonical representation
horn theories
verification method
face verification
formal verification
model checking
formal methods
symbolic description
neural learning
connectionist models
real time
face detection
data model
bayesian networks
symbolic reasoning
high level
web services
databases