Sciweavers

217 search results - page 15 / 44
» Some Thoughts on Using Computers to Teach Argumentation
Sort
View
COLING
2002
14 years 9 months ago
Learning Verb Argument Structure from Minimally Annotated Corpora
In this paper we investigate the task of automatically identifying the correct argument structure for a set of verbs. The argument structure of a verb allows us to predict the rel...
Anoop Sarkar, Woottiporn Tripasai
ESOP
2005
Springer
15 years 3 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
ITS
2010
Springer
178views Multimedia» more  ITS 2010»
15 years 2 months ago
Learning by Teaching SimStudent
The purpose of the current study was to test whether we could create a system where students can learn by teaching a live machine-learning agent. SimStudent is a computer agent tha...
Noboru Matsuda, Victoria Keiser, Rohan Raizada, Ga...
CSR
2008
Springer
14 years 11 months ago
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
Eric Allender
EUROPAR
2005
Springer
15 years 3 months ago
Replication Predicates for Dependent-Failure Algorithms
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
Flavio Paiva Junqueira, Keith Marzullo