5499 search results - page 845 / 1100 » Generalized Rewrite Theories |
194
click to vote
PERVASIVE
2006
Springer
15 years 7 months ago
2006
Springer
Pervasive sensors in the home have a variety of applications including energy minimization, activity monitoring for elders, and tutors for household tasks such as cooking. Many of ...
271
click to vote
SIAMSC
2008
15 years 7 months ago
2008
Abstract. We propose and study a block-iterative projections method for solving linear equations and/or inequalities. The method allows diagonal component-wise relaxation in conjun...
180
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Modeling the beyond-topical aspects of relevance are currently gaining popularity in IR evaluation. For example, the discounted cumulated gain (DCG) measure implicitly models some...
219
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Collaborative Filtering (CF) requires user-rated training examples for statistical inference about the preferences of new users. Active learning strategies identify the most infor...
224
click to vote
SIGOPS
2008
15 years 7 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...