Sciweavers

76 search results - page 4 / 16
» Interpreting the neural code with Formal Concept Analysis
Sort
View
ICTAI
2007
IEEE
15 years 5 months ago
Ontology-Based Object Recognition for Remote Sensing Image Interpretation
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
Nicolas Durand, Sébastien Derivaux, Germain...
APVIS
2003
15 years 1 months ago
The graphical interpretation of plausible tacit knowledge flows
Many organisations make effective use of their codified knowledge, but they often fail to make most efficient use of their tacit knowledge stocks. What we define here as tacit kno...
Peter Busch, Debbie Richards, Christopher N. G. Da...
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 4 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
KES
2008
Springer
14 years 11 months ago
Ontology-Based Design Pattern Recognition
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
Damir Kirasic, Danko Basch
WORDS
2003
IEEE
15 years 4 months ago
Input-Dependency Analysis for Hard Real-Time Software
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
Jan Gustafsson, Björn Lisper, Raimund Kirner,...