Sciweavers

10 search results - page 1 / 2
» rsp 2008
Sort
View
RSP
2008
IEEE
154views Control Systems» more  RSP 2008»
13 years 11 months ago
ASIP-controlled Inverse Integer Transform for H.264/AVC Compression
N. T. Ngo, T. T. T. Do, T. M. Le, Y. S. Kadam, Ami...
RSP
2008
IEEE
134views Control Systems» more  RSP 2008»
13 years 11 months ago
Integrating Abstract NoC Models within MPSoC Design
Edson Ifarraguirre Moreno, Katalin Maria Popovici,...
ENTCS
2008
101views more  ENTCS 2008»
13 years 5 months ago
Imperative LF Meta-Programming
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...
Aaron Stump
AAAI
2008
13 years 7 months ago
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT
The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginal...
Hai Leong Chieu, Wee Sun Lee