1536 search results - page 165 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
AH
2008
Springer
14 years 4 months ago
2008
Springer
In order to navigate huge document collections efficiently, tagged hierarchical structures can be used. For users, it is important to correctly interpret tag combinations. In this ...
ICAI
2009
13 years 8 months ago
2009
Trading of resources is an important sociological behaviour that is believed to be indicative of intelligent life forms, but which is non-trivial to model successfully. We have in...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...
BMCBI
2008
13 years 10 months ago
2008
Complexity of post-genomic data and multiplicity of mining strategies are two limits to Knowledge Discovery in Databases (KDD) in life sciences. Because they provide a semantic fr...
SIGMETRICS
2003
ACM
14 years 3 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...