Sciweavers

521 search results - page 63 / 105
» Designing technology to aid cognition
Sort
View
ATAL
2005
Springer
15 years 3 months ago
Extending the recognition-primed decision model to support human-agent collaboration
There has been much research investigating team cognition, naturalistic decision making, and collaborative technology as it relates to real world, complex domains of practice. How...
Xiaocong Fan, Shuang Sun, Michael D. McNeese, John...
CAV
2000
Springer
138views Hardware» more  CAV 2000»
15 years 1 months ago
Counterexample-Guided Abstraction Refinement
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan ...
ASSETS
2006
ACM
15 years 1 months ago
Loudmouth: : modifying text-to-speech synthesis in noise
Current speech synthesis technology is difficult to understand in everyday noise situations. Although there is a significant body of work on how humans modify their speech in nois...
Rupal Patel, Michael Everett, Eldar Sadikov
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 3 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
FPGA
2009
ACM
233views FPGA» more  FPGA 2009»
15 years 4 months ago
FPCNA: a field programmable carbon nanotube array
Carbon nanotubes (CNTs), with their unique electronic properties, are promising materials for building nanoscale circuits. In this paper, we present a new CNT-based FPGA architect...
Chen Dong, Scott Chilstedt, Deming Chen