3342 search results - page 59 / 669 » Symbolic Robustness Analysis |
143
click to vote
TNN
1998
15 years 5 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
178
click to vote
PCM
2010
Springer
15 years 4 months ago
2010
Springer
We propose a novel statistical descriptor, Multiple References Histogram Matrix (MRHM), for robust shape retrieval, especially for degraded shape images. For each shape image, MRHM...
132
click to vote
DAGSTUHL
1990
15 years 7 months ago
1990
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
190
click to vote
FASE
2011
Springer
14 years 9 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
133
click to vote
ICANN
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...