3912 search results - page 572 / 783 » Adaptive Navigation Support |
ICPPW
2005
IEEE
14 years 4 months ago
2005
IEEE
— In a typical mobile ad hoc network, mobile computing devices wander autonomously and communicate via temporary links in a self-organized computing system without any central ad...
MOBIQUITOUS
2005
IEEE
14 years 4 months ago
2005
IEEE
Applications designed for ubiquitous computing environments need to be coded in a specific way in order to fully realize the benefits of ubiquitous computing. Currently, applicati...
NCA
2005
IEEE
14 years 4 months ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
VISUALIZATION
2005
IEEE
14 years 4 months ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
HASKELL
2005
ACM
14 years 4 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...