Sciweavers

1005 search results - page 148 / 201
» Can machines call people
Sort
View
SIGSOFT
2010
ACM
13 years 6 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
FECS
2009
164views Education» more  FECS 2009»
13 years 6 months ago
Development of a System for Teaching C/C++ Using Robots and Open Source Software in a CS1 Course
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
Amy Delman, Lawrence Goetz, Yedidyah Langsam, Theo...
CSCW
2011
ACM
13 years 4 months ago
Three sequential positions of query repair in interactions with internet search engines
Internet search engines display understanding or misunderstanding of user intent in and through the particular batches of results they retrieve and their perceived relevance. Yet ...
Robert J. Moore, Elizabeth F. Churchill, Raj Gopal...
ATAL
2003
Springer
14 years 2 months ago
Authoring scenes for adaptive, interactive performances
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
Patrick Gebhard, Michael Kipp, Martin Klesen, Thom...
ICFP
2009
ACM
14 years 9 months ago
A concurrent ML library in concurrent Haskell
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
Avik Chaudhuri