3664 search results - page 136 / 733 » Language Technology for eLearning |
145
click to vote
NGITS
1999
Springer
15 years 7 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
110
click to vote
CE
2008
15 years 3 months ago
2008
The work aims to improve the assessment of creative problem-solving in science education by employing language technologies and computational
117
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
123
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
104
click to vote
SIGIR
2002
ACM
15 years 2 months ago
2002
ACM
The optimal settings of retrieval parameters often depend on both the document collection and the query, and are usually found through empirical tuning. In this paper, we propose ...