Conventional computation models restrict to particular data structures to represent states of a computation, e.g. natural numbers, s, stacks, etc. Gurevich's Abstract State Ma...
In this paper we study the problem of computing an upward straight-line embedding of a directed graph G into a point set S, i.e. a planar drawing of G such that each vertex is map...
Carla Binucci, Emilio Di Giacomo, Walter Didimo, A...
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults,...
Shang-Wen Cheng, Vahe Poladian, David Garlan, Brad...
Abstract: In this paper, we describe a prototype of an adaptive indoor navigation system which is based on mobile devices and navigates visually impaired people through an unknown ...
In this paper, we propose a high-quality multi-view depth generation method using multiple color and depth cameras. After we capture low-resolution depth maps by three TOF cameras...