331 search results - page 7 / 67 » Fragments of order |
DLOG
2009
13 years 5 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
SAIG
2000
Springer
13 years 11 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
This paper shows a scheme for incremental evaluation of XPath queries. Here, we focus on a monotone fragment of XPath, i.e., when a data is deleted from (or inserted to) the datab...
BXML
2003
13 years 8 months ago
2003
Large XML documents which are stored in an XML database can be transformed further by an XSL processor using an XSLT stylesheet. In order to answer an XPath query based on the tran...
AOSE
2008
Springer
13 years 9 months ago
2008
Springer
The construction of ad-hoc design processes is more and more required today. In this paper we present our approach for the construction of a new design process following the Situat...