In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for specific games and rely on substantial background knowledge. We introduce a general system for learning board game rules from videos and demonstrate it on several well-known games. The presented algorithm requires only a few...

We investigate the descriptional complexity of limited propagating Lindenmayer systems and their deterministic and tabled variants with respect to the number of rules and the number of symbols. We determine the decrease of complexity when the generative capacity is increased. For incomparable families, we give languages that can be described more efficiently in either of these families than in ...

This paper compares the Portuguese and Bulgarian consumer price indices (CPI) and attempts to identify some areas in which the CPI compilation methodology could be improved in the two countries. This work is organised into six sections. The first section briefly describes the organisational structure on which the production of the CPI is based in the two countries. The second section focuses on...

In this paper we study the properties of systems of bounded arithmetic capturing small complexity classes and state conditions sufficient for such systems to capture the corresponding complexity class tightly. Our class of systems of bounded arithmetic is the class of secondorder systems with comprehension axiom for a syntactically restricted class of formulas Φ ⊂ Σ 1 based on a logic in the de...

We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counterexamples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at http://www.cs.umass.edu/∼immerm...

OBJECTIVES To describe and compare 20 m shuttle run test (20mSRT) performance among children and youth across 50 countries; to explore broad socioeconomic indicators that correlate with 20mSRT performance in children and youth across countries and to evaluate the utility of the 20mSRT as an international population health indicator for children and youth. METHODS A systematic review was under...

Density is probably one of the most used indicators to characterize urban development. Even if it is a quantitative and properly defined measure, there are still problems to use it properly. This paper proposes a renewed approach to characterize urban density based on buildings’ footprints. It can be applied on huge datasets and allows multi-level characterization of density. We first present a...

The analysis of climate data has relied heavily on hypothesis-driven statistical methods, while projections of future climate are based primarily on physics-based computational models. However, in recent years a wealth of new datasets has become available. Therefore, we take a more data-centric approach and propose a unified framework for studying climate, with an aim towards characterizing obs...

The purpose of this research is studying and regulating indices of talent detection in the game of volleyball according to views of prominent volleyball coaches in Khuzestan Province. So, the researcher assessed opinions of all 100 active coaches in this province. The methodology is descriptive survey research which has been carried out with field method. Measurement material was five-value que...