Sciweavers

1052 search results - page 18 / 211
» Foundations for Virtual Types
Sort
View
AMAST
2004
Springer
14 years 27 days ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
CIE
2008
Springer
13 years 9 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
VRST
2003
ACM
14 years 23 days ago
Information-rich virtual environments: theory, tools, and research agenda
Virtual environments (VEs) allow users to experience and interact with a rich sensory environment, but most virtual worlds contain only sensory information similar to that which w...
Doug A. Bowman, Chris North, Jian Chen, Nicholas F...
PRESENCE
2008
88views more  PRESENCE 2008»
13 years 7 months ago
Virtual Audio Systems
To be immersed in a virtual environment, the user must be presented with plausible sensory input including auditory cues. A virtual (three-dimensional) audio display aims to allow...
Bill Kapralos, Michael R. M. Jenkin, Evangelos E. ...
HAPTICS
2007
IEEE
14 years 1 months ago
Incorporating Geometric Algorithms in Impedance- and Admittance-Type Haptic Rendering
Geometric (proxy-based) haptic rendering algorithms are widely used in impedance-type haptic rendering. Such methods are useful for developing complex virtual environment because ...
Ryo Kikuuwe, Hideo Fujimoto