217 search results - page 11 / 44 » Display Calculi for Logics with Relative Accessibility Relat... |
VIS
2007
IEEE
14 years 9 months ago
2007
IEEE
Abstract-- Multi-projector displays today are automatically registered, both geometrically and photometrically, using cameras. Existing registration techniques assume pre-calibrate...
CMMR
2009
Springer
14 years 14 days ago
2009
Springer
A persistent concern in the field of auditory display design has been how to effectively use environmental sounds, which are naturally occurring familiar non-speech, non-musical s...
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
At first glance, multi-element forearm mounted vibrotactile displays would appear to have considerable potential as an output device for mobile computing. The devices are small, r...
DEXA
1995
Springer
13 years 11 months ago
1995
Springer
- In order to accomplish independence on the logical data organization, a relational DBMS must be capable of interpreting query language sentences which reference attributes belong...
CSL
2004
Springer
13 years 11 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...