Sciweavers

204 search results - page 16 / 41
» aim 1998
Sort
View
WDAG
1998
Springer
107views Algorithms» more  WDAG 1998»
14 years 25 days ago
Transient Fault Detectors
We present fault detectors for transient faults, (i.e. corruptions of the memory of the processors, but not of the code of the processors). We distinguish fault detectors for tasks...
Joffroy Beauquier, Sylvie Delaët, Shlomi Dole...
TABLEAUX
2000
Springer
14 years 5 days ago
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
Fabio Massacci, Francesco M. Donini
AAAI
1998
13 years 10 months ago
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems
It is well known that any non-binary discrete constraint satisfaction problem (CSP) can be translated into an equivalent binary CSP. Two translations are known: the dual graph tra...
Fahiem Bacchus, Peter van Beek
ACL
1998
13 years 10 months ago
HPSG-Style Underspecified Japanese Grammar with Wide Coverage
This paper describes a wide-coverage Japanese grammar based on HPSG. The aim of this work is to see the coverage and accuracy attainable using an underspecified grammar. Underspec...
Yutaka Mitsuishi, Kentaro Torisawa, Jun-ichi Tsuji...
ACL
1998
13 years 10 months ago
Building Accurate Semantic Taxonomies from Monolingual MRDs
This paper presents a method that conbines a set of unsupervised algorithms in order to accurately build large taxonomies from any machine-readable dictionary (MRD). Our aim is to...
German Rigau, Eneko Agirre