4424 search results - page 373 / 885 » Semantic virtual environments |
174
click to vote
LFP
1990
15 years 8 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
197
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
190
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes techniques to allow both the visualization of hidden objects, and removal of real objects, for a mobile augmented reality user. A gesture based technique is a...
162
Voted
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The age of technology has changed the way that surgeons are being trained. Traditional methodologies for training can include lecturing, shadowing, apprenticing, and developing...
173
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Dynamic technology-driven circumstances fortify academic librarians’ reconsideration of their professional purposes, processes and relationships. In response, California Polytec...