999 search results - page 98 / 200 » Constraints in Non-Boolean Contexts |
179
Voted
VALUETOOLS
2006
ACM
16 years 6 days ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
156
click to vote
HYBRID
2001
Springer
15 years 10 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...
160
Voted
CSMR
1998
IEEE
15 years 10 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...
167
click to vote
TREC
2001
15 years 7 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...
174
click to vote
DPC
1996
15 years 7 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...