2501 search results - page 56 / 501 » Logics with Rank Operators |
132
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
182
Voted
SIGMOD
2006
ACM
16 years 24 days ago
2006
ACM
This paper presents a principled framework for efficient processing of ad-hoc top-k (ranking) aggregate queries, which provide the k groups with the highest aggregates as results....
116
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The interaction among particles is a vital aspect of Particle Swarm Optimization. As such, it has a strong influence on the swarm’s success. In this study various approaches re...
CORR
2010
Springer
15 years 23 days ago
2010
Springer
A number of measures have been proposed for the direction of the coupling between two time series, and transfer entropy (TE) has been found in recent studies to perform consistentl...
115
Voted
TNN
2010
14 years 7 months ago
2010
In recent years, learning from imbalanced data has attracted growing attention from both academia and industry due to the explosive growth of applications that use and produce imba...