8266 search results - page 58 / 1654 » Information About the Journal |
108
click to vote
SIGADA
2007
Springer
15 years 6 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
OZCHI
2006
ACM
15 years 5 months ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media. We discuss visitors’ interaction with installations and corresponding int...
ECSQARU
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
DPPI
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. Shareability is a design principle that refers to how a system, interface, or device engages a group of collocated, co-present users in shared interactions around the sam...
IJCAI
2003
15 years 1 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...