942 search results - page 160 / 189 » Cooperating Constraint Solvers |
ATAL
2007
Springer
14 years 14 days ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
CVPR
2005
IEEE
13 years 10 months ago
2005
IEEE
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
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...
IFIP12
2007
13 years 10 months ago
2007
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
AIPS
2003
13 years 9 months ago
2003
We present economically augmented job shop scheduling (EJSP) as an example of a coordination problem among selfinterested agents with private information. We discuss its signific...