4306 search results - page 276 / 862 » Timed Testing with TorX |
107
Voted
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
104
Voted
ECTEL
2008
Springer
15 years 2 months ago
2008
Springer
The main purpose behind the design of this experience is the idea of obtaining useful information to know how the online courses in our University have been developed, and trying t...
101
Voted
ESA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The maximum flow problem is a classical optimization problem with many applications. For a long time, HI-PR, an efficient implementation of the highest-label push-relabel...
101
Voted
EUROGP
2008
Springer
15 years 2 months ago
2008
Springer
We present N-gram GP, an estimation of distribution algorithm for the evolution of linear computer programs. The algorithm learns and samples the joint probability distribution of...
90
Voted
EMNLP
2007
15 years 2 months ago
2007
It is possible to reduce the bulk of phrasetables for Statistical Machine Translation using a technique based on the significance testing of phrase pair co-occurrence in the para...