1567 search results - page 18 / 314 » A Mechanized Model of the Theory of Objects |
PODS
2010
ACM
15 years 6 months ago
2010
ACM
A scheme that publishes aggregate information about sensitive data must resolve the trade-off between utility to information consumers and privacy of the database participants. D...
139
click to vote
TRS
2008
15 years 1 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
CONTEXT
2007
Springer
15 years 7 months ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
133
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
113
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
In sponsored search, a number of advertising slots is available on a search results page, and have to be allocated among a set of advertisers competing to display an ad on the pag...