1536 search results - page 118 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
WISE
2003
Springer
15 years 3 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
JAPLL
2007
14 years 9 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
CDC
2008
IEEE
14 years 10 months ago
2008
IEEE
We introduce a model of mutually attracting agents in an arbitrary network, for which the long term behavior results in the emergence of several clusters. The cluster structure is ...
KDD
1995
ACM
15 years 1 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...