1836 search results - page 216 / 368 » Hierarchies for semantic classes |
177
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
164
click to vote
TCC
2007
Springer
16 years 21 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
168
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
202
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
199
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...