4708 search results - page 341 / 942 » Generating the Structure of Argument |
223
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
196
click to vote
IJDAR
2011
15 years 1 months ago
2011
Although publicly-available, ground-truthed corpora have proven useful for training, evaluating, and comparing recognition systems in many domains, the availability of such corpor...
215
click to vote
MICRO
2003
IEEE
16 years 6 hour ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
174
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
Many documents such as Web documents or XML files have tree structures. A term tree is an unordered tree pattern consisting of internal variables and tree structures. In order to ...
181
Voted
MM
1996
ACM
15 years 11 months ago
1996
ACM
Narrative structure models are useful tools for understanding how and why narratives of any medium affect an audience's level of participation in their role of story reconstr...