Login / Signup

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.

Jingde ChengYuichi GotoShinsuke NaraTakahiro Koh
Published in: KES (2) (2007)
Keyphrases
  • grid computing
  • cooperative
  • peer to peer
  • computing resources
  • multi agent
  • load balancing
  • distributed computing
  • databases
  • artificial intelligence
  • cost effective
  • scheduling strategy