Sciweavers

1789 search results - page 181 / 358
» Extending the Choquet integral
Sort
View
ATAL
2010
Springer
15 years 6 months ago
Time constraints in mixed multi-unit combinatorial auctions
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
Andreas Witzel, Ulle Endriss
AUTOMATICA
2007
86views more  AUTOMATICA 2007»
15 years 6 months ago
Switched seesaw control for the stabilization of underactuated vehicles
This paper addresses the stabilization of a class of nonlinear systems in the presence of disturbances, using switching controllers. To this effect we introduce two new classes o...
A. Pedro Aguiar, João P. Hespanha, Ant&oacu...
CGF
2010
104views more  CGF 2010»
15 years 6 months ago
Interactive, Multiresolution Image-Space Rendering for Dynamic Area Lighting
Area lights add tremendous realism, but rendering them interactively proves challenging. Integrating visibility is costly, even with current shadowing techniques, and existing met...
Greg Nichols, Rajeev Penmatsa, Chris Wyman
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 6 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
AMC
2006
79views more  AMC 2006»
15 years 6 months ago
Church's thesis meets the N-body problem
``Church's thesis'' is at the foundation of computer science. We point out that with any particular set of physical laws, Church's thesis need not merely be po...
Warren D. Smith