Sciweavers

1336 search results - page 110 / 268
» codes 2005
Sort
View
139
Voted
VSTTE
2005
Springer
15 years 9 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
ICML
2005
IEEE
16 years 4 months ago
Hierarchic Bayesian models for kernel learning
The integration of diverse forms of informative data by learning an optimal combination of base kernels in classification or regression problems can provide enhanced performance w...
Mark Girolami, Simon Rogers
127
Voted
ISCAS
2005
IEEE
205views Hardware» more  ISCAS 2005»
15 years 9 months ago
Viewpoint switching in multiview video streaming
—In this paper, a novel coding scheme is proposed for switching viewpoint in multiview video streaming, which can switch freely and efficiently between any two adjacent views of ...
Xun Guo, Yan Lu, Wen Gao, Qingming Huang
108
Voted
DATE
2005
IEEE
121views Hardware» more  DATE 2005»
15 years 9 months ago
Fault-Trajectory Approach for Fault Diagnosis on Analog Circuits
This issue discusses the fault-trajectory approach suitability for fault diagnosis on analog networks. Recent works have shown promising results concerning a method based on this ...
Carlos Eduardo Savioli, Claudio C. Czendrodi, Jos&...
134
Voted
CODES
2005
IEEE
15 years 5 months ago
Hardware/software partitioning of software binaries: a case study of H.264 decode
We describe results of a case study whose intent was to determine whether new techniques for hardware/software partitioning of an application’s binary are competitive with parti...
Greg Stitt, Frank Vahid, Gordon McGregor, Brian Ei...