New Results on Mean Time-to-First-Slip for a First-Order Loop.

Published in: IEEE Trans. Commun. (1985)

Keyphrases

first order logic
higher order
boundary conditions
loop formulas
term rewriting
horn clauses
search engine
decision trees
image sequences
relational learning
hidden markov models
database
case study
information systems
information retrieval
neural network
real time