357 search results - page 66 / 72 » Algorithms for the coalitional manipulation problem |
100
click to vote
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
153
click to vote
PROCEDIA
2011
14 years 2 months ago
2011
The assessment of chemical similarity between molecules is a basic operation in chemoinformatics, a computational area concerning with the manipulation of chemical structural info...
117
click to vote
ICCSA
2007
Springer
15 years 6 months ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
A top-k query retrieves the k highest scoring tuples from a data set with respect to a scoring function defined on the attributes of a tuple. The efficient evaluation of top-k q...
GG
2004
Springer
15 years 5 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...