709 search results - page 70 / 142 » An Equational Theory for Transactions |
EGH
2010
Springer
14 years 9 months ago
2010
Springer
We present a rasterizer, based on time-dependent edge equations, that computes analytical visibility in order to render accurate motion blur. The theory for doing the computations...
103
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
WWW
2008
ACM
15 years 12 months ago
2008
ACM
Online auctions have become a pervasive transaction mechanism for e-commerce. As the largest online marketplace in the world, eBay is an attractive case study that enables the stu...
POPL
2004
ACM
15 years 4 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
112
click to vote
AI
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we describe a novel bidding strategy that autonomous trading agents can use to participate in Continuous Double Auctions (CDAs). Our strategy is based on both short...