3972 search results - page 170 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
154
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
140
click to vote
FLAIRS
2000
15 years 5 months ago
2000
Today there are numerous tools for decision analysis, suitable both for human and artificial decision makers. Most of these tools require the decision maker to provide precise num...
132
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
145
click to vote
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
In this work, we propose a novel method for deformable tensor?to?tensor registration of Diffusion Tensor Images. Our registration method models the distances in between the tensors...
129
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Establishing robust communications in the presence of Doppler rate is a requirement for several waveforms such as SATCOM and HF. In this paper, we motivate the need to model Dop...