Exploration of an unknown environment by a mobile robot is a complex task involving solution of many fundamental problems from data processing, local…

We propose a decomposition framework for the parallel optimization of the sum of a differentiable {(possibly nonconvex)} function and a nonsmooth (po…

Combinatorial interaction testing (CIT) is a well-known technique, but the industrial experience is needed to determine its effectiveness in differen…

Considerable time is often spent optimizing antennas to meet specific design metrics. Rarely, however, are the resulting antenna designs compared to …

Technological evolution of mobile user equipments (UEs), such as smartphones or laptops, goes hand-in-hand with evolution of new mobile applications.…

Executing various sequences of system functions in a system under test represents one of the primary techniques in software testing. The natural way …

We present a novel concept for teach-and-repeat visual navigation. The proposed concept is based on a mathematical model, which indicates that in tea…

In this paper we are using formal analogy of electromagnetic wave equation and Schrodinger equation in order to study the phenomenon of perfect tunne…

Two optical flow estimation problems are addressed: i) occlusion estimation and handling, and ii) estimation from image sequences longer than two fra…

This paper describes a new open domain dialogue system Alquist developed as part of the Alexa Prize competition for the Amazon Echo line of products.…

For a considerable number of software projects, the creation of effective test cases is hindered by design documentation that is either lacking, inco…

Many problems of systems control theory boil down to solving polynomial equations, polynomial inequalities or polyomial differential equations. Recen…

Testing processes and workflows in information and Internet of Things systems is a major part of the typical software testing effort. Consistent and …

The optimal currents on arbitrarily shaped radiators with respect to the minimum quality factor Q are found using a simple and efficient procedure. T…

Activity-based models, as a specific instance of agent-based models, deal with agents that structure their activity in terms of (daily) activity sche…

The two-stream instability is a common instability, responsible for many observed phenomena in nature, especially the interaction of jets of various …

Algorithmic differentiation (AD) allows exact computation of derivatives given only an implementation of an objective function. Although many AD tool…

Asynchronous distributed methods are a popular way to reduce the communication and synchronization costs of large-scale optimization. Yet, for all th…

Most image labeling problems such as segmentation and image reconstruction are fundamentally ill-posed and suffer from ambiguities and noise. Higher …

We consider a distributed system with identical agents, constant-spacing policy and asymmetric bidirectional control, where the asymmetry is due to d…

By signing up you accept our content policy

Already have an account? Sign in

No a member yet? Create an account