4650 search results - page 534 / 930 » Generating and evaluating evaluative arguments |
159
click to vote
CLUSTER
2006
IEEE
16 years 25 days ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
178
click to vote
IJCNN
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— One of the major challenges in both action generation for robotics and in the understanding of human motor control is to learn the “building blocks of movement genera...
174
click to vote
ELPUB
2006
ACM
16 years 22 days ago
2006
ACM
In this paper, we report on our experience with the creation of an automated, human-assisted process to extract metadata from documents in a large (>100,000), dynamically growi...
169
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
175
click to vote
ML
2006
ACM
16 years 22 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...