1523 search results - page 96 / 305 » Partially ordered secretaries |
202
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
102
Voted
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
We describe a simple model for parsing pedestrians based on shape. Our model assembles candidate parts from an oversegmentation of the image and matches them to a library of exemp...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The purpose of this paper is to develop an algorithm achieving the performance of fixed-complexity decoder (FSD) with much lower complexity than FSD. An adaptive expansion strate...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
1 Query-by-example information retrieval provides users a flexible but efficient way to accurately describe their information needs. The query exemplars are usually long and in th...
91
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
In this paper, we present a global scheme for encoding/ decoding natural video sequences with partial 3D models. This technique is based on a robust estimation of a constrained de...