Sciweavers

12774 search results - page 2483 / 2555
» A Framework for Proof Systems
Sort
View
ATAL
2009
Springer
16 years 1 months ago
Boolean combinations of weighted voting games
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
Piotr Faliszewski, Edith Elkind, Michael Wooldridg...
ATAL
2009
Springer
16 years 1 months ago
Bounded rationality via recursion
Current trends in model construction in the field of agentbased computational economics base behavior of agents on either game theoretic procedures (e.g. belief learning, fictit...
Maciej Latek, Robert L. Axtell, Bogumil Kaminski
ATAL
2009
Springer
16 years 1 months ago
Real-time expressive gaze animation for virtual humans
Gaze is an extremely important aspect of human face to face interaction. Over the course of an interaction, a single individual’s gaze can perform many different functions, such...
Marcus Thiébaux, Brent Lance, Stacy Marsell...
CIVR
2009
Springer
133views Image Analysis» more  CIVR 2009»
16 years 29 days ago
MonuAnno: automatic annotation of georeferenced landmarks images
Uploading tourist photographs is a popular activity on photo sharing platforms. The manual annotation of these images is a tedious process and the users often upload their images ...
Adrian Popescu, Pierre-Alain Moëllic
GECCO
2009
Springer
132views Optimization» more  GECCO 2009»
16 years 29 days ago
Bringing evolutionary computation to industrial applications with guide
Evolutionary Computation is an exciting research field with the power to assist researchers in the task of solving hard optimization problems (i.e., problems where the exploitabl...
Luís Da Costa, Marc Schoenauer
« Prev « First page 2483 / 2555 Last » Next »