Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Ale...
Observers adjusted a pointer to match the depicted distance of a monocular virtual object viewed in a see-through, head-mounted display. Distance information was available through...
Jeffrey McCandless, Stephen R. Ellis, Bernard D. A...
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...