3902 search results - page 253 / 781 » Hardware Synthesis from C C Models |
130
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
A rate-distortion (R-D) model is derived to investigate the potential coding gain from the use of a larger macroblock size for high definition (HD) video coding in this work. Codin...
199
click to vote
ISI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract— Community discovery has drawn significant research interests among researchers from many disciplines for its increasing application in multiple, disparate areas, inclu...
186
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
191
click to vote
NPL
2002
15 years 6 months ago
2002
Ridge regression is a classical statistical technique that attempts to address the bias-variance trade-off in the design of linear regression models. A reformulation of ridge regr...
164
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Biologists often conduct multiple but different cDNA microarray studies that all target the same biological system or pathway. Within each study, replicate slides with...