2722 search results - page 141 / 545 » Automating Language Evolution |
172
click to vote
ICADL
2007
Springer
15 years 11 months ago
2007
Springer
Digital libraries have untapped potential for supporting language teaching and learning. This paper describes a new scheme for automating topicspecific language learning using a sp...
137
Voted
CSL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It has been proved by Niwi´nski and Walukiewicz that a deterministic tree language is either Π1 1 -complete or it is on the level Π0 3 of the Borel hierarchy, and that...
122
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
229
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
116
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
We examine the problems with automated recommendation systems when information about user preferences is limited. We equate the problem to one of content similarity measurement an...