Logical Analysis of Demonic Nondeterministic Programs.

Stéphane Demri Ewa Orlowska

Published in: Theor. Comput. Sci. (1996)

Keyphrases

database
databases
clustering algorithm
automatic analysis
data sets
artificial intelligence
metadata
website
high level
data analysis
image analysis
data model
hidden markov models
quantitative analysis