3719 search results - page 142 / 744 » order 2010 |
121
click to vote
TSE
2010
14 years 7 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
107
Voted
CICLING
2010
Springer
15 years 6 months ago
2010
Springer
Sentence compression is a valuable task in the framework of text summarization. In this paper we compress sentences from news articles from Dutch and Flemish newspapers written in ...
69
Voted
ITS
2010
Springer
15 years 2 months ago
2010
Springer
In examine the tutoring protocols of one expert human tutor tutoring 10 students in solving physics problems, four analyses reveal that he tutored the five good learners in differe...
123
Voted
NAACL
2010
14 years 10 months ago
2010
We propose the first unsupervised approach to the problem of modeling dialogue acts in an open domain. Trained on a corpus of noisy Twitter conversations, our method discovers dia...
99
Voted
LREC
2010
15 years 2 months ago
2010
Learning texts contain much implicit knowledge which is ideally presented to the learner in a structured manner - a typical example being definitions of terms in the text, which w...