2934 search results - page 124 / 587 » Universality in Multi-Agent Systems |
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
IJET
2006
14 years 10 months ago
2006
One of the primary goals of undergraduate studies programs is to promote the professional and personal growth and success of their students. First year students, however, often suf...
VR
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we introduce a virtual locomotion system that allows navigation within any large-scale virtual environment (VE) by real walking. In contrast to [5] we have developed...
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer