3040 search results - page 379 / 608 » Independent Natural Extension |
221
click to vote
TIT
2010
15 years 1 months ago
2010
Most communication systems use some form of feedback, often related to channel state information. The common models used in analyses either assume perfect channel state information...
248
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
227
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
173
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Meiotic recombination is a fundamental biological event and one of the principal evolutionary forces responsible for shaping genetic variation within species. In addition to its fu...
199
Voted
APN
2001
Springer
15 years 11 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...