11394 search results - page 2187 / 2279 » Error-Correcting Data Structures |
125
click to vote
CVPR
2007
IEEE
15 years 9 months ago
2007
IEEE
Although it is usually assumed in many pattern recognition problems that different patterns are distinguishable, some patterns may have inseparable overlap. For example, some faci...
137
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
A negotiation chain is formed when multiple related negotiations are spread over multiple agents. In order to appropriately order and structure the negotiations occurring in the c...
129
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
131
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
133
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
An alarming trend in malware attacks is that they are armed with stealthy techniques to detect, evade, and subvert malware detection facilities of the victim. On the defensive sid...