1458 search results - page 140 / 292 » Monads for incremental computing |
113
Voted
ICCS
2005
Springer
15 years 9 months 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...
125
Voted
CIS
2005
Springer
15 years 9 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...
278
Voted
EUSAI
2003
Springer
15 years 8 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...
115
click to vote
ATVA
2008
Springer
15 years 5 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...
105
Voted
FECS
2007
15 years 5 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...