2646 search results - page 233 / 530 » Local Type Inference |
177
click to vote
NIPS
1994
15 years 8 months ago
1994
For many types of machine learning algorithms, one can compute the statistically optimal" way to select training data. In this paper, we review how optimal data selection tec...
153
click to vote
CSDA
2006
15 years 6 months ago
2006
Models for incomplete longitudinal data under missingness not at random have gained some popularity. At the same time, cautionary remarks have been issued regarding their sensitiv...
260
click to vote
TELSYS
2011
15 years 1 months ago
2011
GRASP (Greedy Randomized Adaptive Search Procedures) is a multistart metaheuristic for producing good-quality solutions of combinatorial optimization problems. Each GRASP iteration...
185
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
159
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents an approach on high-level feature detection using a region thesaurus. MPEG-7 features are locally extracted from segmented regions and for a large set...