Sciweavers

4385 search results - page 633 / 877
» Abstraction for Concurrent Objects
Sort
View
CIG
2005
IEEE
15 years 8 months ago
A Survey on Multiagent Reinforcement Learning Towards Multi-Robot Systems
Abstract- Multiagent reinforcement learning for multirobot systems is a challenging issue in both robotics and artificial intelligence. With the ever increasing interests in theor...
Erfu Yang, Dongbing Gu
CP
2006
Springer
15 years 8 months ago
Graph Properties Based Filtering
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
DAGM
2006
Springer
15 years 8 months ago
Introducing Dynamic Prior Knowledge to Partially-Blurred Image Restoration
Abstract. The paper presents an unsupervised method for partiallyblurred image restoration without influencing unblurred regions or objects. Maximum a posteriori estimation of para...
Hongwei Zheng, Olaf Hellwich
PAM
2010
Springer
15 years 8 months ago
A Longitudinal View of HTTP Traffic
Abstract. In this paper we analyze three and a half years of HTTP traffic observed at a small research institute to characterize the evolution of various facets of web operation. W...
Tom Callahan, Mark Allman, Vern Paxson
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 8 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein