Sciweavers

3554 search results - page 239 / 711
» Estimating software based on use case points
Sort
View
ADAEUROPE
2008
Springer
15 years 7 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
IJCAI
2001
15 years 7 months ago
Active Learning for Class Probability Estimation and Ranking
For many supervised learning tasks it is very costly to produce training data with class labels. Active learning acquires data incrementally, at each stage using the model learned...
Maytal Saar-Tsechansky, Foster J. Provost
ADCM
2005
163views more  ADCM 2005»
15 years 5 months ago
Matrix-valued radial basis functions: stability estimates and applications
Radial basis functions (RBFs) have found important applications in areas such as signal processing, medical imaging, and neural networks since the early 1980's. Several appli...
Svenja Lowitzsch
COLT
2006
Springer
15 years 9 months ago
Maximum Entropy Distribution Estimation with Generalized Regularization
Abstract. We present a unified and complete account of maximum entropy distribution estimation subject to constraints represented by convex potential functions or, alternatively, b...
Miroslav Dudík, Robert E. Schapire
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 9 months ago
Efficient analog circuit synthesis with simultaneous yield and robustness optimization
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
Geert Debyser, Georges G. E. Gielen