A Free Construction of Kleene Algebras with Tests.

Hitoshi Furusawa

Published in: MPC (2004)

Keyphrases

database
construction process
real world
feature selection
image processing
website
case study
distributive lattices
spatial reasoning
propositional logic
statistical tests
constraint satisfaction problems
information technology
training data
web services
knowledge base
neural network
real time