Sciweavers

6881 search results - page 267 / 1377
» Motivation
Sort
View
WIA
2009
Springer
16 years 1 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...
WINE
2009
Springer
194views Economy» more  WINE 2009»
16 years 1 months ago
Mechanism Design for Complexity-Constrained Bidders
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
Ravi Kumar, Mohammad Mahdian, Amin Sayedi
ATAL
2009
Springer
16 years 1 months ago
Roles and norms for programming agent organizations
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
CPAIOR
2009
Springer
16 years 1 months ago
Sequencing and Counting with the multicost-regular Constraint
This paper introduces a global constraint encapsulating a regular constraint together with several cumulative costs. It is motivated in the context of personnel scheduling problems...
Julien Menana, Sophie Demassey
DAGM
2009
Springer
16 years 1 months ago
Quantitative Assessment of Image Segmentation Quality by Random Walk Relaxation Times
The purpose of image segmentation is to partition the pixel grid of an image into connected components termed segments such that (i) each segment is homogenous and (ii) for any pai...
Björn Andres, Ullrich Köthe, Andreea Bon...