3333 search results - page 190 / 667 » Abstract Proof Search |
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
onograph will be also published in Spanish (full version printed; summary, abstracts, and some articles online) by Novática, journal of the Spanish CEPIS society ATI (Asociación ...
167
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
158
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...
141
click to vote
KI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
140
click to vote
AMT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Consistent description and representation method of user interests are required for personalized Web applications. In this paper, we provide a formal definition and the &...