679 search results - page 114 / 136 » Hybrid Personalization For Recommendations |
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
PVLDB
2008
13 years 8 months ago
2008
Online communities like Flickr, del.icio.us and YouTube have established themselves as very popular and powerful services for publishing and searching contents, but also for ident...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...