1128 search results - page 166 / 226 » Classical Natural Deduction |
122
Voted
GI
2008
Springer
15 years 2 months ago
2008
Springer
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
It is well known that the classical linear predictive model for speech fails to take into account the quasi-periodic nature of the glottal flow typical of voiced speech. In this ...
149
Voted
AAMAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
85
Voted
ACS
2007
15 years 1 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
89
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The usual way to investigate the statistical properties of finitely generated subgroups of free groups, and of finite presentations of groups, is based on the so-called word-based ...