2702 search results - page 350 / 541 » Practically Applicable Formal Methods |
111
click to vote
ACSC
2003
IEEE
15 years 7 months ago
2003
IEEE
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
140
click to vote
CAEPIA
2003
Springer
15 years 7 months ago
2003
Springer
One of the most important tasks for determining association rules consists of calculating all the maximal frequent itemsets. Specifically, some methods to obtain these itemsets hav...
159
Voted
WISA
2009
Springer
15 years 7 months ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...
102
click to vote
WADS
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we consider the problem of finding a mixed upward planarization of a mixed graph, i.e., a graph with directed and undirected edges. The problem is a generalization...
116
click to vote
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes improved methods for XTR key representation and parameter generation (cf. [4]). If the field characteristic is properly chosen, the size of the XTR ...