Sciweavers

4816 search results - page 675 / 964
» Performance analysis of the AntNet algorithm
Sort
View
ESANN
2006
15 years 8 months ago
Using Regression Error Characteristic Curves for Model Selection in Ensembles of Neural Networks
Regression Error Characteristic (REC) analysis is a technique for evaluation and comparison of regression models that facilitates the visualization of the performance of many regre...
Aloísio Carlos de Pina, Gerson Zaverucha
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
Minimum Dissatisfaction Personnel Scheduling
: In this paper we consider two problems regarding the scheduling of available personnel in order to perform a given quantity of work, which can be arbitrarily decomposed into a se...
Mugurel Ionut Andreica, Romulus Andreica, Angela A...
ENGL
2008
80views more  ENGL 2008»
15 years 6 months ago
Controlled Permanent Magnet Drives
-- The considered converter-fed permanent magnet motor could alternatively be operated in two basically different states - the vector control mode or alternatively the brushless dc...
C. Grabner
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 6 months ago
Low density codes achieve the rate-distortion bound
Abstract: We propose a new construction for low-density source codes with multiple parameters that can be tuned to optimize the performance of the code. In addition, we introduce a...
Emin Martinian, Martin J. Wainwright
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...