3379 search results - page 40 / 676 » Combinators for Interaction Nets |
114
click to vote
LREC
2008
15 years 1 months ago
2008
This presentation focuses on the semi-automatic extension of Arabic WordNet (AWN) using lexical and morphological rules and applying Bayesian inference. We briefly report on the c...
HHCI
2000
15 years 3 months ago
2000
With the increasing availability and quality of auditory and haptic means of interaction, it is not unusual to incorporate many modalities in interfaces rather than the purely vis...
EMNLP
2008
15 years 1 months ago
2008
Most attempts to integrate FrameNet in NLP systems have so far failed because of its limited coverage. In this paper, we investigate the applicability of distributional and WordNe...
AI
2002
Springer
14 years 11 months ago
2002
Springer
TD-Gammon is a neural network that is able to teach itself to play backgammon solely by playing against itself and learning from the results. Starting from random initial play, TD...
133
click to vote
MKM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...