9504 search results - page 1663 / 1901 » Dynamic Substitution Model |
140
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...
153
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
135
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
117
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose Responsive Multimedia System (RMS) for a virtual storytelling. It consists of three key components; Multi-modal Tangible User Interface (MTUI), a Unified ...
129
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...