5948 search results - page 1020 / 1190 » Computing Robust Counter-Strategies |
108
Voted
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
120
click to vote
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
142
click to vote
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
125
Voted
ICITA
2005
IEEE
15 years 9 months ago
2005
IEEE
Wireless network communities face a number of difficulties due to lack of integration between network and community resources management. In this work, we present a novel solution...
128
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The existing halftone image watermarking methods were proposed to embed a watermark bit in a halftone dot, which corresponds to a pixel, to generate stego halftone image. This one...