2646 search results - page 50 / 530 » Local Type Inference |
234
click to vote
POPL
2002
ACM
16 years 25 days 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 ...
145
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
80
Voted
ICIP
2007
IEEE
2007
IEEE
Joint Localization and Parameter Estimation for Localized Calcium Release Events in Video Microscopy
16 years 2 months ago
This paper addresses modeling and inference for localized calcium release events observed in cardiac muscle tissue known as sparks, a recently discovered and little-understood phe...
139
click to vote
AAAI
2011
14 years 16 days ago
2011
Coarse-to-fine approaches use sequences of increasingly fine approximations to control the complexity of inference and learning. These techniques are often used in NLP and visio...
86
Voted
FUZZY
1994
Springer
15 years 4 months ago
1994
Springer
In this paper, evolution strategy is applied in order to improve the time series prediction accuracy of a Sugeno and Takagi type fuzzy inference system FIS. The presented approach...