1536 search results - page 307 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
BMCBI
2008
13 years 5 months ago
2008
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
BMCBI
2008
13 years 5 months ago
2008
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
IJSWIS
2006
13 years 5 months ago
2006
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
FUIN
2007
13 years 5 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
BMCBI
2004
13 years 5 months ago
2004
Background: The exploitation of information extraction (IE), a technology aiming to provide instances of structured representations from free-form text, has been rapidly growing w...