3457 search results - page 402 / 692 » A Symbol Is Not a Symbol |
213
click to vote
DIGRA
2005
Springer
16 years 10 days ago
2005
Springer
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...
200
Voted
EUROCRYPT
2005
Springer
16 years 10 days ago
2005
Springer
We prove, under the strong RSA assumption, that the group of invertible integers modulo the product of two safe primes is pseudo-free. More specifically, no polynomial time algor...
159
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
A hybrid evolutionary algorithm (EA) for the p-median problem consist of two stages, each of which is a steady-state hybrid EA. These EAs encode selections of medians as subsets o...
176
Voted
ICALP
2005
Springer
16 years 10 days 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
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...