Sciweavers

3007 search results - page 334 / 602
» Linear Functional Fixed-points
Sort
View
142
Voted
COLT
2007
Springer
15 years 10 months ago
A Lower Bound for Agnostically Learning Disjunctions
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose there ...
Adam R. Klivans, Alexander A. Sherstov
119
Voted
ICANN
2007
Springer
15 years 10 months ago
Inferring Cognition from fMRI Brain Images
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
Diego Sona, Sriharsha Veeramachaneni, Emanuele Oli...
112
Voted
ISAAC
2007
Springer
70views Algorithms» more  ISAAC 2007»
15 years 9 months ago
Kinetic Maintenance of Mobile k-Centres on Trees
Let C denote a set of n mobile clients, each of which follows a continuous trajectory on a weighted tree T. We establish tight bounds on the maximum relative velocity of the 1-cent...
Stephane Durocher, Christophe Paul
111
Voted
MFCS
2007
Springer
15 years 9 months ago
Evolvability
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
Leslie G. Valiant
134
Voted
QEST
2006
IEEE
15 years 9 months ago
Compositional Quantitative Reasoning
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...