202 search results - page 26 / 41 » Logical Mobility and Locality Types |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
Although web applications are gaining popularity on mobile wireless PDAs, web browsers on these systems can be quite slow and often lack adequate functionality to access many web ...
NORDICHI
2004
ACM
14 years 1 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
AVSS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...
SEBD
2007
13 years 9 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
TYPES
1998
Springer
13 years 11 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...