Sciweavers

4131 search results - page 198 / 827
» The Generalized Max-Controlled Set Problem
Sort
View
128
Voted
COGSR
2011
105views more  COGSR 2011»
14 years 10 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
141
Voted
SIGMOD
2012
ACM
240views Database» more  SIGMOD 2012»
13 years 6 months ago
Finding related tables
We consider the problem of finding related tables in a large corpus of heterogenous tables. Detecting related tables provides users a powerful tool for enhancing their tables wit...
Anish Das Sarma, Lujun Fang, Nitin Gupta 0003, Alo...
142
Voted
SIAMJO
2010
107views more  SIAMJO 2010»
15 years 2 months ago
Second-Order Analysis of Polyhedral Systems in Finite and Infinite Dimensions with Applications to Robust Stability of Variation
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
René Henrion, Boris S. Mordukhovich, Nguyen...
186
Voted
SIGECOM
2011
ACM
219views ECommerce» more  SIGECOM 2011»
14 years 6 months ago
GSP auctions with correlated types
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
Brendan Lucier, Renato Paes Leme
123
Voted
IGPL
2008
124views more  IGPL 2008»
15 years 3 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli