Recurrent Self-Organizing Map (RSOM) is studied in three di erent time series prediction cases. RSOM is used to cluster the series into local data sets, for which corresponding lo...
Timo Koskela, Markus Varsta, Jukka Heikkonen, Kimm...
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
Authentication codes provide message integrity guarantees in an information theoretic sense within a symmetric key setting. Information theoretic bounds on the success probability...
``Virtual'' is a potent buzzword, freely applied to many situations, with many meanings. In this exploratory study, we develop a more precise understanding of ``virtual...
Mary Beth Watson-Manheim, Katherine M. Chudoba, Ke...
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...