4325 search results - page 188 / 865 » Incremental computation with names |
142
click to vote
GD
2005
Springer
16 years 1 days ago
2005
Springer
Dynamic processes frequently occur in many applications. Visualizations of dynamically evolving data, for example as part of the data analysis, are typically restricted to a cumula...
157
click to vote
ICCS
2005
Springer
16 years 1 days ago
2005
Springer
In this article, we present an investigation case study based on an implementation and performance analysis of three different cache coherence strategies over a real wireless envi...
159
click to vote
CIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we propose a naive statistics method for constructing a personalized recommendation system for the Electronic Program Guide (EPG). The idea is based on a p...
316
click to vote
EUSAI
2003
Springer
15 years 11 months ago
2003
Springer
This paper discusses a computer vision based approach for enhancing a physical environment with machine perception. Using techniques for assessing the distance and orientation of a...
153
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...