3690 search results - page 260 / 738 » Computation with classical sequents |
123
click to vote
CSDA
2007
15 years 23 days ago
2007
The maximum rank correlation (MRC) estimator was originally studied by Han [1987. Nonparametric analysis of a generalized regression model. J. Econometrics 35, 303–316] and Sher...
103
click to vote
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
149
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
The performance of an offline-trained classifier can be improved on-site by adapting the classifier towards newly acquired data. However, the adaptation rate is a tuning parame...
130
click to vote
JAIR
2011
14 years 8 months ago
2011
Current evaluation functions for heuristic planning are expensive to compute. In numerous planning problems these functions provide good guidance to the solution, so they are wort...
120
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The Support Vector Machine (SVM) methodology is an effective, supervised, machine learning method that gives stateof-the-art performance for brain state classification from funct...