6167 search results - page 220 / 1234 » Can Refinement be Automated |
148
Voted
MAGS
2008
15 years 5 months ago
2008
This paper presents a decentralized model that allows self-interested agents to reach "win-win" agreements in a multi-attribute negotiation. The model is based on an alt...
155
Voted
MAGS
2008
15 years 5 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
145
Voted
TITB
2008
15 years 4 months ago
2008
Retinal clinicians and researchers make extensive use of images, and the current emphasis is on digital imaging of the retinal fundus. The goal of this paper is to introduce a syst...
128
Voted
JIRS
2007
15 years 4 months ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...
119
Voted
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...