9359 search results - page 134 / 1872 » Generalization Algorithms for Second-Order Terms |
138
click to vote
EXPCS
2007
15 years 8 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
163
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
143
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
115
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we introduce a new genetic representation -- a splicing/decomposable (S/D) binary encoding, which was proposed based on some theoretical guidance and existing recom...
154
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...