Sciweavers

1306 search results - page 78 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
ASE
2005
102views more  ASE 2005»
15 years 15 days ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
80
Voted
NECO
2002
78views more  NECO 2002»
15 years 8 days ago
Local Overfitting Control via Leverages
We present a novel approach to dealing with overfitting in black-box models. It is based on the leverages of the samples, i.e. on the influence that each observation has on the pa...
Gaétan Monari, Gérard Dreyfus
120
Voted
CSL
2001
Springer
15 years 5 months ago
Constrained Hyper Tableaux
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
Jan van Eijck
ECOOP
2000
Springer
15 years 5 months ago
Ionic Types
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
Simon A. Dobson, Brian Matthews
90
Voted
ICASSP
2011
IEEE
14 years 4 months ago
How efficient is estimation with missing data?
In this paper, we present a new evaluation approach for missing data techniques (MDTs) where the efficiency of those are investigated using listwise deletion method as reference....
Seliz G. Karadogan, Letizia Marchegiani, Lars Kai ...