17049 search results - page 257 / 3410 » cans 2007 |
174
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
147
click to vote
BC
1998
15 years 6 months ago
1998
The traditional paradigm for studying the magical number is questioned and a new approach is sought in order to obtain a better conceptual understanding of this phenomenon. Buildin...
165
click to vote
INTERACT
2007
15 years 8 months ago
2007
Nowadays, everyday life is becoming a multi-platform environment where people are surrounded by different types of devices through which they can connect to networks in different w...
158
click to vote
MVA
2007
15 years 8 months ago
2007
In this paper, we restore a blurred image caused by defocus of a lens using the shift-invariant Wavelet transform realized by the RI-Spline Wavelets. In a defocus blurred image, t...
193
click to vote
SERP
2007
15 years 8 months ago
2007
- There are many agent tools for facilitating professional programmers in developing multi-agent systems (MAS); however, not all of them can be easily used by users who are not pro...