Sciweavers

1333 search results - page 77 / 267
» Termination Detection of Local Computations
Sort
View
PERCOM
2006
ACM
14 years 8 months ago
Enhancing Bluetooth Connectivity with RFID
One of the challenges in pervasive computing is communication between a mobile user's terminal and the continuously changing local environment. Bluetooth is one potential opt...
Timo Salminen, Simo Hosio, Jukka Riekki
ISVC
2007
Springer
14 years 3 months ago
Image Compression Using Data-Dependent Triangulations
We present a method to speed up the computation of a high-quality data-dependent triangulation approximating an image using simulated annealing by probability distributions guided ...
Burkhard Lehner, Georg Umlauf, Bernd Hamann
DSVIS
2005
Springer
14 years 2 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
CG
2010
Springer
13 years 8 months ago
Medley of spirals from cyclic cellular automata
Cyclic cellular automata on the integer planar lattice are known to typically evolve through distinct phases ending with minimal periodic terminal states that usually appear as in...
Clifford A. Reiter
ASSETS
2010
ACM
13 years 9 months ago
Blind guidance using mobile computer vision: a usability study
We present a study focusing on the usability of a wayfinding and localization system for persons with visual impairment. This system uses special color markers, placed at key loca...
Roberto Manduchi, Sri Kurniawan, Homayoun Bagherin...