Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The paper relooks at one of the classical problems in distributed computing: Given a labelled transition system (LTS), how to synthesize a distributed labelled transition system (DLTS) such that the global behaviour of the DLTS is equivalent to that of the given LTS. This problem has been addressed for various notions of behavioral equivalences, viz., isomorphism, language equivalence, bisimulation,...
Extracting biomedical relations such as drug-drug interaction (DDI) from text is an important task in biomedical NLP. Due to the large number of complex sentences in biomedical literature, researchers have employed some sentence simplification techniques to improve the performance of the relation extraction methods. However, due to difficulty of the task, there is no noteworthy improvement in the...
This paper presents and compares a new adapted version of the Laplacian score used to select LBP histogram for color texture classification. During a supervised learning stage, we first compute a similarity matrix between images using the true class labels of these images. Then, a score is attributed to each histogram. This score allows to measure the capability of the histogram of preserving the...
Visual contracts model the operations of components or services by pre-and post-conditions formalised as graph transformation rules. They provide a precise intuitive notation to support testing, understanding and analysis of software. However, due to their detailed specification of data states and transformations, modelling real applications is an error-prone process. In this paper we propose a dynamic...
This paper proposes a new non-parametric test to decide whether to transfer from source data to target data in order to improve the performance of predictive models on target domains. The test is based on the conformity framework. It statistically tests whether the target data and source data have been generated from the target distribution under the exchangeability assumption. The source data is...
In this paper we introduce a dynamic GUI test generator that incorporates ant colony optimization. We created two ant systems for generating tests. Our first ant system implements the normal ant colony optimization algorithm in order to traverse the GUI and find good event sequences. Our second ant system, called AntQ, implements the antq algorithm that incorporates Q-Learning, which is a behavioral...
In this paper we present the design, development and a case of use of The Square Game, an adaptive collaborative game created to promote the development of capabilities such as socialization or integration by means of multi-touch technologies. The system built to generate the game activities dynamically also facilitates the recollection of data about each user's actions and interactions with others...
Independent testing in the enterprise is largely a manual activity with manual test design and manual creation of test scripts. Enterprises often outsource independent testing to third party service providers. During knowledge transition, the service provider test team has to understand the IT system functionality and the test scripts which can be non-trivial as currency of documents could be a challenge...
A random sampling function Sample: U → {0, 1} for a key universe U is a distinguisher with probability. If for any given assignment of values v(x) to the keys x ε U, including at least one non-zero v(x) ≠ 0, the sampled sum ∑{v(x)|x ε U ^. Sample(x) = 1} is non-zero with probability at least Α...
This work explores the impact of teaching and learning if the rate of learner engagement outside the classroom is continuously measured and available to the instructor and students. We describe an ongoing implementation of a monitoring tool built within a software engineering continuous integration and testing (CI & Test) platform that integrates multiple streams of student activity and performance...
Usability is a key element in successful software. Ensuring the technical usability of a learning solution enables users to focus on their main task, learning. The purpose of this paper is to demonstrate the results of heuristic usability evaluations of digital learning solutions. Heuristic evaluations were conducted on 24 digital learning solutions from one country (Finland) and two country groups...
We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the rank width of a graph is bounded in terms of its clique width, we also obtain a polynomial time isomorphism test for graph classes of bounded clique width.
Based on a framework for English, we developed a Vietnamese Question Answering System. The learning paradigm in the framework reduces the burden of providing supervision during semantic parsing. Whilst taking the advantages from this mechanism, we further create our own feature calculation which is suitable for Vietnamese. A method of dynamic learning for feature computation is also presented in this...
Many countries have adopted Outcome based Education (OBE) as a measure of quality assurance in technical education. Traditional and authentic assessments aim at measuring student performance in OBE. While traditional assessments employ conventional methods of testing student knowledge, authentic assessments are more pragmatic and aim to integrate knowledge, attitudes of students in professional context...
Word Sense Disambiguation (WSD) has become a popular method for solving the ambiguous meaning of the words in Information Retrieval (IR) field area. Under the Natural Language Processing (NLP) community, WSD has been described as the task which able to select the appropriate meaning among the ambiguous meanings to a given word. Among three approaches, supervised based, unsupervised based and knowledge...
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one well-formed concrete input to start their workflow, then employ different path selection methods to explore the execution space. However, experiments have shown that concolic testing tools have different vulnerability detection performance when starting with different well-formed...
Systems Modeling Language (SysML) is used to capture systems design as descriptive and analytical system models, which relate text-based requirements to the system design model and provide an infrastructure to support analysis and verification. However, SysML is not a methodology, nor a method. This opens-up discussions of how to utilize SysML provided infrastructure to successfully achieve analysis...
Algebraic specification is well-known in specifyingabstract data types. It could also play an important role inverifying the interrelation between methods in classes. In thispaper we develop a framework for verifying the conformanceof method implementations against an algebraic specification. Different from most existing work that perform testing atthe code level for the conformance, our approach...
A huge set of Smart Grid related standards already exist and is continuously being updated in various technical working groups in various parts of the world. Ongoing EU-funded ELECTRA Integrated Research Programme (IRP) on Smart Grids [1] aims to re-use the existing standards within its in progress activities considering to be in compliance with the standardization groups like CEN/CENELEC/ETSI, NIST...
An online recognition system must analyze the changes in the sensing data and at any significant detection; it has to decide if there is a change in the activity performed by the person. Such a system can use the previous sensor readings for decision-making (decide which activity is performed), without the need to wait for future ones. This paper proposes an approach of human activity recognition...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.