423 search results - page 69 / 85 » Multi-objective Model Checking of Markov Decision Processes |
AI
2011
Springer
13 years 7 days ago
2011
Springer
In this work, we explore how local interactions can simplify the process of decision-making in multiagent systems, particularly in multirobot problems. We review a recent decision-...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
The two most important tasks in information extraction from the Web are webpage structure understanding and natural language sentences processing. However, little work has been don...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
The problem of automatic recognition of human activities is among the most important and challenging open areas of research in Computer Vision. This paper presents a new approach ...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper, we investigate into optimal admission control policies for Heterogeneous Wireless Networks (HWN), considering an integration of wireless mesh networks with an ove...
ENTCS
2008
13 years 8 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...