107 search results - page 21 / 22 » Reasoning on regular path queries |
DICTA
2003
13 years 7 months ago
2003
Abstract This paper presents a segmentation technique based on prediction and adaptive region merging. While many techniques for segmentation exist, few of them are suited for the ...
ATVA
2007
Springer
14 years 14 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
USS
2010
2010
P4P: Practical Large-Scale Privacy-Preserving Distributed Computation Robust against Malicious Users
13 years 4 months ago
In this paper we introduce a framework for privacypreserving distributed computation that is practical for many real-world applications. The framework is called Peers for Privacy ...
KDD
2009
ACM
14 years 6 months ago
2009
ACM
Most of recommender systems try to find items that are most relevant to the older choices of a given user. Here we focus on the "surprise me" query: A user may be bored ...
BIBM
2008
IEEE
14 years 23 days ago
2008
IEEE
Network alignments are extensively used for comparing, exploring, and predicting biological networks. Existing alignment tools are mostly based on isomorphic and homeomorphic embe...