12981 search results - page 2277 / 2597 » Model Checking (Abstract) |
145
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
131
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
163
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We improve the performance of sparse matrix-vector multiplication (SpMV) on modern cache-based superscalar machines when the matrix structure consists of multiple, irregu...
140
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Some recent works have addressed the object recognition problem by representing objects as the composition of independent image parts, where each part is modeled with “...
120
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...