4250 search results - page 609 / 850 » Understanding the Requirements on Modelling Techniques |
324
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
173
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Recent advances in statistical inference and machine learning close the divide between simulation and classical optimization, thereby enabling more rigorous and robust microarchit...
174
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
Despite their effectiveness for robust speech processing, missing data techniques are vulnerable to errors in the classification of the input speech signal’s time-frequency poi...
202
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
208
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Super resolution (SR) is a well-known technique to increase the quality of an image using multiple overlapping pictures of a scene. SR requires accurate registration of the images...