Sciweavers

2740 search results - page 250 / 548
» Approximating Component Selection
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Distributions of 3D DCT coefficients for video
The three-dimensional discrete cosine transform (3D DCT) has been proposed as an alternative to motion-compensated transform coding for video content. However, so far no definiti...
Malavika Bhaskaranand, Jerry D. Gibson
CRYPTO
2009
Springer
105views Cryptology» more  CRYPTO 2009»
16 years 1 months ago
Privacy-Enhancing Auctions Using Rational Cryptography
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...
Peter Bro Miltersen, Jesper Buus Nielsen, Nikos Tr...
RTAS
2007
IEEE
16 years 24 days ago
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
Unmesh D. Bordoloi, Samarjit Chakraborty
SEFM
2006
IEEE
16 years 16 days ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
ACG
2006
Springer
16 years 16 days ago
RSPSA: Enhanced Parameter Optimization in Games
Most game programs have a large number of parameters that are crucial for their performance. Tuning these parameters by hand is rather difficult. Therefore automatic optimization a...
Levente Kocsis, Csaba Szepesvári, Mark H. M...