Sciweavers

5777 search results - page 1025 / 1156
» The palladio component model
Sort
View
ICA
2004
Springer
15 years 11 months ago
3D Spatial Analysis of fMRI Data on a Word Perception Task
We discuss a 3D spatial analysis of fMRI data taken during a combined word perception and motor task. The event - based experiment was part of a study to investigate the network of...
Ingo R. Keck, Fabian J. Theis, Peter Gruber, Elmar...
ICMI
2004
Springer
158views Biometrics» more  ICMI 2004»
15 years 11 months ago
The virtual haptic back for palpatory training
This paper discusses the Ohio University Virtual Haptic Back (VHB) project, including objectives, implementation, and initial evaluations. Haptics is the science of human tactile ...
Robert L. Williams II, Mayank Srivastava, John N. ...
165
Voted
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 11 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 11 months 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
177
Voted
OOPSLA
2004
Springer
15 years 11 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
« Prev « First page 1025 / 1156 Last » Next »