3233 search results - page 447 / 647 » Rule Modeling and Markup |
120
click to vote
EMMCVPR
2009
Springer
16 years 1 months ago
2009
Springer
7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, Bonn, Germany, August 24-27, 2009 Bayesian boundary models often assume tha...
160
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
212
click to vote
SLIP
2009
ACM
16 years 1 months ago
2009
ACM
Individual dies in 3D integrated circuits are connected using throughsilicon-vias (TSVs). TSVs not only increase manufacturing cost, but also incur silicon area, delay, and power ...
185
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
During interoperability exchanges, organizations are jointly conducting computation and sharing tasks. However, organizations can have different security policies. To guarantee g...
176
click to vote
ADMA
2008
Springer
16 years 29 days ago
2008
Springer
Private information management and compliance are important issues nowadays for most of organizations. As a major communication tool for organizations, email is one of the many pot...