Sciweavers

2694 search results - page 133 / 539
» Frege's New Science
Sort
View
ACMSE
2009
ACM
15 years 9 months ago
Educational software packages for the One Laptop Per Child (OLPC) XO laptop
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
Michael Keating
ERSHOV
2006
Springer
15 years 8 months ago
Verifying Generalized Soundness of Workflow Nets
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova, M...
DIS
2007
Springer
15 years 8 months ago
Reducing Trials by Thinning-Out in Skill Discovery
In this paper, we propose a new concept, thinning-out, for reducing the number of trials in skill discovery. Thinning-out means to skip over such trials that are unlikely to improv...
Hayato Kobayashi, Kohei Hatano, Akira Ishino, Ayum...
CSCW
2008
ACM
15 years 8 months ago
IM waiting: timing and responsiveness in semi-synchronous communication
Responsiveness, or the time until a person responds to communication, can affect the dynamics of a conversation as well as participants' perceptions of one another. In this p...
Daniel Avrahami, Susan R. Fussell, Scott E. Hudson
CSCW
2008
ACM
15 years 8 months ago
Deploying research technology in the home
Deploying research technology in real homes is an important way of uncovering new possibilities for design. We reflect upon the deployment of a simple technological arrangement wh...
Peter Tolmie, Andy Crabtree