1982 search results - page 108 / 397 » Parametricity and dependent types |
120
click to vote
AAAI
2006
15 years 6 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
147
click to vote
CGF
2010
15 years 4 months ago
2010
The Bidirectional Texture Function (BTF) is becoming widely used for accurate representation of real-world material appearance. In this paper a novel BTF compression model is prop...
109
click to vote
JOI
2007
15 years 4 months ago
2007
We propose a simple stochastic model for an author’s production/citation process in order to investigate the recently proposed hindex for measuring an author’s research output...
132
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
This paper deals with the frequency domain properties of an ellipsoidal family of rational functions, i.e. a family of rational functions whose coefficients depend affinely on an ...
148
click to vote
JMLR
2012
13 years 7 months ago
2012
We propose a new method for comparing learning algorithms on multiple tasks which is based on a novel non-parametric test that we call the Poisson binomial test. The key aspect of...