3379 search results - page 534 / 676 » Combinators for Interaction Nets |
150
click to vote
ICMI
2004
Springer
15 years 11 months 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 ...
161
click to vote
ICWL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
165
click to vote
ICWL
2004
Springer
15 years 11 months ago
2004
Springer
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
159
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
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...
139
click to vote
INLG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...