1366 search results - page 152 / 274 » Modularizing Contexted Constraints |
117
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
128
click to vote
CSMR
1998
IEEE
15 years 7 months ago
1998
IEEE
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
121
click to vote
TREC
2001
15 years 4 months ago
2001
CL Research's question-answering system (DIMAP-QA) for TREC-10 only slightly extends its semantic relation triple (logical form) technology in which documents are fully parse...
134
click to vote
PRL
2007
15 years 2 months ago
2007
The visual detection and recognition of objects is facilitated by context. This paper studies two types of learning methods for realizing context-based object detection in paintin...
138
click to vote
DPC
1996
15 years 4 months ago
1996
Retrieving images from very large collections, using image content as a key, is becoming an important problem. Users prefer to ask for pictures using notions of content that are st...