537 search results - page 21 / 108 » A Call to Regularity |
119
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
136
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We propose a new family of classification algorithms in the spirit of support vector machines, that builds in non-conservative protection to noise and controls overfitting. O...
193
Voted
ICOIN
2012
Springer
13 years 11 months ago
2012
Springer
— Multipath TCP (MPTCP) has just been approved by the IETF. It was designed to be fairly shared with regular TCP, so its performance is equivalent that of a regular TCP flow tha...
129
Voted
STOC
1998
ACM
15 years 7 months ago
1998
ACM
In [6], Gallager introduces a family of codes based on sparse bipartite graphs, which he calls low-density parity-check codes. He suggests a natural decoding algorithm for these c...
122
Voted
CSR
2006
Springer
15 years 7 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...