2018 search results - page 193 / 404 » Code Normal Forms |
153
click to vote
EWMF
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Recommender systems suggest objects to users. One form recommends documents or other objects to users searching information on a web site. A recommender system can be use...
142
click to vote
ICNP
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a protocol for maintaining multiple paths to each destination in a network of processes. For each destination, each process in the network maintains a set of neighbors ...
188
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
167
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The relational model, as proposed by Codd, contained the concept of relations as tables composed of tuples of single valued attributes taken from a domain. In most of the early lit...
130
click to vote
ICDT
1990
ACM
15 years 10 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...