The next 700 Krivine machines.

Rémi Douence Pascal Fradet

Published in: High. Order Symb. Comput. (2007)

Keyphrases

learning machines
real time
real world
data sets
data mining
social networks
information systems
decision making
high quality
cooperative
relational databases
management system
parallel machines