Sciweavers

6388 search results - page 340 / 1278
» Knowledge and Information
Sort
View
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
SIGKDD
2008
138views more  SIGKDD 2008»
15 years 6 months ago
Learning preferences of new users in recommender systems: an information theoretic approach
Recommender systems are a nice tool to help nd items of interest from an overwhelming number of available items. Collaborative Filtering (CF), the best known technology for recomme...
Al Mamunur Rashid, George Karypis, John Riedl
183
Voted
JCS
2007
80views more  JCS 2007»
15 years 6 months ago
Secure information flow for a concurrent language with scheduling
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
Gilles Barthe, Leonor Prensa Nieto
JIB
2007
75views more  JIB 2007»
15 years 6 months ago
Mapping protein information to disease terminologies
In order to improve the accessibility of genomic and proteomic information to medical researchers, we have developed a procedure to link biological information on proteins involve...
Anaïs Mottaz, Yum Lina Yip, Patrick Ruch, Ann...
DEBU
2002
161views more  DEBU 2002»
15 years 6 months ago
Indexing and Retrieval of Historical Aggregate Information about Moving Objects
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
Dimitris Papadias, Yufei Tao, Jun Zhang, Nikos Mam...