40 search results - page 7 / 8 » Symbolic modeling of structural relationships in the Foundat... |
TCS
2002
13 years 5 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
ICPR
2004
IEEE
14 years 7 months ago
2004
IEEE
The context-centered approach to object detection and recognition is based on the intuition that the contextual information of real-world scenes provides relevant information for ...
CHI
2006
ACM
14 years 6 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
KESAMSTA
2007
Springer
14 years 11 days ago
2007
Springer
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
FOIS
2006
13 years 7 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...