Deductive Proofs of Almost Sure Persistence and Recurrence Properties.

Aleksandar Chakarov Yuen-Lam Voronin Sriram Sankaranarayanan

Published in: TACAS (2016)

Keyphrases

structural properties
real time
data sets
information retrieval
decision making
open source
topological properties
neural network
machine learning
multiscale
objective function
object oriented
rough sets
decision procedures
deductive reasoning