2702 search results - page 468 / 541 » Practically Applicable Formal Methods |
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— Several techniques have been proposed for measuring network-internal delays. However, those that rely on router responses have questionable performance, and all propose...
SMI
2003
IEEE
14 years 1 months ago
2003
IEEE
Skeleton is a lower dimensional shape description of an object. The requirements of a skeleton differ with applications. For example, object recognition requires skeletons with pr...
CA
2002
IEEE
14 years 1 months ago
2002
IEEE
Motion capture can be an effective method of creating realistic human motion for animation. Unfortunately, the quality demands for animation place challenging demands on a capture...
CALC
2001
Springer
14 years 20 days ago
2001
Springer
We show that recent results of Coppersmith, Boneh, Durfee and Howgrave-Graham actually apply in the more general setting of (partially) approximate common divisors. This leads us t...