Sciweavers

1518 search results - page 170 / 304
» Cryptographic Test Correction
Sort
View
SIGCOMM
1997
ACM
15 years 5 months ago
Automated Packet Trace Analysis of TCP Implementations
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...
Vern Paxson
ISER
1993
Springer
150views Robotics» more  ISER 1993»
15 years 4 months ago
A Unified Approach to Planning, Sensing and Navigation for Mobile Robots
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...
Alexander Zelinsky, Shin'ichi Yuta
ICSE
2010
IEEE-ACM
15 years 4 months ago
Zenet: generating and enforcing real-time temporal invariants
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...
Chris Lewis
81
Voted
DIAL
2004
IEEE
158views Image Analysis» more  DIAL 2004»
15 years 4 months ago
Classification of Hebrew Calligraphic Handwriting Styles: Preliminary Results
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...
99
Voted
CGI
2006
IEEE
15 years 4 months ago
Shape Matching Based on Fully Automatic Face Detection on Triangular Meshes
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...