4810 search results - page 235 / 962 » Modeling Value Speculation |
159
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
172
click to vote
AAAI
2008
15 years 9 months ago
2008
We present the design of a banner advertising auction which is considerably more expressive than current designs. We describe a general model of expressive ad contracts/bidding an...
170
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. RAID systems are widely deployed, both as standalone storage solutions and as the building blocks of modern virtualised storage platforms. An accurate model of RAID syste...
147
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
This paper analyzes U.S. university press datasets (2001-2007) to determine net publishers' revenues and net publishers' units, the major markets and channels of distrib...
199
click to vote
AIPS
2006
15 years 8 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...