Counterexample to the $l$-modular Belfiore-Solé Conjecture.

Anne-Maria Ernvall-Hytönen B. A. Sethuraman

Published in: CoRR (2014)

Keyphrases

model checking
formal verification
web services
modular architecture
modular neural networks
image processing
modular neural network
relational databases
domain knowledge
modular structure
software engineering
multi class
machine learning
user interface
pattern recognition
cooperative
artificial intelligence