3680 search results - page 382 / 736 » cases 2010 |
206
click to vote
ENTCS
2010
15 years 4 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
270
click to vote
EUROMED
2010
15 years 4 months ago
2010
Despite the multitude of impact measurement techniques available to heritage site managers there is a case for the bigger strategic picture to figure more strongly in impact measur...
182
click to vote
FUIN
2010
15 years 4 months ago
2010
Fast plan adaptation is important in many AI-applications. From a theoretical point of view, in the worst case adapting an existing plan to solve a new problem is no more efficien...
152
click to vote
IEPOL
2010
15 years 4 months ago
2010
In this paper, we consider the competition of providers of information products against P2P networks that offer illegal versions of the information products. Depending on the gene...
173
click to vote
IGPL
2010
15 years 4 months ago
2010
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...