1536 search results - page 45 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
108
click to vote
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
JCNS
2006
14 years 9 months ago
2006
We use a mean-field macrocolumn model of the cerebral cortex to offer an interpretation of the K-complex of the electroencephalogram to complement those of more detailed neuron-by-...
BMCBI
2010
14 years 9 months ago
2010
Background: Detection of common evolutionary origin (homology) is a primary means of inferring protein structure and function. At present, comparison of protein families represent...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...