82 search results - page 2 / 17 » Type-safe covariance in C |
JMLR
2012
11 years 7 months ago
2012
POPL
2002
ACM
14 years 5 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
SIAMMAX
2010
13 years 19 hour ago
2010
In this paper, we consider estimating sparse inverse covariance of a Gaussian graphical model whose conditional independence is assumed to be partially known. Similarly as in [5],...
SIAMMAX
2010
13 years 18 hour ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...