2701 search results - page 162 / 541 » On the form of witness terms |
153
click to vote
MPC
1992
Springer
15 years 10 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
160
click to vote
POS
1990
Springer
15 years 10 months ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
156
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This paper introduces algorithms for learning how to trade using insider (superior) information in Kyle's model of financial markets. Prior results in finance theory relied o...
164
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Recommender Systems belong to a class of systems intended to assist individuals make evaluations about entities in meaningful ways. In this paper we discuss the issues in the desi...
164
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
Folksonomies provide a free source of keywords describing web resources; however, these keywords are free form and their semantics spans multiple contextual dimension. In this pap...