22 search results - page 5 / 5 » Providing elegant peripheral awareness |
IWEC
2008
13 years 6 months ago
2008
Surround displays are used in simulation, training, and other applications based on virtual worlds. A wide-view display engages the viewer's peripheral vision, providing a mor...
CSL
2010
Springer
13 years 6 months ago
2010
Springer
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...