2775 search results - page 267 / 555 » Visualizing abstract events |
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
188
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We present a novel integration of a brain-computer interface (BCI) with a multi-touch surface. BCIs based on the P300 paradigm often use a visual stimulus of a flashing character ...
175
click to vote
UIST
2006
ACM
16 years 18 days ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
158
click to vote
ACMACE
2005
ACM
16 years 6 days ago
2005
ACM
HP Laboratories, GWR, Bristol University, ASL and Panasonic Semiconductor are collaborating to explore the potential of Digital Audio Broadcasting through a series of user trials....
164
click to vote
APN
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...