7529 search results - page 341 / 1506 » The Modula-3 Type System |
204
click to vote
CLEF
2011
Springer
14 years 6 months ago
2011
Springer
Wikipedia vandalism identification is a very complex issue, which is now mostly solved manually by volunteers. This paper presents the main components of a system built by our grou...
206
click to vote
EMNLP
2011
14 years 6 months ago
2011
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
351
click to vote
PROPOR
2012
Springer
14 years 2 months ago
2012
Springer
Fill-in-the-blank questions are one of the main assessment devices in REAP.PT tutoring system. The problem of automatically generating the stems, i.e. the sentences that serve as b...
212
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— XML is commonly supported by SQL database systems. However, existing mappings of XML to tables can only deliver satisfactory query performance for limited use cases. In this pa...
172
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...