Many tourist web sites nowadays offer the possibility to preview the places you are going to visit. In our project (JubilEasy) we want to offer to all persons wishing to come to R...
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...
We present randomized algorithms for computing many faces in an arrangement of lines or of segments in the plane, which are considerably simpler and slightly faster than the previo...
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
Silhouette recognition can reconstruct the three-dimensional pose of a human subject in monocular video so long as the camera's view remains unoccluded by other objects. This ...