Sciweavers

3115 search results - page 558 / 623
» Interactive Speech Understanding
Sort
View
113
Voted
ICMI
2007
Springer
122views Biometrics» more  ICMI 2007»
15 years 10 months ago
Designing audio and tactile crossmodal icons for mobile devices
This paper reports an experiment into the design of crossmodal icons which can provide an alternative form of output for mobile devices using audio and tactile modalities to commu...
Eve E. Hoggan, Stephen A. Brewster
157
Voted
LFCS
2007
Springer
15 years 10 months ago
Cut Elimination in Deduction Modulo by Abstract Completion
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
Guillaume Burel, Claude Kirchner
162
Voted
BIBE
2006
IEEE
184views Bioinformatics» more  BIBE 2006»
15 years 9 months ago
A Language Modeling Text Mining Approach to the Annotation of Protein Community
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...
Xiaodan Zhang, Daniel Duanqing Wu, Xiaohua Zhou, X...
129
Voted
AOSD
2006
ACM
15 years 9 months ago
Presenting crosscutting structure with active models
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
Wesley Coelho, Gail C. Murphy
HASKELL
2006
ACM
15 years 9 months ago
Statically typed linear algebra in Haskell
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
Frederik Eaton