3229 search results - page 470 / 646 » The Theory of Timed Automata |
252
click to vote
COMPGEOM
2011
ACM
14 years 10 months ago
2011
ACM
We present a clustering scheme that combines a mode-seeking phase with a cluster merging phase in the corresponding density map. While mode detection is done by a standard graph-b...
205
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
210
click to vote
IACR
2011
14 years 6 months ago
2011
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...
161
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper introduces a class of correlation filters called
Average of Synthetic Exact Filters (ASEF). For ASEF, the
correlation output is completely specified for each training
...
164
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We consider the problem of image comparison in order to match smooth surfaces under varying illumination. In a smooth surface nearby surface normals are highly correlated. We model...