4340 search results - page 426 / 868 » Formal Methods and Cryptography |
183
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...
179
click to vote
AAAI
2011
14 years 6 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningāwithout human interventionā...
205
click to vote
PLDI
2005
ACM
16 years 12 days ago
2005
ACM
We introduce a language and system that supports deļ¬nition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
193
click to vote
DKE
2007
15 years 6 months ago
2007
A product model is a formal and structured deļ¬nition of product information. The most common procedure for deļ¬ning a product data model is to ļ¬rst describe the business and/...
209
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Object localization and classification are important problems in computer vision.
However, in many applications, exhaustive search over all class labels and image
locations is co...