Sciweavers

100 search results - page 9 / 20
» Foundations of Attack-Defense Trees
Sort
View
UAI
1993
15 years 1 months ago
Probabilistic Assumption-Based Reasoning
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
Jürg Kohlas, Paul-André Monney
DAWAK
2010
Springer
14 years 12 months ago
Region of Interest Based Image Categorization
Region Of Interest Based Image Classification (ROIBIC) is a mechanism for categorising images according to some specific component or object that features across a given image set....
Ashraf Elsayed, Frans Coenen, Marta García-...
SIGMOD
2006
ACM
121views Database» more  SIGMOD 2006»
15 years 12 months ago
Rewriting nested XML queries using nested views
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...
Nicola Onose, Alin Deutsch, Yannis Papakonstantino...
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 6 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
DLS
2007
138views Languages» more  DLS 2007»
15 years 3 months ago
OMeta: an object-oriented language for pattern matching
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
Alessandro Warth, Ian Piumarta