Sciweavers

2338 search results - page 250 / 468
» Community computing and the computing community
Sort
View
AI
2005
Springer
15 years 3 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf
JCP
2007
87views more  JCP 2007»
15 years 3 months ago
Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination
—Computer Supported Collaborative Learning (CSCL) tool adoption is slow and challenging when compared to the dissemination of simpler content delivery systems. The lack of techni...
Jacques Lonchamp
COLING
2002
15 years 3 months ago
A Complete Integrated NLG System Using AI and NLU Tools
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
Laurence Danlos, Adil El Ghali
CCR
2007
168views more  CCR 2007»
15 years 3 months ago
Challenges in peer-to-peer gaming
While multi-player online games are very successful, their fast deployment suffers from their server-based architecture. Indeed, servers both limit the scalability of the games a...
Christoph Neumann, Nicolas Prigent, Matteo Varvell...
CSCW
2002
ACM
15 years 3 months ago
Designing and deploying an information awareness interface
The concept of awareness has received increasing attention over the past several CSCW conferences. Although many awareness interfaces have been designed and studied, most have bee...
Jonathan J. Cadiz, Gina Danielle Venolia, Gavin Ja...