2519 search results - page 215 / 504 » Reasoning with Textual Cases |
179
click to vote
AIEDU
2010
15 years 4 months ago
2010
An emerging trend in classrooms is the use of networked visual argumentation tools that allow students to discuss, debate, and argue with one another in a synchronous fashion about...
188
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
159
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
180
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
189
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...