5606 search results - page 658 / 1122 » Randomization Techniques for Graphs. |
161
click to vote
CEC
2005
IEEE
16 years 17 days ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
155
click to vote
PADS
2005
ACM
16 years 15 days ago
2005
ACM
We introduce a novel worm containment strategy that integrates two complementary worm quarantine techniques. The two techniques are linked, with one strategy employing the other a...
199
click to vote
IWDW
2004
Springer
16 years 9 days ago
2004
Springer
: Invertible authentication techniques have been used in some special applications (such as medical or military) where original data can be recovered after authenticated. In this p...
194
click to vote
SCVMA
2004
Springer
16 years 9 days ago
2004
Springer
This paper deals with the motion detection problem. This issue is of key importance in many application fields. To solve this problem, we compute the dominant motion in the sequen...
186
click to vote
VMCAI
2004
Springer
16 years 9 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...