1284 search results - page 201 / 257 » On Helping and Interactive Proof Systems |
SASO
2008
IEEE
14 years 3 months ago
2008
IEEE
Distributed mechanisms that regulate the behavior of autonomous agents in open multi-agent systems (MAS) are of high interest since we cannot employ centralized approaches relying...
AIED
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe a Web-based spoken translation game aimed at providing language learners with an easily accessible and fun environment to practice speaking the foreign l...
GROUP
2005
ACM
14 years 2 months ago
2005
ACM
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...
ITICSE
2004
ACM
14 years 2 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
i The use of commercial-off-the-shelf (COTS) products creates a software integration problem, whether a single COTS software component is being integrated into a software system, o...