1792 search results - page 86 / 359 » What Are We Arguing About |
IMC
2003
ACM
14 years 3 months ago
2003
ACM
With the rapid growth in the popularity of and the research interest in peer-to-peer (P2P) systems, an interesting question is what the quality of network connectivity between pee...
IJCAI
2007
13 years 11 months ago
2007
We investigate legal and philosophical notions of privacy in the context of artificial agents. Our analysis utilizes a normative account of privacy that defends its value and the ...
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
13 years 10 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we propose a schema and framework for recording and managing attention metadata. This framework is intended to capture, manage, and re-use data about attention users...