8008 search results - page 1452 / 1602 » Computer-Aided Language Processing |
112
Voted
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
105
click to vote
ICADL
2010
Springer
15 years 2 months ago
2010
Springer
Maintaining and extending large thesauri is an important challenge facing digital libraries and IT businesses alike. In this paper we describe a method building on and extending ex...
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
Many Web applications provide personalized and adapted services and contents to their users. As these Web applications are becoming increasingly connected, a new interesting challe...
ITS
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
WIKIS
2009
ACM
15 years 2 months ago
2009
ACM
Due to the simplicity, attractiveness and effectiveness for collaborative authoring and knowledge management, wikis are now massively disseminated and used in different domains. T...