7597 search results - page 57 / 1520 » On the design of metric relations |
127
Voted
IWSEC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
96
Voted
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
102
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Since performance on FPGAs is dominated by the routing architecture rather than wirelength, we propose a new architecture-aware approach to initial FPGA placement that models the ...
80
Voted
SG
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
BMVC
2001
15 years 2 months ago
2001
Gait is a new biometric aimed to recognise a subject by the manner in which they walk. Gait has several advantages over other biometrics, most notably that it is non-invasive and ...