4488 search results - page 219 / 898 » Properties of NP-Complete Sets |
153
click to vote
ESA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The construction of t-spanners of a given point set has received a lot of attention, especially from a theoretical perspective. In this paper we perform the first extens...
153
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
151
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
171
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
High dimensional data visualization is critical to data analysts since it gives a direct view of original data. We present a method to visualize large amount of high dimensional d...
140
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
NTRUEncrypt is unusual among public-key cryptosystems in that, with standard parameters, validly generated ciphertexts can fail to decrypt. This affects the provable security prop...