1888 search results - page 297 / 378 » Proof theory and computational analysis |
CHI
2008
ACM
16 years 8 days ago
2008
ACM
We study the development of common ground in an emergency management planning task. Twelve three-person multi-role teams performed the task with a paper prototype in a controlled ...
VLSID
2004
IEEE
16 years 7 days ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
We study blind estimation of transmission power of a node based on received power measurements obtained under wireless fading. Specifically, the setup consists of a set of monitor...
DCC
2005
IEEE
15 years 11 months ago
2005
IEEE
We analyze the technique for reducing the complexity of entropy coding consisting in the a priori grouping of the source alphabet symbols, and in dividing the coding process in tw...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
We present results from an experiment that studied the information search behavior of younger and older adults in a medical decision-making task. To study how different combinatio...