This paper focuses on the problem of person detection in harsh industrial environments. Different image regions often have different requirements for the person to be detected. Ad...
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...
Classical problems of sorting and searching assume an underlying linear ordering of the objects being compared. In this paper, we study a more general setting, in which some pairs...
Constantinos Daskalakis, Richard M. Karp, Elchanan...
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
In this paper, we propose a bilevel sparse coding model for coupled feature spaces, where we aim to learn dictionaries for sparse modeling in both spaces while enforcing some desi...