400 search results - page 5 / 80 » Reasoning About Hidden Mechanisms |
AGP
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
101
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
MIDDLEWARE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Enterprise-system upgrades are unreliable and often produce downtime or data-loss. Errors in the upgrade procedure, such as broken dependencies, constitute the leading ca...
119
click to vote
IWAR
1992
14 years 10 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
AICOM
2007
14 years 9 months ago
2007
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...