6020 search results - page 639 / 1204 » A New Approach to Model Counting |
201
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a method to retrieve images found on web pages with specified object class labels, using an analysis of text around the image and of image appearance. Our method dete...
176
click to vote
ISVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
200
click to vote
RAID
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
197
click to vote
MM
2003
ACM
16 years 17 days ago
2003
ACM
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...
230
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...