1385 search results - page 91 / 277 » Natural Rewriting for General Term Rewriting Systems |
151
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
156
click to vote
FQAS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
173
click to vote
JAR
2006
15 years 6 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
153
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Contextual search refers to proactively capturing the information need of a user by automatically augmenting the user query with information extracted from the search context; for...
170
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Merchants selling products on the Web often ask their customers to review the products that they have purchased and the associated services. As e-commerce is becoming more and mor...