Sciweavers

4123 search results - page 226 / 825
» Multiple Relational Embedding
Sort
View
APAL
2011
15 years 1 months ago
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
Gerhard Jäger, Dieter Probst
ICIP
2006
IEEE
16 years 8 months ago
A Partition Constrained Minimization Scheme for Efficient Multiphase Level Set Image Segmentation
This study investigates a new multiphase minimization scheme which embeds a simple, efficient partition constraint directly in multiple level set evolution. Starting from an arbit...
Ismail Ben Ayed, Amar Mitiche
ICIP
2001
IEEE
16 years 8 months ago
Efficient fine granular scalable video coding
In this work we present an efficient fine granular scalable video compression scheme which supports a fast bit rate adaptation independent of the encoder. The proposed scheme gene...
Christian Buchner, Thomas Stockhammer, Detlev Marp...
ICIP
2000
IEEE
16 years 8 months ago
Performance Analysis of an H.263 Video Encoder for VIRAM
VIRAM (Vector Intelligent Random Access Memory) is a vector architecture processor with embedded memory, designed for portable multimedia processing devices. Its vector processing...
Thinh P. Q. Nguyen, Avideh Zakhor, Katherine A. Ye...
HIPEAC
2010
Springer
16 years 3 months ago
Scalable Shared-Cache Management by Containing Thrashing Workloads
Abstract. Multi-core processors with shared last-level caches are vulnerable to performance inefficiencies and fairness issues when the cache is not carefully managed between the m...
Yuejian Xie, Gabriel H. Loh