Expressive power (computer science)
Semantic Scholar uses AI to extract papers important to this topic.
It has previously been an open problem whether all Boolean submodular functions can be decomposed into a sum of binary submodular… (More)
- ACM Trans. Database Syst.
The common abstraction of XML Schema by unranked regular tree languages is not entirely accurate. To shed some light on the… (More)
We consider large margin estimation in a broad range of prediction models where inference involves solving combinatorial… (More)
- International Semantic Web Conference
Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive… (More)
This article presents a Support Vector Machine (SVM) like learning system to handle multi-label problems. Such problems are… (More)
A programmable coordination medium is a shared communication device whose behaviour can be defined by means of a suitable… (More)
The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming… (More)
We study here the language Datalog(≠), which is the query language obtained from Datalog by allowing equalities and inequalities… (More)
The <italic>set-height</italic> of a complex object type is defined to be its level of nesting of the set construct. In a query… (More)
- Information and Control
We characterize the polynomial time computable queries as those ex pressible in relational calculus plus a least xed point… (More)