Search
Now showing items 61-70 of 290
Regularization Predicts While Discovering Taxonomy
(2011-06-03)
In this work we discuss a regularization framework to solve multi-category when the classes are described by an underlying class taxonomy. In particular we discuss how to learn the class taxonomy while learning a multi-category ...
A Gaussian Approximation of Feature Space for Fast Image Similarity
(2012-10-01)
We introduce a fast technique for the robust computation of image similarity. It builds on a re-interpretation of the recent exemplar-based SVM approach, where a linear SVM is trained at a query point and distance is ...
The Order Independence of Iterated Dominance in Extensive Games, with Connections to Mechanism Design and Backward Induction
(2012-07-31)
Shimoji and Watson (1998) prove that a strategy of an extensive game is rationalizable in the sense of Pearce if and only if it survives the maximal elimination of conditionally dominated strategies. Briefly, this process ...
Multiscale Geometric Methods for Data Sets I: Multiscale SVD, Noise and Curvature
(2012-09-08)
Large data sets are often modeled as being noisy samples from probability distributions in R^D, with D large. It has been noticed that oftentimes the support M of these probability distributions seems to be well-approximated ...
Using Program Synthesis for Social Recommendations
(2012-08-13)
This paper presents a new approach to select events of interest to a user in a social media setting where events are generated by the activities of the user's friends through their mobile devices. We argue that given the ...
Bounded-Contention Coding for Wireless Networks in the High SNR Regime
(2012-08-27)
Efficient communication in wireless networks is typically challenged by the possibility of interference among several transmitting nodes. Much important research has been invested in decreasing the number of collisions in ...
From Formal Methods to Executable Code
(2012-08-27)
The objective of this work is the derivation of software that is verifiably correct. Our approach is to abstract system specifications and model these in a formal framework called Timed Input/Output Automata, which provides ...
A Social-Welfare Optimal Probabilistic Mechanism for Knightian Single-Good Auctions
(2012-09-07)
We provide an optimal probabilistic mechanism for maximizing social welfare in single-good auctions when each player does not know his true valuation for the good, but only a set of valuations that is guaranteed to include ...
Robust Tracking for Real-Time Dense RGB-D Mapping with Kintinuous
(2012-09-17)
This paper describes extensions to the Kintinuous algorithm for spatially extended KinectFusion, incorporating the following additions: (i) the integration of multiple 6DOF camera odometry estimation methods for robust ...
Aeolus Reference Manual
(2012-09-14)
This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of ...