Sciweavers

16257 search results - page 262 / 3252
» D-finiteness: algorithms and applications
Sort
View
ICMCS
2005
IEEE
117views Multimedia» more  ICMCS 2005»
16 years 6 days ago
An Adaptive Hierarchical Clustering Protocol for Multimedia Overlay Multicast Applications
Adaptive Hierarchical Clustering Algorithm (AHCA) maps a flat topology to a hierarchical tree though output trees are incontrollable and are not suitable for multimedia. PruneRel...
Cheng Peng, Qionghai Dai, Qiufeng Wu
ASPDAC
2004
ACM
101views Hardware» more  ASPDAC 2004»
16 years 1 days ago
A sub-mW MPEG-4 motion estimation processor core for mobile video application
This paper describes a sub-mW motion estimation processor core for MPEG-4 video encoding. It features a Gradient Descent Search algorithm whose computation power is only 7% of the...
Yuki Kuroda, Junichi Miyakoshi, Masayuki Miyama, K...
WG
2004
Springer
15 years 12 months ago
Treelike Comparability Graphs: Characterization, Recognition, and Applications
An undirected graph is a treelike comparability graph if it admits a transitive orientation such that its transitive reduction is a tree. We show that treelike comparability graphs...
Sabine Cornelsen, Gabriele Di Stefano
ISVLSI
2003
IEEE
118views VLSI» more  ISVLSI 2003»
15 years 12 months ago
Reconfigurable Fast Memory Management System Design for Application Specific Processors
This paper presents the design and implementation of the new Active Memory Manager Unit (AMMU) designed to be embedded into System-on-Chip CPUs. The unit is implemented using VHDL...
S. Kagan Agun, J. Morris Chang
COCO
2003
Springer
64views Algorithms» more  COCO 2003»
15 years 12 months ago
Proving SAT does not have Small Circuits with an Application to the Two
We show that if SAT does not have small circuits, then there must exist a small number of satisfiable formulas such that every small circuit fails to compute satisfiability corr...
Lance Fortnow, Aduri Pavan, Samik Sengupta