8828 search results - page 1190 / 1766 » Formal methods in practice |
173
click to vote
AAAI
1994
15 years 8 months ago
1994
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
173
Voted
MVA
1996
15 years 8 months ago
1996
The issue of graph recognition has been not always investigated until today though the subjects on the document image understanding are very interest and have proposed many method...
185
click to vote
NIPS
1996
15 years 8 months ago
1996
In pattern recognition, statistical modeling, or regression, the amount of data is a critical factor affecting the performance. If the amount of data and computational resources ar...
194
click to vote
COLING
1990
15 years 8 months ago
1990
In machine translation, parsing of long English sentences still causes some problems, whereas for short sentences a good machine translation system usually can generate readable t...
204
Voted
WCE
2007
15 years 8 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...