10891 search results - page 292 / 2179 » Combining Model Reductions |
127
click to vote
HAIS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...
123
click to vote
WSC
2008
15 years 6 months ago
2008
Long cycle times in semiconductor manufacuring represent an increasing challenge for the industry and lead to a growing need of break-through approaches to reduce it. Small lot si...
180
click to vote
EUROCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the possibility to prove security of the well-known blind signature schemes by Chaum, and by Pointcheval and Stern in the standard model, i.e., without random oracle...
136
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
141
click to vote
ICMLA
2004
15 years 5 months ago
2004
Complexity, or in other words compactness, of models generated by rule learners is one of often neglected issues, although it has a profound effect on the success of any project t...