Sciweavers

10910 search results - page 1810 / 2182
» Input modeling using a computer algebra system
Sort
View
PDCAT
2005
Springer
16 years 10 days ago
A New Algorithm to Solve Synchronous Consensus for Dependent Failures
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal proba...
Jun Wang, Min Song
ICMI
2004
Springer
128views Biometrics» more  ICMI 2004»
16 years 7 days ago
GroupMedia: distributed multi-modal interfaces
In this paper, we describe the GroupMedia system, which uses wireless wearable computers to measure audio features, headmovement, and galvanic skin response (GSR) for dyads and gr...
Anmol Madan, Ron Caneel, Alex Pentland
182
Voted
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 7 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
EUROPAR
2001
Springer
15 years 11 months ago
Performance of High-Accuracy PDE Solvers on a Self-Optimizing NUMA Architecture
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
Sverker Holmgren, Dan Wallin
189
Voted
FGR
1998
IEEE
203views Biometrics» more  FGR 1998»
15 years 11 months ago
Automated Facial Expression Recognition Based on FACS Action Units
Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...
James Jenn-Jier Lien, Takeo Kanade, Jeffrey F. Coh...
« Prev « First page 1810 / 2182 Last » Next »