1818 search results - page 273 / 364 » Granularity-Adaptive Proof Presentation |
111
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— It has been established in the literature that the cascade interconnection of two bilinear systems does not in general produce another bilinear system. The goals of this paper ...
130
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a novel robust watermarking algorithm for 3D skinning mesh animations by embedding the watermark in skin weights in addition to key frames. This method can be ...
139
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a theoretical and experimental study on the limitations of copy-on-write snapshots and incremental backups in terms of data recoverability. We provide mathemat...
137
click to vote
PRDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
137
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...