10454 search results - page 1742 / 2091 » Modeling the Experience of Emotion |
173
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
169
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
174
click to vote
ICMI
2004
Springer
16 years 7 days ago
2004
Springer
This paper discusses the Ohio University Virtual Haptic Back (VHB) project, including objectives, implementation, and initial evaluations. Haptics is the science of human tactile ...
223
click to vote
ICSOC
2004
Springer
16 years 7 days ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
170
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...