2006 search results - page 130 / 402 » Heuristic Security-Testing Methods |
PAM
2005
Springer
15 years 6 months ago
2005
Springer
We propose a practical technique for the identification of lossy network links from end-to-end measurements. Our scheme is based on a function that computes the likelihood of each...
102
Voted
GD
2005
Springer
15 years 6 months ago
2005
Springer
We present a reduction method that reduces a graph to a smaller core graph which behaves invariant with respect to planarity measures like crossing number, skewness, and thickness....
102
Voted
AISC
2004
Springer
15 years 6 months ago
2004
Springer
The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced...
103
Voted
ISMDA
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the modelling and segmentation with correction of inhomogeneity in magnetic resonance imaging of shoulder. For that purpose a new heuristic is proposed using a ...
139
Voted
FPL
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we propose a design space exploration method targeting reconfigurable architectures that takes place at the algorithmic level and aims to rapidly highlight architect...