5054 search results - page 367 / 1011 » How designers design and program interactive behaviors |
202
click to vote
PUC
2010
15 years 2 months ago
2010
We have designed a highly versatile badge system to facilitate a variety of interaction at large professional or social events and serve as a platform for conducting research into ...
228
click to vote
HPCA
2006
IEEE
16 years 8 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
190
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
376
click to vote
INFOCOM
2011
IEEE
14 years 11 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
182
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...