3907 search results - page 282 / 782 » Time, Knowledge, and Choice |
170
click to vote
PUC
2002
15 years 6 months ago
2002
: This paper discusses the user-centered location model used in comMotion. In this context, the location model refers to a set of learned places (destinations), which coincide to a...
158
click to vote
JOLLI
2010
15 years 5 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
167
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known co...
199
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Classifying nodes in networks is a task with a wide range of applications. It can be particularly useful in anomaly and fraud detection. Many resources are invested in the task of...
163
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...