2763 search results - page 259 / 553 » The Dangerous 'All' in Specifications |
171
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Redescription mining is a newly introduced data mining problem that seeks to find subsets of data that afford multiple definitions. It can be viewed as a generalization of associa...
167
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We explore the feasibility of muscle-computer interfaces (muCIs): an interaction methodology that directly senses and decodes human muscular activity rather than relying on physic...
145
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Information workers often have to balance many tasks and interruptions. In this work, we explore peripheral display techniques that improve multitasking efficiency by helping user...
161
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
As part of a focus on electronic publications, we undertook an exploratory study of how people saved and used the information they encountered while reading. In particular, we wan...
159
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...