This paper describes how the grounder of the ASP system DLV handles programs with function symbols, briefly illustrating two different strategies alongside the results of a preliminary experimental activity. The grounder is able to deal with ASP programs making an unrestricted use of function symbols, and it can perform an on-demand check in order to ensure that the input falls into the class o...

In a structural time series regression model, binary variables have been used to quantify qualitative or categorical quantitative events such as politic and economic structural breaks, regions, age groups and etc. The use of the binary dummy variables is not reasonable because the effect of an event decreases (increases) gradually over time not at once. The simple and basic idea in this paper i...

Google offers several speech features on the Android mobile operating system: search by voice, voice input to any text field, and an API for application developers. As a result, our speech recognition service must support a wide range of usage scenarios and speaking styles: relatively short search queries, addresses, business names, dictated SMS and e-mail messages, and a long tail of spoken in...

forecasting of macroeconomic variables has specific importance in economic topics. indeed, different models are invented to forecast variables to help economic policy makers in adopting appropriate monetary and fiscal policies. in this paper, the performance of integrated model of input-output (io) and neural network is investigated in forecasting final demand and total production and the resul...