4966 search results - page 194 / 994 » its 2010 |
156
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Although kernel-based methods have been demonstrated effectively in solving single-target tracking problem, facing more complicated multi-target tracking task, most of them still ...
162
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
153
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
164
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper describes how phase-sensitive rotation invariants for three-dimensional data may be obtained. A “bispectrum” is formulated for rotations, and its properties are der...
161
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
We propose new data structures for navigation in sequences of balanced parentheses, a standard tool for representing compressed trees. The most striking property of our approach is...