Sciweavers

2078 search results - page 246 / 416
» Using Aspects to Make Adaptive Object-Models Adaptable
Sort
View
ICMCS
2005
IEEE
96views Multimedia» more  ICMCS 2005»
16 years 5 days ago
Quad-Tree Motion Estimation in the Frequency Domain
We propose a quad-tree scheme for obtaining sub-pixel estimates of interframe motion in the frequency domain. Our scheme is based on phase correlation and uses motion compensated ...
Vasileios Argyriou, Theodore Vlachos
GBRPR
2005
Springer
16 years 2 days ago
Hypergraph-Based Image Representation
Abstract. An appropriate image representation induces some good image treatment algorithms. Hypergraph theory is a theory of finite combinatorial sets, modeling a lot of problems ...
Alain Bretto, Luc Gillibert
UML
2005
Springer
16 years 1 days ago
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
Jacky Estublier, Germán Vega, Anca Daniela ...
CHES
2004
Springer
155views Cryptology» more  CHES 2004»
15 years 12 months ago
A Low-Cost ECC Coprocessor for Smartcards
Abstract. In this article we present a low-cost coprocessor for smartcards which supports all necessary mathematical operations for a fast calculation of the Elliptic Curve Digital...
Harald Aigner, Holger Bock, Markus Hütter, Jo...
TYPES
2004
Springer
15 years 12 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento