1172 search results - page 153 / 235 » Approximate Reasoning Based on Similarity |
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
FOCI
2007
IEEE
14 years 2 months ago
2007
IEEE
AiNet is an immune-inspired algorithm for data compression, i.e. the reduction of redundancy in data sets. In this paper we investigate the compression quality of aiNet. Therefore,...
ESOP
2006
Springer
14 years 1 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
IJCAI
1997
13 years 11 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
It is traditionally assumed that various sources of linguistic knowledge and their interaction should be formalised in order to be able to convert words into their phonemic repres...