3238 search results - page 34 / 648 » On the Computational Interpretation of Negation |
DEON
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
MHCI
2005
Springer
14 years 3 months ago
2005
Springer
This paper reports the user study and design of a concept to improve mobile messaging for teens. A study of current mobile phone use by teens (16-18) showed that, while they prefe...
CONCUR
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
SLP
1993
13 years 11 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
RTA
2010
Springer
14 years 1 months ago
2010
Springer
Matrix interpretations can be used to bound the derivational complexity of rewrite systems. We present a criterion that completely characterizes matrix interpretations that are pol...