900 search results - page 114 / 180 » On the observational theory of the CPS-calculus |
146
click to vote
RELMICS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
172
click to vote
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
164
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Contextual retrieval is a critical technique for facilitating many important applications such as mobile search, personalized search, PC troubleshooting, etc. Despite of its impor...
173
click to vote
AMDO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
143
click to vote
COLT
2004
Springer
15 years 11 months ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....