1828 search results - page 293 / 366 » First-Class Type Classes |
115
Voted
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
136
Voted
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
Pseudo-likelihood and contrastive divergence are two well-known examples of contrastive methods. These algorithms trade off the probability of the correct label with the probabili...
115
Voted
AIPS
2010
15 years 2 months ago
2010
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
124
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
We present and evaluate a machine learning approach to constructing patient-specific classifiers that detect the onset of an epileptic seizure through analysis of the scalp EEG, a...
138
click to vote
ADCM
2010
15 years 2 months ago
2010
Let Rd be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on . Here we study extremal propert...