We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
Much of the focus of the research effort in path planning for mobile robots has centred on the problem of finding a path from a start location to a goal location, while minimising...
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
This paper presents preliminary results for document classification of ancient Hebrew manuscripts. The main goal is to discriminate between documents of different writing styles, ...
Itay Bar Yosef, Klara Kedem, Its'hak Dinstein, Mal...
This paper tackles a particular shape matching problem: given a data base of shapes (described as triangular meshes), we search for all shapes which describe a human. We do so by a...
Wolfram von Funck, Holger Theisel, Hans-Peter Seid...