1192 search results - page 59 / 239 » Symbolic Query Exploration |
DATESO
2004
15 years 3 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
112
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
104
Voted
IJCAI
2007
15 years 3 months ago
2007
Within the larger area of automatic acquisition of knowledge from the Web, we introduce a method for extracting relevant attributes, or quantifiable properties, for various class...
160
click to vote
SEBD
2008
15 years 3 months ago
2008
Abstract. Peer Data Management Systems (PDMSs) have been recently proposed as an evolution of Peer-To-Peer (P2P) systems toward a more semantics-based description of peers' co...
114
Voted
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Exploratory ad-hoc queries could return too many answers ? a phenomenon commonly referred to as "information overload". In this paper, we propose to automatically catego...