Sign in
Type Reconstruction for the Linear π-Calculus with Composite Regular Types.
Luca Padovani
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
multiple types
three dimensional
type checking
neural network
multiresolution
data sets
image reconstruction
curve fitting
shape recovery
discrete sets
algebraic structure
relational calculus
tomographic reconstruction
linear systems
closed form
camera calibration
expressive power
image quality
d objects