279 search results - page 2 / 56 » Type Reconstruction for SCI |
DLS
2009
13 years 2 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
SCALESPACE
2005
Springer
13 years 10 months ago
2005
Springer
Exploration of information content of features that are present in images has led to the development of several reconstruction algorithms. These algorithms aim for a reconstruction...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
In this paper we analyze the reconstruction of bandlimited signals from their sine wave crossings by a sampling type reconstruction process. The reconstruction process is highly a...
IWPEC
2009
Springer
13 years 11 months ago
2009
Springer
We introduce a new approach for establishing fixed-parameter tractability of problems parameterized above tight lower bounds or below tight upper bounds. To illustrate the approac...
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...