Sciweavers

834 search results - page 78 / 167
» Computing Minimal Models, Stable Models, and Answer Sets
Sort
View
CORR
2012
Springer
218views Education» more  CORR 2012»
13 years 7 months ago
On the Hardness of Welfare Maximization in Combinatorial Auctions with Submodular Valuations
We present a new type of monotone submodular functions: multi-peak submodular functions. Roughly speaking, given a family of sets F, we construct a monotone submodular function f ...
Shahar Dobzinski, Jan Vondrák
ICANN
2005
Springer
15 years 5 months ago
A Neural Network Model for Inter-problem Adaptive Online Time Allocation
One aim of Meta-learning techniques is to minimize the time needed for problem solving, and the effort of parameter hand-tuning, by automating algorithm selection. The predictive m...
Matteo Gagliolo, Jürgen Schmidhuber
CVPR
2012
IEEE
13 years 2 months ago
Real time robust L1 tracker using accelerated proximal gradient approach
Recently sparse representation has been applied to visual tracker by modeling the target appearance using a sparse approximation over a template set, which leads to the so-called ...
Chenglong Bao, Yi Wu, Haibin Ling, Hui Ji
CVPR
2009
IEEE
1453views Computer Vision» more  CVPR 2009»
16 years 4 months ago
Learning Photometric Invariance From Diversified Color Model Ensembles
Color is a powerful visual cue for many computer vision applications such as image segmentation and object recognition. However, most of the existing color models depend on the i...
Jose M. Alvarez, Theo Gevers, Antonio M. Lopez
TLCA
2005
Springer
15 years 5 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...