3238 search results - page 176 / 648 » On the Computational Interpretation of Negation |
178
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Different data acquisition methods are tailored at extracting particular characteristics from a scene and by combining their results a more robust scene description can be created...
161
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe a formative study to learn how one chronically ill population thinks about food, mentally organizes food, and interprets consumption-level icons. We fou...
188
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Main topic of this work is development of educational games that can be used on mobile devices. Paper describes a novel approach to educational game defining and interpretation. I...
154
click to vote
BIRTHDAY
2005
Springer
16 years 2 days ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
155
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...