5608 search results - page 302 / 1122 » On the Theory of Matchgate Computations |
154
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We study multi-unit auctions where the bidders have a budget constraint, a situation very common in practice that has received relatively little attention in the auction theory li...
210
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we present a novel intrusion detection architecture based on Idiotypic Network Theory (INIDS), that aims at dealing with large scale network attacks featuring vari...
156
click to vote
ISVD
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
150
click to vote
RTA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
135
click to vote
MABS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Dynamic and resource-constrained environments raise interesting issues for partnership formation and multi-agent systems. In a scenario in which agents interact with each...