Sciweavers

4744 search results - page 126 / 949
» Connected Computing
Sort
View
IPSN
2004
Springer
15 years 8 months ago
Locally constructed algorithms for distributed computations in ad-hoc networks
In this paper we develop algorithms for distributed computation of a broad range of estimation and detection tasks over networks with arbitrary but fixed connectivity. The distri...
Dzulkifli S. Scherber, Haralabos C. Papadopoulos
HUC
1999
Springer
15 years 7 months ago
Using Spatial Co-location for Coordination in Ubiquitous Computing Environments
A problem in Ubiquitous Computing environments is the coordination of a multitude of different devices. This paper presents the RAUM1 -system that provides the basis for communicat...
Michael Beigl
APPINF
2003
15 years 4 months ago
Software Testing for Ubiquitous Computing Devices
We describe an approach for building and testing software for ubiquitous computing. The approach provides application-level emulators of ubiquitous devices. Since each emulator is...
Ichiro Satoh
ICCV
2007
IEEE
16 years 5 months ago
Efficient Computation of the Inverse Gradient on Irregular Domains
The inverse gradient problem, finding a scalar field f with a gradient near a given vector field g on some bounded and connected domain Rn , can be solved by means of a Poisson ...
Gunnar Farnebäck, Hans Knutsson, Joakim Rydel...
LICS
2008
IEEE
15 years 9 months ago
Focusing on Binding and Computation
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
Daniel R. Licata, Noam Zeilberger, Robert Harper