1521 search results - page 219 / 305 » Efficient Design Validation Based on Cultural Algorithms |
144
Voted
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
132
click to vote
IJCAI
2003
15 years 5 months ago
2003
Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
139
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...
138
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
We are often interested to test whether a given cause has a given effect. If we cannot specify the nature of the factors involved, such tests are called model-free studies. There ...
105
click to vote
FPGA
2006
ACM
15 years 7 months ago
2006
ACM
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...