1249 search results - page 149 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
171
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Structural alignments are the most widely used tools for comparing proteins with low sequence similarity. The main contribution of this paper is to derive various kernels on prote...
165
click to vote
ICML
2002
IEEE
16 years 7 months ago
2002
IEEE
Learning from structured data is becoming increasingly important. However, most prior work on kernel methods has focused on learning from attribute-value data. Only recently, rese...
183
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
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...
156
click to vote
DFT
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
158
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...