3256 search results - page 388 / 652 » Applications of Formal Methods to System Design and Verifica... |
154
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— An experimental design approach is used to determine which factors (design parameters) of Spectrally Modulated, Spectrally Encoded (SMSE) waveforms have the greatest im...
180
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The switch design for interconnection networks plays an important role in the overall performance of multiprocessors and computer networks. It is therefore crucial to study variou...
154
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
In many design tasks it is difficult to explicitly define an objective function. This paper uses machine learning to derive an objective in a feature space based on selected examp...
177
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
169
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
We propose a method to train a cascade of classifiers by simultaneously optimizing all its stages. The approach relies on the idea of optimizing soft cascades. In particular, inst...