Type Inference
Object-Oriented Type Inference
... with type infor- mation, allows polymorphic methods, and can be used as the basis of an optimizing ...all type information that can be derived from the program without keeping track of nil values or flow ...
16
Joint Type Inference on Entities and Relations via Graph Convolutional Networks
... We develop a new paradigm for the task of joint entity relation extraction. It first identi- fies entity spans, then performs a joint infer- ence on entity types and relation types. To tackle the joint type ...
10
Improving Semantic Parsing via Answer Type Inference
... answer type inference method that can be in- corporated in existing grounded semantic parsers as a complementary feature to improve ranking of the candidate logical ...
11
The Analysis of Resource Use in the λ-Calculus by Type Inference
... non-standard type inference, types model the properties under analysis and are inferred using a program logic based on th a t of type ...of type inference to static analysis, and was ...
165
Proof relevant Horn clauses for dependent type inference and term synthesis
... the type class instance Eq (Int, ...of type classes are still being investigated (Karachalias and Schrijvers ...relational type inference has been taken further by miniKanren (Hemann et ...of ...
18
Type Inference on Noisy RDF Data
... Abstract. Type information is very valuable in knowledge ...to type information, and, at the same time, contain noisy and incorrect ...classic type inference by reasoning ...link-based ...
16
Type inference for graph transformation systems
... of type graphs to clas- sify graph structures has emerged as a valuable ...of type graphs in graph transformation systems rely on the existence of manually created type graphs, this project aims at ...
94
Design and implementation of a reusable type inference engine and its application to Scheme
... static type checker is a complicated ...of type variables within environments, and generation of meaningful error messages for ...of type checkers can lead to code that is difficult to both ...
59
JEDI: Joint Entity and Relation Detection using Type Inference
... of type deceased ...son type. The type hierarchy is generated by re- trieving the type hints category for each type, us- ing the F REEBASE ...
6
Enhanced Answer Type Inference from Questions using Sequential Models
... Our key insight is that a human can classify a ques- tion based on very few tokens gleaned from skeletal syntactic information. This is certainly true of the most trivial classes (Who wrote Hamlet? or How many dogs pull ...
8
Constraint Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages
... Veronica Dahl co-authored the book Logic Grammars with Harvey Abramson Springer-Verlag, 1989, and has widely promoted with her writings the uses of logic in general and logic pro- grammi[r] ...
5
A Type Inference Algorithm for Secure Ambients
... a type discipline. Different type disciplines have been proposed for the Ambient Cal- culus: types in [CG99] assure the correctness of communications, while the type system of [CGG99] in addition ...
19
Type inference and optimisation for an impure world
... This is possible unless the application of succ genuinely needs to be treated as having a larger effect. This can occur for two reasons. Firstly, when choosing between two functions on the right of an if or ...
286
Bayesian Inference for the Left Truncated Exponential Distribution Based on Pooled Type-II Censored Samples
... independent Type-II right censored samples are pooled, and the advantage of pooling samples is demonstrated and the joint distribution of order statistics from the pooled sample as a mixture of progressively ...
9
Bayesian Inference and Prediction of Burr Type XII Distribution for Progressive First Failure Censored Sampling
... is type II cen- soring. It is noted that one can use type II censoring for saving time and ...a type II censoring life test can be still too ...of Type II censoring is progressive Type ...
11
Wave Forecasting using Meta-cognitive Interval Type-2 Fuzzy Inference System
... Interval type-2 fuzzy inference system, or ...Takagi-Sugeno-Kang inference mechanism employing meta-cognitive learning ...fuzzy inference system approaches clearly indicate the advantage of ...
10
Weighted Mamdani-type Fuzzy Inference System Based on Relative Ideal Preference System
... The common set up in the Mamdani-type FIS is that the weights of fuzzy rules in are assumed and set to be equal (usually 1). However, in some circumstances, this setup is not appropriate to be used since some ...
7
Inference About The Generalized Exponential Quantiles Based On Progressively Type-Ii Censored Data
... 51 that reason, a simulation computation had been applied. To generate posterior samples, they proposed the Gibbs sampler procedure. Monte Carlo simulation had been applied to compare between Bayesian estimators under ...
117
Inference In The Log-Logistic Distribution Based On An Adaptive Progressive Type-Ii Censoring Scheme
... The primary aim of this study is to explore the maximum likelihood estimation (MLE) and the Bayesian approach to estimate the parameters of log-logistic model and calculate the approximate confidence interval for the ...
133