3984 search results - page 426 / 797 » A Model-Driven Transformation Method |
201
click to vote
IEEEMSP
2002
IEEE
16 years 13 days ago
2002
IEEE
—In [1, 2, 3], we have introduced a robust and secure digital signature solution for multimedia content authentication, by integrating content feature extraction, error correctio...
282
click to vote
ACCV
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. We present a novel approach to segmenting video using iterated graph cuts based on spatio-temporal volumes. We use the mean shift clustering algorithm to build the spatio...
184
click to vote
GI
2009
Springer
16 years 3 days ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
170
Voted
CVPR
2000
IEEE
15 years 12 months ago
2000
IEEE
We have assembled a standalone, movable system that can capture long sequences of omnidirectional images (up to 1,500 images at 6.7 Hz and a resolution of 1140 × 1030). The goal ...
189
Voted
ICCAD
2000
IEEE
15 years 12 months ago
2000
IEEE
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...