We propose a novel, large-scale, structure-from-motion framework that advances the state of the art in data scalability from city-scale modeling (millions of images) to world-scale modeling (several tens of millions of images) using just a single computer. The main enabling technology is the use of a streaming-based framework for connected component discovery. Moreover, our system employs an ad...

We present a calculus that integrates equality handling by superposition into a free variable tableau calculus. We prove completeness of this calculus by an adaptation of the model generation [1, 15] technique commonly used for completeness proofs of resolution calculi. The calculi and the completeness proof are compared to earlier results of Degtyarev and Voronkov [7].

Within the socio-cognitive framework of sense-making, this paper explicates the term ‘mental model’ and its associated concepts, analyzes the controversies and connections pertaining to mental model research in information studies, and reports the findings of an exploratory study of the mental models of an academic information system. As one aspect of the process of making sense out of their ex...

This paper addresses the issue of unobserved heterogeneity in film characteristics influence on boxoffice. We argue that the analysis of pooled samples, most common among researchers, does not shed light on underlying segmentations and leads to significantly different estimates obtained by researchers running similar regressions for movie success modeling. For instance, it may be expected that ...

introduction: the review of medical records with the aim of assessing the quality of codes has long been conducted in different countries. auditing medical coding, as an instructive approach, could help to review the quality of codes objectively using defined attributes, and this in turn would lead to improvement of the quality of codes. method: the current study aimed to present a model for au...