3972 search results - page 463 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
221
click to vote
IPMI
2005
Springer
16 years 29 days ago
2005
Springer
This work analyses the accuracy of estimating the location of 3D landmarks and characteristic image structures. Based on nonlinear estimation theory we study the minimal stochastic...
262
Voted
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
195
click to vote
IJHPCA
2007
15 years 7 months ago
2007
An accurate cost-model that accounts for dataset size and structure can help optimize geoscience data analysis. We develop and apply a computational model to estimate data analysi...
217
Voted
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
224
click to vote
GECCO
2010
Springer
16 years 7 days ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...