1912 search results - page 316 / 383 » GOAL as a Planning Formalism |
150
click to vote
SACRYPT
2009
Springer
16 years 22 days ago
2009
Springer
Format-preserving encryption (FPE) encrypts a plaintext of some specified format into a ciphertext of identical format—for example, encrypting a valid credit-card number into a ...
159
click to vote
ICRA
2008
IEEE
16 years 19 days ago
2008
IEEE
— We present heuristic algorithms for pruning large sets of candidate paths or trajectories down to smaller subsets that maintain desirable characteristics in terms of overall re...
157
click to vote
IEEEARES
2008
IEEE
16 years 18 days ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
156
click to vote
IROS
2008
IEEE
16 years 18 days ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
146
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...