1280 search results - page 57 / 256 » Soft Typing with Conditional Types |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
The primary contribution of this paper is an algorithm capable of identifying parameters in certain mixed linear/nonlinear state-space models, containing conditionally linear Gauss...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
We identify and study two types of “accidental” images that can be formed in scenes. The first is an accidental pinhole camera image. These images are often mistaken for shad...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This research examines how monitoring electronic communications can influence the types and frequency of communication of potentially damaging information, which we term hazard co...
FORTEST
2008
13 years 10 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...