3116 search results - page 334 / 624 » Positively dependent types |
178
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we analyse how traders select marketplaces and bid in a setting with multiple competing marketplaces. Specifically, we use a fictitious play algorithm to analyse the...
195
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent work on analyzing query logs shows that a significant fraction of queries are temporal, i.e., relevancy is dependent on time, and temporal queries play an importan...
141
click to vote
BC
2008
15 years 6 months ago
2008
For simulations of large spiking neuron networks, an accurate, simple and versatile single-neuron modeling framework is required. Here we explore the versatility of a simple two-eq...
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
194
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We consider the problem of computing Nash Equilibria of action-graph games (AGGs). AGGs, introduced by Bhat and Leyton-Brown, is a succinct representation of games that e...