2469 search results - page 364 / 494 » Representations of Metabolic Knowledge |
134
click to vote
TOCL
2008
15 years 4 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...
120
click to vote
AIR
2002
15 years 4 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...
131
click to vote
CAD
2000
Springer
15 years 4 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...
117
click to vote
CL
2000
Springer
15 years 4 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...
122
click to vote
IR
2000
15 years 4 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...