Sciweavers

1555 search results - page 14 / 311
» When the implication is not to design (technology)
Sort
View
ASPLOS
2009
ACM
14 years 2 months ago
Architectural implications of nanoscale integrated sensing and computing
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
Constantin Pistol, Christopher Dwyer, Alvin R. Leb...
WWW
2007
ACM
14 years 8 months ago
Formalization, User Strategy And Interaction Design: Users? Behaviour With Discourse Tagging Semantics
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
PERSUASIVE
2009
Springer
14 years 2 months ago
Designing empathic computers: the effect of multimodal empathic feedback using animated agent
Experiencing emotional distress is the number one reason why people who are undergoing behaviour modification (e.g. quitting smoking, dieting) suffer from relapses. Providing emot...
Hien Nguyen, Judith Masthoff
CHI
2002
ACM
14 years 8 months ago
When conventions collide: the tensions of instant messaging attributed
We discuss findings from observation, interviews, and textual analysis of instant messaging use in a university research lab setting. We propose a method for characterizing the te...
Amy Voida, Wendy Newstetter, Elizabeth D. Mynatt
DAC
2003
ACM
14 years 8 months ago
Checking satisfiability of a conjunction of BDDs
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
Robert F. Damiano, James H. Kukula