A General, Flexible and Efficient Proof of Inclusion and Exclusion.

Published in: INTRUST (2011)

Keyphrases

special case
lightweight
provably correct
artificial intelligence
highly efficient
real time
expert systems
cost effective
closely related
medical images
evolutionary algorithm
learning environment
wide range
database systems
three dimensional
website
decision making
data mining