In context-aware route planning, a set of agents has to plan routes on a common infrastructure and each agent has to plan a conflict-free route from a source to a destination without invalidating plans made by other agents. The existence of such a conflict-free set of plans can be ensured if each agent is allowed to reserve time slots on the infrastructure resources it intends to use. In the mu...

Motivated by extremely large-scale machine learning problems, we introduce a new multistage algorithmic framework for submodular maximization (called MultGreed), where at each stage we apply an approximate greedy procedure to maximize surrogate submodular functions. The surrogates serve as proxies for a target submodular function but require less memory and are easy to evaluate. We theoreticall...

Phishing emails risk increases progressively, which pose a real threat to users of computers, organizations and lead to significant financial losses. Fighting zero day phishing emails using content based server side classifiers is considered as the best method to detect such attacks. This technique which is based on machine learning algorithms is trained by the set of phishing email features an...

A broad overview of approaches to data fusion is provided in [1]. The most powerful current approach to real-time, scan-based data fusion is multi-hypothesis tracking (MHT), which was first introduced in the late 1970s [11] and made feasible in the mid-1980s with the track-oriented approach [9]. A number of enhancements to the basic approach have appeared over the years [1]. If contact measurem...

A multi-stage blind clustering algorithm is proposed for equalisation of multi-level quadrature amplitute modulation (M-$AM) channels. A hierarchical decomposition divides the task of equalising a high-order QAM channel into much simpler sub-tasks. Each sub-task can be accomplished fast and reliably using a blind clustering algorithm derived originally for 4-QAM signals. The constant modulus al...

We settle three basic questions that naturally arise when verifying multi-stage functional programs. Firstly, does adding staging to a language compromise any equalities that hold in the base language? Unfortunately it does, and more care is needed to reason about terms with free variables. Secondly, staging annotations, as the name “annotations” suggests, are often thought to be orthogonal to ...

While visual programming languages continue to gain popularity in domains ranging from scientific computing to real-time systems, the wealth of abstraction mechanisms, reasoning principles, and type systems developed over the last thirty years is currently available mainly for textual languages. With the goal of understanding how results in the textual languages can be mapped to the graphical s...