677 search results - page 97 / 136 » Dependent Types from Counterexamples |
KDD
1997
ACM
15 years 2 months ago
1997
ACM
One of the important problems in data mining is the evaluation of subjective interestingness of the discovered rules. Past research has found that in many real-life applications i...
MICRO
1994
IEEE
15 years 2 months ago
1994
IEEE
Multiple issue of instructions occurs in superscalar and VLIW machines. This paper investigates a third type of machine design, which combines the advantages of code compatibility...
130
click to vote
CPE
1994
Springer
15 years 2 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
DAC
2007
ACM
15 years 1 months ago
2007
ACM
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present an empirical comparison of some Differential Evolution variants to solve global optimization problems. The aim is to identify which one of them is more s...