2501 search results - page 26 / 501 » Logics with Rank Operators |
ENTCS
2007
13 years 8 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
LORI
2009
Springer
14 years 3 months ago
2009
Springer
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
EUSFLAT
2009
13 years 6 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
Traditional bitmap indexes are utilized as a special type of primary or clustered indexes where the queries are answered by performing fast logical operations supported by hardwar...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We propose a novel conception language for exploring the results retrieved by several internet search services (like search engines) that cluster retrieved documents. The goal is ...