Sciweavers

7 search results - page 1 / 2
» How to Run a Successful Game-Based AI Competition
Sort
View
AIM
2006
13 years 3 months ago
The Pyro Toolkit for AI and Robotics
This article introduces Pyro, an open source python robotics toolkit for exploring topics in AI and robotics. nt key abstractions that allow Pyro controllers to run unchanged on a...
Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly...
ECAI
2000
Springer
13 years 8 months ago
Flexible Text Classification for Financial Applications: The Facile System
This paper describes an advanced system for multilingual text classification adaptable to different user needs. The system has been initially developed as an applied research proje...
Fabio Ciravegna, Alberto Lavelli, Nadia Mana, Joha...
ISER
2000
Springer
111views Robotics» more  ISER 2000»
13 years 7 months ago
Progress in RoboCup Soccer Research in 2000
: In addition to researchers in AI and robotics, RoboCup attracts ordinary people, especially kids, high school and university students. Over 3000 people from 35 nations around the...
Minoru Asada, Andreas Birk 0002, Enrico Pagello, M...
INTERACT
2003
13 years 5 months ago
SAP Community: Source for Business Interaction, Education, and Discussion
: Collaboration between e-business partners happens online and without boundaries. The SAP Community is a platform for business people around the globe to connect, interact and sha...
Raimund Mollenhauer, Richard Nikolic
CADE
2006
Springer
14 years 4 months ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman