Sciweavers

1117 search results - page 111 / 224
» Equivalent Representations of Set Functions
Sort
View
SIGECOM
2008
ACM
127views ECommerce» more  SIGECOM 2008»
14 years 9 months ago
Posted prices vs. negotiations: an asymptotic analysis
Full revelation of private values is impractical in many large-scale markets, where posted price mechanisms are a simpler alternative. In this work, we compare the asymptotic beha...
Liad Blumrosen, Thomas Holenstein
MP
2010
163views more  MP 2010»
14 years 4 months ago
Speeding up IP-based algorithms for constrained quadratic 0-1 optimization
In many practical applications, the task is to optimize a non-linear objective function over the vertices of a well-studied polytope as, e.g., the matching polytope or the travelli...
Christoph Buchheim, Frauke Liers, Marcus Oswald
AVBPA
2005
Springer
426views Biometrics» more  AVBPA 2005»
15 years 3 months ago
Calculation of a Composite DET Curve
Abstract. The verification performance of biometric systems is normally evaluated using the receiver operating characteristic (ROC) or detection error trade-off (DET) curve. We p...
Andy Adler, Michael E. Schuckers
CSL
1999
Springer
15 years 2 months ago
Pre-logical Relations
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
Furio Honsell, Donald Sannella
CIE
2006
Springer
15 years 1 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek