2702 search results - page 146 / 541 » Practically Applicable Formal Methods |
IJON
2011
14 years 5 months ago
2011
Several theoretical methods have been developed in the past years to evaluate the generalization ability of a classifier: they provide extremely useful insights on the learning ph...
AGTIVE
2003
Springer
15 years 3 months ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
80
Voted
ACCV
2007
Springer
15 years 4 months ago
2007
Springer
AdaBoost is a practical method of real-time face detection, but abides by a crucial problem of overfitting for the big number of features used in a trained classifier due to the ...
67
Voted
NSDI
2008
15 years 15 days ago
2008
Discretization is used in click-based graphical passwords so that approximately correct entries can be accepted by the system. We show that the existing discretization scheme of B...
SBBD
2007
14 years 11 months ago
2007
Abstract. Databases, particularly when storing heterogeneous, sparse semistructured data, tend to provide incomplete information and information which is difficult to categorize. T...