7597 search results - page 57 / 1520 » On the design of metric relations |
191
click to vote
IWSEC
2010
Springer
15 years 4 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 ...
156
click to vote
APLAS
2010
ACM
15 years 3 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...
161
click to vote
DAC
2006
ACM
16 years 7 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 ...
138
click to vote
SG
2005
Springer
15 years 11 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...
148
click to vote
BMVC
2001
15 years 8 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 ...