3394 search results - page 1 / 679 » Regular Object Types |
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
OOPSLA
1993
Springer
13 years 8 months ago
1993
Springer
TIM
2010
12 years 11 months ago
2010
Electrical capacitance tomography (ECT) attempts to image the permittivity distribution of an object by measuring the electrical capacitance between sets of electrodes placed aroun...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
NIPS
2008
13 years 6 months ago
2008
We study convergence properties of empirical minimization of a stochastic strongly convex objective, where the stochastic component is linear. We show that the value attained by t...