2841 search results - page 249 / 569 » A Call to Order |
238
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...
207
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...
218
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
267
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Information filtering has become a key technology for modern information systems. The goal of an information filter is to route messages to the right recipients (possibly none) ac...
170
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
This work presents several new techniques for enhancing the performance of deterministic test pattern generation for VLSI circuits. The techniques introduced are called dynamic de...