Models of non-well-founded sets via an indexed final coalgebra theorem.

Federico De Marchi Benno van den Berg

Published in: J. Symb. Log. (2007)

Keyphrases

accurate models
e learning
image processing
mathematical models
probabilistic model
expert systems
video sequences
prediction model
computational models
statistical models
least squares
search algorithm
databases
multiscale
three dimensional
decision trees
social networks
search engine
neural network