7404 search results - page 361 / 1481 » New Tools in Education |
160
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
154
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
A new language model for speech recognition inspired by linguistic analysis is presented. The model develops hidden hierarchical structure incrementally and uses it to extract mea...
150
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we name some of the advantages of virtual laboratories; and propose that a Behaviours Virtual Laboratory should b e useful for bo th biologists and AI researchers, o...
213
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We rephrase the problem of 3D reconstruction from images in terms of intersections of projections of orbits of custom built Lie groups actions. We then use an algorithmic method b...
171
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a new family of one-player games, involving the movement of coins from one configuration to another. Moves are restricted so that a coin can be placed only in a posit...