2469 search results - page 364 / 494 » Representations of Metabolic Knowledge |
TOCL
2008
13 years 10 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
AIR
2002
13 years 10 months ago
2002
Several current support systems for travel and tourism are aimed at providing information in a personalized manner, taking users' interests and preferences into account. In t...
CAD
2000
Springer
13 years 10 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...
CL
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
IR
2000
13 years 10 months ago
2000
In classic InformationRetrieval systems a relevant document will not be retrieved in response to a query if the document and query representations do not share at least one term. T...