Sciweavers

4761 search results - page 762 / 953
» Generalizing Boundary Points
Sort
View
CSL
2010
Springer
15 years 4 months ago
Randomisation and Derandomisation in Descriptive Complexity Theory
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
Kord Eickmeyer, Martin Grohe
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 4 months ago
Correlated Equilibria in Continuous Games: Characterization and Computation
We present several new characterizations of correlated equilibria in games with continuous utility functions. These have the advantage of being more computationally and analytical...
Noah D. Stein, Pablo A. Parrilo, Asuman E. Ozdagla...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 4 months ago
Induction and Co-induction in Sequent Calculus
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
Alwen Tiu, Alberto Momigliano
DCG
2010
171views more  DCG 2010»
15 years 4 months ago
Bregman Voronoi Diagrams
The Voronoi diagram of a point set is a fundamental geometric structure that partitions the space into elementary regions of influence defining a discrete proximity graph and dual...
Jean-Daniel Boissonnat, Frank Nielsen, Richard Noc...
CSDA
2008
79views more  CSDA 2008»
15 years 4 months ago
Varying-coefficient single-index model
Abstract. To study the relationship between the levels of chemical pollutants and the number of daily total hospital admissions for respiratory diseases and to find the effect of t...
Heung Wong, Wai-Cheung Ip, Riquan Zhang