2911 search results - page 205 / 583 » A Theory of Expressiveness in Mechanisms |
159
click to vote
ISCC
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we analyze a novel paradigm of reliable communications which is not based on the traditional timeout-and-retransmit mechanism of TCP. Our approach, which we call FBP...
140
click to vote
SIGMETRICS
2004
ACM
15 years 12 months ago
2004
ACM
Balancing peer-to-peer graphs, including zone-size distributions, has recently become an important topic of peer-topeer (P2P) research [1], [2], [6], [19], [31], [36]. To bring an...
143
click to vote
ICAISC
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a novel approach to financial time series analysis and prediction. It is mainly devoted to the problem of forecasting university facility and administrative co...
211
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
231
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...