1982 search results - page 114 / 397 » Parametricity and dependent types |
163
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
124
click to vote
AMC
2005
15 years 6 months ago
2005
Steady non-isothermal parallel-plate flow of a Newtonian fluid with a temperature dependent viscosity is considered. The viscosity is modelled by a Nahme type law. We apply axisym...
208
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
186
click to vote
MCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Given an arbitrary data set, to which no particular parametrical, statistical or geometrical structure can be assumed, different clustering algorithms will in general pr...
189
click to vote
UAI
2000
15 years 8 months ago
2000
In this paper we address the problem of learning the structure of a Bayesian network in domains with continuous variables. This task requires a procedure for comparing different c...