Sciweavers

10 search results - page 1 / 2
» rsp 2008
Sort
View
RSP
2008
IEEE
154views Control Systems» more  RSP 2008»
14 years 1 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»
14 years 1 months ago
Integrating Abstract NoC Models within MPSoC Design
Edson Ifarraguirre Moreno, Katalin Maria Popovici,...
ENTCS
2008
101views more  ENTCS 2008»
13 years 7 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 9 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