3444 search results - page 221 / 689 » A Theory of Object-Oriented Design |
187
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
157
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Sensing affect raises critical privacy concerns, which are examined here using ethical theory, and with a study that illuminates the connection between ethical theory and privacy....
147
click to vote
BCSHCI
2007
15 years 8 months ago
2007
This paper investigates the issue of trust mediation in eBanking. The card sorting technique was used to probe factors influencing subjects’ attitudes to alternative e-banking h...
158
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
180
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...