Showing page 1 of 1.

• 
  alphalabs

  Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

  1 weekly downloads
• 
  AI Now

  AI Now is an open source endeavour to create a general purpose Artificial Intelligence. The plan is to implement a modular architecture to incorporate AI theories as they are developed. This will provide a growing platform to test new AI theories.

  0 weekly downloads
• 
  Anthropos

  Specialised framework for Artificially Intelligent Agents

  0 weekly downloads
• 
  CommGen: Component Integration Platform

  The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.

  0 weekly downloads
• 
  Conversational Wheelchair

  A smart wheelchair with spoken dialog interface.

  0 weekly downloads
• 
  Pythagoras 3D Interactive Geometry

  Pythagoras is a dynamic geometry software, providing construction, evaluation, manipulation and visualization of geometric objects in 2D and 3D eucledian space. Natural Language support, Smart Agent.

  0 weekly downloads
• 
  Translater

  1. Build a platform for storing knowledge independent of all languages 2. Deliver knowledge at the choice of user. Knowledge delivered to his language of choice.

  0 weekly downloads