Sciweavers

28 search results - page 1 / 6
» The Geometry of Truthfulness
Sort
View
WINE
2009
Springer
178views Economy» more  WINE 2009»
14 years 5 months ago
The Geometry of Truthfulness
We study the geometrical shape of the partitions of the input space created by the allocation rule of a truthful mechanism for multi-unit auctions with multidimensional types and ...
Angelina Vidali
CIE
2005
Springer
14 years 4 months ago
Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
George Barmpalias
ICES
1998
Springer
131views Hardware» more  ICES 1998»
14 years 3 months ago
Aspects of Digital Evolution: Geometry and Learning
In this paper we present a new chromosome representation for evolving digital circuits. The representation is based very closely on the chip architecture of the Xilinx 6216 FPGA. W...
Julian F. Miller, Peter Thomson
ICFEM
2005
Springer
14 years 4 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
ECCV
2004
Springer
15 years 23 days ago
Unlevel-Sets: Geometry and Prior-Based Segmentation
We present a novel variational approach to top-down image segmentation, which accounts for significant projective transformations between a single prior image and the image to be s...
Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen