10890 search results - page 2174 / 2178 » Automatic Complexity Analysis |
135
click to vote
PODC
2011
ACM
14 years 3 months ago
2011
ACM
We study several variants of coordinated consensus in dynamic networks. We assume a synchronous model, where the communication graph for each round is chosen by a worst-case adver...
117
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
225
click to vote
SIGECOM
2011
ACM
14 years 3 months ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...
131
click to vote
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
107
click to vote
ALDT
2011
Springer
14 years 11 days ago
2011
Springer
A variety of preference aggregation schemes and voting rules have been developed in social choice to support group decision making. However, the requirement that participants provi...