2191 search results - page 250 / 439 » Evolutionary testing of classes |
128
Voted
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
132
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
134
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we propose a new feature selection criterion. It is based on the projections of data set elements onto each attribute. The main advantages are its speed and simplici...
147
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper an Iterative Learning Control (ILC) algorithm is proposed for a certain class of Linear Parameter Varying (LPV) systems whose dynamics change between iterations. ...
137
click to vote
ICIP
1997
IEEE
15 years 8 months ago
1997
IEEE
This is a contribution for very low bit rate video coding in real-time and software only on computers of PC class. It is based on frame replenishment with block coding using mean-...