Abstract

Abstract

Abstract
Time-series aggregates are often used in performing tests for departure from linearity. In this paper, we study the effects of temporal aggregation on testing for linearity, basing our analysis on both time- and frequency-domain tests. The results show that temporal aggregation weakens nonlinearity and reduces the power of the tests. The impact is severe. The use of aggregate data greatly hampers the detection of the nonlinear nature of the process.

Abstract
Assigning a category to a given word (tagging) depends on the particular word and on the categories (tags) of neighboring words. A theory that is able to assign tags to a given text can naturally be viewed as a recursive logic program. This article describes how iterative induction, a technique that has been proven powerful in the synthesis of recursive logic programs, has been applied to the task of part-of-speech tagging. The main strategy consists of inducing a succession T1, T2,…, Tn of theories, using in the induction of theory Ti all the previously induced theories. Each theory in the sequence may have lexical rules, context rules and hybrid ones. This iterative strategy is, to a large extent, independent of the inductive algorithm underneath. Here we consider one particular relational learning algorithm, CSC(RC), and we induce first order theories from positive examples and background knowledge that are able to successfully tag a relatively large corpus in Portuguese. © Springer-Verlag Berlin Heidelberg 2000.

Abstract

Abstract
A methodology for the synthesis of function free definite logic programs from incomplete specifications, background knowledge and programming knowledge is presented. The methodology is implemented as a system SKILit and sub-systems SKIL and MONIC. The specification consists of positive and negative examples of the predicate to synthesize, together with its input/output mode declaration.