3378 search results - page 300 / 676 » A universe of binding and computation |
171
Voted
AIS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents on-going research towards understanding the discourse and workspace in computer mediated interactions. More specifically we present the development of a series...
169
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
186
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
209
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
173
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
People with motor impairments can benefit greatly from being able to take part in Massively Multiplayer On-line Games, such as World of Warcraft. We are investigating how to use e...