1536 search results - page 85 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
110
click to vote
ABIALS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
104
click to vote
SIGMOD
1999
ACM
15 years 2 months ago
1999
ACM
Systems for managing and querying semistructured-data sources often store data in proprietary object repositories or in a tagged-text format. We describe a technique that can use ...
BMCBI
2006
14 years 10 months ago
2006
Background: Knowledge of the subcellular location of a protein is critical to understanding how that protein works in a cell. This location is frequently determined by the interpr...