The goal of this work is to investigate the performance of classical methods for feature description and classification, and to identify the difficulties of the ImageCLEF 2010 moda...
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Renie...
Recently there have been some new initiatives in the field of parameterized complexity. In this paper, we will report on some of these, concentrating on some open questions, and al...
Abstract. In this paper we obtain some inequalities related to the generalized triangle and quadratic triangle inequalities for vectors in inner product spaces. Some results that e...
The complexity of infinite words is considered from the point of view of a transformation with a Mealy machine that is the simplest model of a finite automaton transducer. We are ...