Sciweavers

908 search results - page 69 / 182
» Interactive regret minimization
Sort
View
CADE
2009
Springer
16 years 6 months ago
Does This Set of Clauses Overlap with at Least One MUS?
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
Éric Grégoire, Bertrand Mazure, C&ea...
CHI
2006
ACM
16 years 5 months ago
Navigating persistent audio
This paper gives an overview of RadioActive, a largescale asynchronous audio messaging platform for mobile devices. It supports persistent chat spaces that allow users to engage i...
Aaron Zinman, Judith S. Donath
VLSID
2006
IEEE
83views VLSI» more  VLSID 2006»
16 years 5 months ago
Parasitic Aware Routing Methodology Based on Higher Order RLCK Moment Metrics
In the multi-GHz frequency domain, inductive and capacitive parasitics of interconnects can cause significant 'ringing' or overdamping, which may lead to false switching...
Amitava Bhaduri, Ranga Vemuri
CHI
2004
ACM
16 years 5 months ago
A cognitive meta-analysis of design approaches to interruptions in intelligent environments
Minimizing interruptions to users is a crucial and acknowledged precondition for the adoption of new intelligent technologies such as ubiquitous and proactive computing. This pape...
Antti Oulasvirta, Antti Salovaara
CHI
2004
ACM
16 years 5 months ago
Passwords you'll never forget, but can't recall
We identify a wide range of human memory phenomena as potential certificates of identity. These "imprinting" behaviors are characterized by vast capacity for complex exp...
Daphna Weinshall, Scott Kirkpatrick