Sciweavers

5973 search results - page 889 / 1195
» Fundamental forms of information
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
David C. Parkes
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
CVPR
2010
IEEE
16 years 3 months ago
Grouplet: a Structured Image Representation for Recognizing Human and Object Interactions
Psychologists have proposed that many human-object interaction activities form unique classes of scenes. Recognizing these scenes is important for many social functions. To enable...
Bangpeng Yao, Li Fei-Fei
CVPR
2010
IEEE
16 years 2 months ago
Sufficient Dimensionality Reduction for Visual Sequence Classification
When classifying high-dimensional sequence data, traditional methods (e.g., HMMs, CRFs) may require large amounts of training data to avoid overfitting. In such cases dimensional...
Alex Shyr, Raquel Urtasun, Michael Jordan
CVPR
2010
IEEE
16 years 2 months ago
Breaking the interactive bottleneck in multi-class classification with active selection and binary feedback
Multi-class classification schemes typically require human input in the form of precise category names or numbers for each example to be annotated – providing this can be impra...
Ajay Joshi, Fatih Porikli, Nikolaos Papanikolopoul...