4861 search results - page 607 / 973 » Parsimonious concept modeling |
197
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
174
click to vote
CCIA
2007
Springer
16 years 29 days ago
2007
Springer
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
190
click to vote
CONTEXT
2007
Springer
16 years 29 days ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
162
click to vote
ECAL
2007
Springer
16 years 29 days ago
2007
Springer
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
189
click to vote
ECOWS
2007
Springer
16 years 29 days ago
2007
Springer
The semantic annotation of Web services capabilities with ontological information aims at providing the necessary infrastructure for facilitating efficient and accurate service di...