2646 search results - page 333 / 530 » Local Type Inference |
201
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
There is an increasing need for various web-service, e-commerce and e-business sites to provide personalized recommendations to on-line customers. This paper proposes a new type o...
173
click to vote
ECTEL
2009
Springer
15 years 11 months ago
2009
Springer
Work-integrated learning (WIL) poses unique challenges for user model design: on the one hand users’ knowledge levels need to be determined based on their work activities – tes...
178
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for F...
180
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
137
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...