7943 search results - page 138 / 1589 » A calculus for costed computations |
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
ICASSP
2007
IEEE
15 years 5 months ago
2007
IEEE
A fast mode decision algorithm for an H.264 encoder is proposed which reduces computation by using a statistical dependency of macroblock rate-distortion (RD) costs. The algorithm...
83
Voted
ISORC
2003
IEEE
15 years 4 months ago
2003
IEEE
Quality and risk concerns currently limit the application of commercial off-the-shelf (COTS) software components to non-critical applications. Software metrics can quantify factor...
123
Voted
MMB
2010
Springer
15 years 27 days ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
DAGSTUHL
2007
15 years 11 days ago
2007
Advances in information technology and computational power have opened the doors for auctioneers to explore a range of auction formats by considering varying degrees of bid expres...