
Subspace Determination through Local Intrinsic Dimensional Decomposition: Theory and Experimentation
Axisaligned subspace clustering generally entails searching through eno...
read it

Rotational Subgroup Voting and Pose Clustering for Robust 3D Object Recognition
It is possible to associate a highly constrained subset of relative 6 Do...
read it

In search of inliers: 3d correspondence by local and global voting
We present a method for finding correspondence between 3D models. From a...
read it

Multiple chaotic central pattern generators with learning for legged locomotion and malfunction compensation
An originally chaotic system can be controlled into various periodic dyn...
read it

A Uniform Framework for Timed Automata and Beyond
Timed automata, and machines alike, currently lack a general mathematica...
read it

On Asynchrony and Choreographies
Choreographic Programming is a paradigm for the development of concurren...
read it

That's Enough: Asynchrony with Standard Choreography Primitives
Choreographies are widely used for the specification of concurrent and d...
read it

Towards Pythonbased Domainspecific Languages for Selfreconfigurable Modular Robotics Research
This paper explores the role of operating system and highlevel language...
read it

Degreeconstrained 2partitions of graphs
A (δ≥ k_1,δ≥ k_2)partition of a graph G is a vertexpartition (V_1,V_2)...
read it

Classical HigherOrder Processes
Classical Processes (CP) is a calculus where the proof theory of classic...
read it

Relative WorstOrder Analysis: A Survey
Relative worstorder analysis is a technique for assessing the relative ...
read it

Advice Complexity of Priority Algorithms
The priority model of "greedylike" algorithms was introduced by Borodin...
read it

The Scheduler is Very Powerful in Competitive Analysis of Distributed List Accessing
This work is a continuation of efforts to define and understand competit...
read it

Multirobot motionformation distributed control with sensor selfcalibration: experimental validation
In this paper, we present the design and implementation of a robust moti...
read it

Collaborative targettracking control using multiple autonomous fixedwing UAVs with constant speeds: Theory and experiments
This paper considers a collaborative tracking control problem using a gr...
read it

Constraint programming for flexible Service Function Chaining deployment
Network Function Virtualization (NFV) and Software Defined Networking (S...
read it

Flexible collaborative transportation by a team of rotorcraft
We propose a combined method for the collaborative transportation of a s...
read it

A Formal Verification Technique for Architecturebased Embedded Systems in EASTADL
Development of quality assured softwareintensive systems, such as autom...
read it

Taking Linear Logic Apart
Process calculi based on logic, such as πDILL and CP, provide a foundati...
read it

Online Bin Covering with Advice
The bin covering problem asks for covering a maximum number of bins with...
read it

Spanning eulerian subdigraphs in semicomplete digraphs
A digraph is eulerian if it is connected and every vertex has its indeg...
read it

Two modes of recognition: algebra, coalgebra, and languages
The aim of the paper is to build a connection between two approaches tow...
read it

Hermite Interpolation and data processing errors on Riemannian matrix manifolds
The main contribution of this paper is twofold: On the one hand, a gener...
read it

On the observability of relative positions in leftinvariant multiagent control systems and its application to formation control
We consider the localization problem between agents while they run a for...
read it

Towards a Formal Model for Composable Container Systems
In modern cloudbased architectures, containers play a central role: the...
read it

PointPoseNet: Accurate Object Detection and 6 DoF Pose Estimation in Point Clouds
We present a learningbased method for 6 DoF pose estimation of rigid ob...
read it

Imagining DataObjects for Reflective SelfTracking
While selftracking data is typically captured realtime in a lived expe...
read it

On the parameterized complexity of 2partitions
We give an FPT algorithm for deciding whether the vertex set a digraph D...
read it

A CSP implementation of the directed bigraph embedding problem
Directed bigraphs are a metamodel which generalises Milner's bigraphs b...
read it

Component Order Connectivity in Directed Graphs
A directed graph D is semicomplete if for every pair x,y of vertices of ...
read it

Anomaly detection in Contextaware Feature Models
Feature Models are a mechanism to organize the configuration space and f...
read it

Graph Transformation for Enzymatic Mechanisms
Motivation: The design of enzymes is as challenging as it is consequenti...
read it
SDU
The University of Southern Denmark offers higher education courses in the form of Bachelor's, Master's and Continuing Programmes (Master's programmes, parttime programmes) as well as research programmes (PhD). The university has five faculties and is represented...