8337 search results - page 44 / 1668 » Reasoning With Characteristic Models |
KR
1998
Springer
14 years 21 days ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
SPLC
2007
13 years 9 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
MAICS
2003
13 years 10 months ago
2003
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
CN
2004
13 years 8 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...