Sciweavers

329 search results - page 28 / 66
» Demonstration of assembly work using augmented reality
Sort
View
111
Voted
ICFP
2004
ACM
15 years 9 months ago
Verification of safety properties for concurrent assembly code
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
Dachuan Yu, Zhong Shao
OOPSLA
2009
Springer
15 years 4 months ago
Parallel programming with object assemblies
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cern&...
ICMI
2004
Springer
157views Biometrics» more  ICMI 2004»
15 years 3 months ago
Collaboration in parallel worlds
We present a novel paradigm for human to human asymmetric collaboration. There is a need for people at geographically separate locations to seamlessly collaborate in real time as ...
Ashutosh Morde, Jun Hou, S. Kicha Ganapathy, Carlo...
ACMACE
2005
ACM
15 years 3 months ago
The CaveUT system: immersive entertainment based on a game engine
We describe the development of the CaveUT system, which is a software supporting immersive virtual reality installations based on the Unreal Tournament game engine. CaveUT impleme...
Jeffrey Jacobson, Marc Le Renard, Jean-Luc Lugrin,...
93
Voted
ATAL
2010
Springer
14 years 10 months ago
Augmenting appearance-based localization and navigation using belief update
Appearance-based localization compares the current image taken from a robot's camera to a set of pre-recorded images in order to estimate the current location of the robot. S...
George Chrysanthakopoulos, Guy Shani