1534 search results - page 10 / 307 » Error Reporting Logic |
101
Voted
KR
1992
Springer
15 years 4 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
115
Voted
COMMA
2008
15 years 1 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
97
Voted
AMTA
2004
Springer
15 years 5 months ago
2004
Springer
We describe the use of a translation memory in the context of a reconstruction of a landmark application of machine translation, the Canadian English to French weather report trans...
IFIP
1999
Springer
15 years 4 months ago
1999
Springer
We describe a new method for design error diagnosis in digital circuits, that doesn’t use any error model. A diagnostic specific pre-analysis of the circuit extracts a subcircui...
80
Voted
VTS
2000
IEEE
15 years 4 months ago
2000
IEEE
ESIM is a simulation tool that integrates logic fault and design error simulation for logic circuits. It targets several design error and fault models, and uses a novel mix of sim...