IBOS: A Correct-By-Construction Modular Browser.

Ralf Sasse Samuel T. King José Meseguer Shuo Tang

Published in: FACS (2012)

Keyphrases

user interface
web applications
construction process
database
machine learning
metadata
modular structure
data mining
artificial intelligence
feature selection
web pages
face recognition
pattern recognition
modular neural networks