Sciweavers

1679 search results - page 102 / 336
» Strong order equivalence
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
Enhanced coding of high-frequency tonal components in MPEG-D USAC through joint application of ESBR and sinusoidal modeling
The new eSBR tool of MPEG-D Universal Speech and Audio Coding offers a great advantage in compression of high frequency content, however it produces audible artifacts for sounds w...
Tomasz Zernicki, Maciej Bartkowiak, Marek Domanski
ASP
2005
Springer
14 years 3 months ago
Applications of Preferences using Answer Set Programming
Preferences are useful when the space of feasible solutions of a given problem is dense but not all these solutions are equivalent w.r.t. some additional requirements. In this case...
Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieve...
TARK
2005
Springer
14 years 3 months ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit
RTAS
2008
IEEE
14 years 4 months ago
Virtualizing Disk Performance
Large- and small-scale storage systems frequently serve a mixture of workloads, an increasing number of which require some form of performance guarantee. Providing guaranteed disk...
Tim Kaldewey, Theodore M. Wong, Richard A. Golding...
SETA
2004
Springer
122views Mathematics» more  SETA 2004»
14 years 3 months ago
New LFSR-Based Cryptosystems and the Trace Discrete Log Problem (Trace-DLP)
In order to reduce key sizes and bandwidth, cryptographic systems have been proposed using minimal polynomials to represent finite field elements. These systems are essentially e...
Kenneth J. Giuliani, Guang Gong