8828 search results - page 294 / 1766 » Formal methods in practice |
184
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Current automated market makers over binary events suffer from two problems that make them impractical. First, they are unable to adapt to liquidity, so trades cause prices to mo...
186
Voted
WADS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity flow problems arising in VLSI applications such as Global Routing via Buffer Block...
162
click to vote
JAVA
1999
Springer
15 years 11 months ago
1999
Springer
As Java technology matures, an increasing number of applications that have traditionally been the domain of languages such as C++ are implemented in Java. Many of these applicatio...
167
click to vote
BMVC
2002
15 years 9 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...
167
click to vote
AAAI
2006
15 years 8 months ago
2006
We show in this paper that the influential algorithm of iterative belief propagation can be understood in terms of exact inference on a polytree, which results from deleting enoug...