Sciweavers

2 search results - page 1 / 1
» Towards a Noise-Tolerant, Representation-Independent Mechani...
Sort
View
COLING
2002
13 years 4 months ago
Towards a Noise-Tolerant, Representation-Independent Mechanism for Argument Interpretation
We describe a mechanism for the interpretation of arguments, which can cope with noisy conditions in terms of wording, beliefs and argument structure. This is achieved through the...
Ingrid Zukerman, Sarah George
KBSE
2000
IEEE
13 years 9 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...