We apply automata learning techniques to learn fragments of the TCP network protocol by observing its external behavior. We show that different implementations of TCP in Windows 8 and Ubuntu induce different automata models, thus allowing for fingerprinting of these implementations. In order to infer our models we use the notion of a mapper component introduced by Aarts, Jonsson and Uijen, whic...

In this paper, we present an application for formal concept analysis (FCA) by showing how it can help construct a semantic map for a lexical typological study. We show that FCA captures typological regularities, so that concept lattices automatically built from linguistic data appear to be even more informative than traditional semantic maps. While sometimes this informativeness causes unreadab...

Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial information is necessary for performing basic robot operations (navigation and localization), the use of deeper domain knowledge is pivotal to endow a robot with higher degrees of autonomy and intelligence. In this paper, we f...

The aim of this paper is to explore the degree to which semantic maps and conceptual spaces may comprehensively describe the cross-linguistic variation, by discussing the types of phenomena that may be consistently represented in a unified account. By analyzing the cross-linguistic coding of coordination relations, it will be argued that the degree to which every conceptual situation is explici...

Semantic maps are usually assumed to describe a universal arrangement of different conceptual situations in a speaker's mind as determined by perceived relations of similarity between these conceptual situations. This paper provides a number of arguments that challenge this view, based on various types of evidence from processes of semantic change and synchronic implicational universals. The mu...

This paper addresses the problem of indexing very large enterprise corpuses. We have designed a simple yet efficient (in terms of computation time and the size of the generated results) method allowing to filter, on a per-document basis, the most representative co-occurrences of the documents. The reason for using co-occurrences is twofold. First, queries composed by experts on specialized corp...

The purpose of this study was to analyze people’s attitudes to disasters by investigating how people feel, behave and think during disasters. We focused on disasters induced by humans, such as terrorist attacks. Two types of textual information were collected – from Internet blogs and from research papers. The analysis enabled forecasting of attitudes for the design of proactive disaster adviso...

Behaviour Widget State of current widget In Outside system: User input to widget Out Feedback Manager: Abstract, media independent feedback requests Feedback Manager Widget Media used by widget In Abstract Behaviour: Abstract, media independent feedback requests Control System: Commands regarding output media Out Module Mapper(s): Abstract, media specific feedback requests Module Mapper Widget ...