8337 search results - page 1224 / 1668 » Reasoning With Characteristic Models |
169
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
A simple model of rational belief holds that: (i) an instantaneous snapshot of an ideally rational belief system corresponds to a probability distribution; and (ii) rational belie...
190
click to vote
KBSE
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
164
click to vote
METRICS
2003
IEEE
16 years 3 days ago
2003
IEEE
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
179
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
Much emphasis in multiagent reinforcement learning (MARL) research is placed on ensuring that MARL algorithms (eventually) converge to desirable equilibria. As in standard reinfor...
164
click to vote
ER
2003
Springer
16 years 1 days ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...