11949 search results - page 319 / 2390 » Some results on (a:b)-choosability |
134
Voted
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
115
click to vote
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper we investigate the structure and motion problem for calibrated one-dimensional projections of a two-dimensional environment. In a previous paper the structure and mo...
104
Voted
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
We present a stochastic tracking algorithm for surveillance video where targets are dim and at low resolution. The algorithm builds motion models for both background and foregroun...
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
In recent history the use of chromatic segmentation has come very much into vogue for mouth tracking. Our recent work has endeavored to show under what conditions and representati...
112
click to vote
ICIP
2000
IEEE
16 years 3 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...