Results 111 to 120 of about 2,253,559 (287)
Learning Inference Models for Computer Vision [PDF]
, 2017 Computer vision can be understood as the ability to perform inference on image data. Breakthroughs in computer vision technology are often marked by advances in inference techniques. This thesis proposes novel inference schemes and demonstrates applications in computer vision.
arxiv +1 more source
Informal Logic, 2011 A conclusion follows from given premisses if and only if an acceptable counterfactual-supporting covering generalization of the argument rules out, either definitively or with some modal qualification, simultaneous acceptability of the premisses and non-accepta-bility of the conclusion, even though it does not rule out acceptability of the premisses ...
openaire +4 more sources
Type Inference for Guarded Recursive Data Types [PDF]
arXiv, 2005 We consider type inference for guarded recursive data types (GRDTs) -- a recent generalization of algebraic data types. We reduce type inference for GRDTs to unification under a mixed prefix. Thus, we obtain efficient type inference. Inference is incomplete because the set of type constraints allowed to appear in the type system is only a subset of ...
arxiv
Critical Thinking and Informal Logic: Neuropsychological Perspectives
Informal Logic, 2011 This article challenges the common view that improvements in critical thinking are best pursued by investigations in informal logic. From the perspective of research in psychology and neuroscience, hu-man inference is a process that is multimodal ...
Paul Thagard
doaj +1 more source
Genome Biology, 2015 Identifying homology relationships between sequences is fundamental to biological research. Here we provide a novel orthogroup inference algorithm called OrthoFinder that solves a previously undetected gene length bias in orthogroup inference, resulting ...
David M. Emms, S. Kelly
semanticscholar +1 more source
Studies in Digital Heritage, 2017 It is common for cultural heritage applications to use spatial and/or spectral data for documentation, analysis and visualisation. Knowledge on data requirements coming from the cultural heritage application and technical alternatives to generate the ...
Stefanie Wefers +3 more
doaj +1 more source
Symbolic Exact Inference for Discrete Probabilistic Programs
, 2019 The computational burden of probabilistic inference remains a hurdle for applying probabilistic programming languages to practical problems of interest.
Broeck, Guy Van den +2 more
core
First-Order Decomposition Trees [PDF]
, 2013 Lifting attempts to speed up probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursively decomposing the model and the problem. In the propositional case, there
Blockeel, Hendrik +2 more
core
Two Methods For Wild Variational Inference [PDF]
arXiv, 2016 Variational inference provides a powerful tool for approximate probabilistic in- ference on complex, structured models. Typical variational inference methods, however, require to use inference networks with computationally tractable proba- bility density functions. This largely limits the design and implementation of vari- ational inference methods. We
arxiv
Statistics and Causal Inference
, 1985 Problems involving causal inference have dogged at the heels of statistics since its earliest days. Correlation does not imply causation, and yet causal conclusions drawn from a carefully designed experiment are often valid.
P. Holland
semanticscholar +1 more source