1536 search results - page 44 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Many information systems store their objects in a relational database. If the object schema or the relational schema of an application can change often or in an independent way, it...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
95
Voted
BMCBI
2004
14 years 9 months ago
2004
Background: In addition to known protein-coding genes, large amounts of apparently non-coding sequence are conserved between the human and mouse genomes. It seems reasonable to as...
BMCBI
2008
14 years 9 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...