2293 search results - page 66 / 459 » Temporal Logic in Information Systems |
ACISICIS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Although temporal context may significantly affect the popularity of items and user preference over items, traditional information filtering techniques such as recommende...
FUIN
2000
14 years 9 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
AIML
2006
14 years 11 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
ENTCS
2007
14 years 9 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
Collaborative Filtering (CF) algorithms, used to build webbased recommender systems, are often evaluated in terms of how accurately they predict user ratings. However, current eva...