553 search results - page 76 / 111 » Learning Meets Verification |
CSCW
2000
ACM
14 years 2 months ago
2000
ACM
Companies are experimenting with putting teams into warrooms, hoping for some productivity enhancement. We conducted a field study of six such teams, tracking their activity, atti...
HUC
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we describe the material of a construction kit designed to allow children to build their own handheld and wearable devices to meet their interests and passions. Child...
ASWC
2008
Springer
13 years 12 months ago
2008
Springer
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
AAAI
2010
13 years 11 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
BCSHCI
2008
13 years 11 months ago
2008
A number of technology-rich spaces have been designed and created over the last few years with the purpose of supporting and enhancing learning, collaboration, community participa...