30 search results - page 1 / 6 » Knowledgebase Transformations |
LPAR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
IPCV
2008
13 years 7 months ago
2008
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...
PODS
1992
ACM
13 years 9 months ago
1992
ACM
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
TNN
2008
13 years 5 months ago
2008
Abstract-- A major drawback of artificial neural networks (ANNs) is their black-box character. This is especially true for recurrent neural networks (RNNs) because of their intrica...