Buscar
Mostrando ítems 1-10 de 4679
Gradual Liquid Type Inference
(2018)
Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: ...
The importance of the theoretical framework in the formulation of clinical inferences in psychotherapy
(Universidad de Belgrano. Facultad de Humanidades. Proyectos de Investigación, 2007)
This study explores the importance of psychotherapists' theoretical framework as it pertains to the development of their clinical inferences and construction of working inferences. Therapists in this study came from two ...
A Mechanized Proof of a Textbook Type Unification Algorithm
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2020)
Indirect inference for locally stationary ARMA processes with stable innovations
(2020)
The class of locally stationary processes assumes that there is a time-varying spectral representation, that is, the existence of finite second moment. We propose the α-stable locally stationary process by modifying the ...
Inference and Reconciliation in a Crowdsourced Lexical-Semantic Network
(Revista Computación y Sistemas; Vol. 17 No.2, 2013-06-07)
Abstract. Lexical-semantic network construction and
validation is a major issue in NLP. No matter the
construction strategies used, automatically inferring new
relations from already existing ones is a way to improve
the ...
Implementing collaborative learning to promote inference-making in a reading strategy course in English
(Universidad de Costa Rica, 2017-07-27)
This article reports on the ndings of a research project intended to promote collaborative learning and inference-making among students from majors other than English at the University of Costa Rica. First, a diagnosis was ...
Bayesian inference for skew-normal linear mixed models
(TAYLOR & FRANCIS LTD, 2007)
Linear mixed models (LMM) are frequently used to analyze repeated measures data, because they are more flexible to modelling the correlation within-subject, often present in this type of data. The most popular LMM for ...
The role of vocabulary knowledge on inference generation: A meta-analysis
(Sciendo, 2021-10)
Successful text comprehension results in a coherent mental model of the situation being described. To achieve this, the reader has to infer certain information by connecting parts of the text to their prior knowledge. An ...