2018 search results - page 193 / 404 » Code Normal Forms |
114
click to vote
EWMF
2003
Springer
15 years 8 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...
119
click to vote
ICNP
2000
IEEE
15 years 7 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 ...
137
click to vote
CSL
2000
Springer
15 years 7 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...
125
click to vote
DEXA
2000
Springer
15 years 7 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...
ICDT
1990
ACM
15 years 7 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...