3238 search results - page 210 / 648 » On the Computational Interpretation of Negation |
170
click to vote
ITICSE
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
136
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
Robots that interact with humans face-to-face using natural language need to be responsive to the way humans use language in those situations. We propose a psychologicallyinspired...
147
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
194
click to vote
TCC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
189
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Assisted living means providing the assisted with custom services, specific to their needs and capabilities. Computer monitoring can supply some of these services, be it ...