Login / Signup
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.
Radu Mateescu
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
distributed systems
data mining
retrieval systems
complex systems
building blocks
low resolution
database systems
databases
multi agent
expert systems
high resolution
hidden markov models
information retrieval systems
high level
case study
information systems
artificial intelligence