When will we be secure? Nobody knows for sure ā but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersā...
Detection of obstacles for autonomous vehicles is more difficult when the terrain is not locally planar and remains an open problem. We have developed an approach suited for obsta...
In this paper we present new algorithms for spectral graph partitioning. Previously, the best partitioning methods were based on a combination of Combinatorial algorithms and appli...
People are usually concerned with the privacy of their personal information. However, the problem of privacy is also present when the information is directly linked to people, for...
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the diļ¬culties in formulating a good analog of Herbrandās Theorem, ...