322 search results - page 25 / 65 » Expressive power and abstraction in Essence |
P2P
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper some representative peer-to-peer file sharing applications are compared against two sets of features. The first set describes the semantics of the relevant primiti...
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
DASFAA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. In this paper, we present a theoretical foundation for querying inductive databases, which can accommodate disparate mining tasks. We present a data mining algebra includ...
127
click to vote
AIML
2008
15 years 1 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...