25 search results - page 4 / 5 » ac 2001 |
TC
2008
13 years 7 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
AC
2001
Springer
13 years 12 months ago
2001
Springer
Research in Machine Learning methods to-date remains centered on technological issues and is mostly application driven. This letter summarizes successful applications of machine l...
FSTTCS
2001
Springer
13 years 12 months ago
2001
Springer
For any class C und closed under NC1 reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtimeuniform AC0 ) reductions are isomorphic under ...
IJCAI
2001
13 years 8 months ago
2001
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
PCM
2001
Springer
13 years 11 months ago
2001
Springer
In this paper, a new adaptive watermarking scheme for uncompressed and compressed video is presented. The proposed method embeds the watermark in DC components by quantizing DC coe...