1523 search results - page 96 / 305 » Partially ordered secretaries |
319
click to vote
NFM
2011
15 years 24 days 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...
157
click to vote
CVPR
2011
IEEE
14 years 10 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...
101
click to vote
ICASSP
2011
IEEE
14 years 10 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...
142
click to vote
ICASSP
2011
IEEE
14 years 10 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...
159
click to vote
ICIP
2000
IEEE
16 years 8 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...