11397 search results - page 274 / 2280 » A Relational Abstraction for Functions |
194
click to vote
IACR
2011
14 years 7 months ago
2011
We give direct constructions of pseudorandom function (PRF) families based on conjectured hard lattice problems and learning problems. Our constructions are asymptotically effici...
174
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
We study the compression problem of visual scenes acquired with a camera for transmission or storage. Our proposed model is general and includes two well-known cases: that of vide...
183
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
141
click to vote
ICAD
2004
15 years 8 months ago
2004
One issue that arises in relation to the use of three-dimensional audio displays as a means of conveying spatial information to human operators concerns the ability of operators t...
205
click to vote
JSW
2007
15 years 7 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...