Sciweavers

216 search results - page 31 / 44
» Designing games for learning: insights from conversations wi...
Sort
View
SIGSOFT
2008
ACM
14 years 8 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
ECTEL
2009
Springer
14 years 2 months ago
A Comparison of Paper-Based and Online Annotations in the Workplace
While reading documents, people commonly make annotations: they underline or highlight text and write comments in the margin. Making annotations during reading activities has been ...
Ricardo Kawase, Eelco Herder, Wolfgang Nejdl
WELCOM
2001
Springer
132views ECommerce» more  WELCOM 2001»
14 years 1 days ago
Incentives for Sharing in Peer-to-Peer Networks
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...
Philippe Golle, Kevin Leyton-Brown, Ilya Mironov, ...
HICSS
2008
IEEE
151views Biometrics» more  HICSS 2008»
14 years 2 months ago
Venice, California and World of Warcraft: Persistence and Ephemerality in Playful Spaces
Persistent digital media extend content beyond immediate ephemeral interactions and conversations. Systems such as email, instant messaging, digital kiosks, social networking site...
Silvia Lindtner, Bonnie A. Nardi
GLVLSI
1998
IEEE
124views VLSI» more  GLVLSI 1998»
13 years 12 months ago
Non-Refreshing Analog Neural Storage Tailored for On-Chip Learning
In this research, we devised a new simple technique for statically holding analog weights, which does not require periodic refreshing. It further contains a mechanism to locally u...
Bassem A. Alhalabi, Qutaibah M. Malluhi, Rafic A. ...