12981 search results - page 2310 / 2597 » Model Checking (Abstract) |
147
click to vote
TSD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper suggests a novel representation for documents that is intended to improve precision. This representation is generated by combining two central techniques: Rand...
172
click to vote
WSOM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The distribution of a class of objects, such as images depicting a specific topic, can be studied by observing the best-matching units (BMUs) of the objects’ feature v...
138
click to vote
AOSE
2001
Springer
15 years 9 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
136
click to vote
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...
125
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...