8911 search results - page 301 / 1783 » Intelligent Systems for Tourism |
186
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
With the increase in information on the Internet, the strive to find more effective tools for distinguishing between interesting and non-interesting material is increasing. Drawing...
125
click to vote
AIME
2003
Springer
15 years 10 months ago
2003
Springer
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
130
click to vote
ICTAI
1994
IEEE
15 years 8 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
172
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
175
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...