2775 search results - page 267 / 555 » Visualizing abstract events |
178
click to vote
ENTCS
2006
15 years 7 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...
204
click to vote
CHI
2010
ACM
16 years 2 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 ...
194
click to vote
UIST
2006
ACM
16 years 1 months 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...
172
click to vote
ACMACE
2005
ACM
16 years 25 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....
186
click to vote
APN
2005
Springer
16 years 24 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...