3483 search results - page 212 / 697 » Forward |
137
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
167
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
164
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Ongoing research has established a new methodology for using genetic algorithms [2] to evolve forward and inverse transforms that significantly reduce quantization error in recons...
161
click to vote
ISW
2005
Springer
15 years 12 months ago
2005
Springer
We present a fully symmetric constant round authenticated group key agreement protocol in dynamic scenario. Our proposed scheme achieves forward secrecy and is provably secure und...
176
click to vote
SCIA
2005
Springer
15 years 12 months ago
2005
Springer
Experiments were carried out to investigate the possibility of training cellular automata to to perform processing. Currently, only binary images are considered, but the space of r...