509 search results - page 42 / 102 » A formal representation of functional size measurement metho... |
STOC
2007
ACM
14 years 9 months ago
2007
ACM
The quantum adversary method is one of the most successful techniques for proving lower bounds on quantum query complexity. It gives optimal lower bounds for many problems, has ap...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we investigate the application of compressive sensing and waveform design for estimating linear time-varying system characteristics. Based on the fact that the spre...
IFL
2004
Springer
14 years 2 months ago
2004
Springer
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
RECOMB
2002
Springer
14 years 9 months ago
2002
Springer
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
CVGIP
2011
13 years 3 months ago
2011
We propose a new approach to modelling heterogeneous objects containing internal volumetric structures with size of details orders of magnitude smaller than the overall size of th...