3818 search results - page 70 / 764 » Learning from Order Examples |
153
Voted
PTS
2010
14 years 10 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
110
click to vote
DAGSTUHL
2010
15 years 1 months ago
2010
While tensors occur in many areas of science and engineering, little has been done to visualize tensors with order higher than two. Tensors of higher orders can be used for exampl...
73
Voted
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
Engagement is an important aspect of effective learning. Time spent using an e-Learning system is not quality time if the learner is not engaged. Tracking student disengagement wou...
89
Voted
FLAIRS
2006
15 years 1 months ago
2006
Learning tasks from a single demonstration presents a significant challenge because the observed sequence is inherently an incomplete representation of the procedure that is speci...
102
click to vote
ACL
2009
14 years 10 months ago
2009
We consider the problem of learning context-dependent mappings from sentences to logical form. The training examples are sequences of sentences annotated with lambda-calculus mean...