2654 search results - page 288 / 531 » Designing Interfaces for art applications |
168
click to vote
FORTE
1994
15 years 8 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
202
click to vote
FTTCS
2006
15 years 6 months ago
2006
Data sets in large applications are often too massive to fit completely inside the computer's internal memory. The resulting input/output communication (or I/O) between fast ...
147
click to vote
AAI
2005
15 years 6 months ago
2005
The CoAKTinG project aims to advance the state of the art in collaborative mediated spaces for the Semantic Grid. This paper presents an overview of the hypertext and knowledge bas...
189
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract – There is a growing interest in physical layer security. Recent work has demonstrated that wireless devices can generate a shared secret key by exploiting variations in...
176
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...