Sciweavers

4382 search results - page 708 / 877
» Query by Semantic Example
Sort
View
134
Voted
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
15 years 4 months ago
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
Hasan M. Jamil
CSL
2010
Springer
15 years 4 months ago
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
David A. Basin, Cas J. F. Cremers
ICMCS
2010
IEEE
169views Multimedia» more  ICMCS 2010»
15 years 4 months ago
Comparison of clustering approaches for summarizing large populations of images
This paper compares the efficacy and efficiency of different clustering approaches for selecting a set of exemplar images, to present in the context of a semantic concept. We eval...
Yushi Jing, Michele Covell, Henry A. Rowley
CONCURRENCY
2008
142views more  CONCURRENCY 2008»
15 years 3 months ago
Provenance trails in the Wings/Pegasus system
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...
Jihie Kim, Ewa Deelman, Yolanda Gil, Gaurang Mehta...
148
Voted
CN
2007
148views more  CN 2007»
15 years 2 months ago
Using taxonomies for content-based routing with ants
Although the ant metaphor has been successfully applied to routing of data packets both in wireless and fixed networks, little is known yet about its appropriateness for search i...
Elke Michlmayr, Arno Pany, Gerti Kappel