1418 search results - page 80 / 284 » How to Explain Mistakes |
TAL
2010
Springer
13 years 7 months ago
2010
Springer
The lack of large-scale, freely available and durable lexical resources, and the consequences for NLP, is widely acknowledged but the attempts to cope with usual bottlenecks preven...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
ACIIDS
2012
IEEE
12 years 5 months ago
2012
IEEE
This paper aims to present the idea of robotics leadership. By investigating leadership definitions and identifying domains where humans have failed to lead, this paper proposes h...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
NIPS
2004
13 years 11 months ago
2004
We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...