Sciweavers

4744 search results - page 126 / 949
» Connected Computing
Sort
View
IPSN
2004
Springer
15 years 11 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 10 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 7 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 8 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
16 years 23 days 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