1536 search results - page 43 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
102
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
110
click to vote
DELOS
2001
14 years 11 months ago
2001
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...
55
Voted
FOIS
2010
14 years 11 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
TREC
2000
14 years 11 months ago
2000
We investigated the dictionary-based query translation method combining the translation disambiguation process using statistic cooccurrence information trained from the provided c...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...