3972 search results - page 204 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
119
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
133
click to vote
ICA
2004
Springer
15 years 9 months ago
2004
Springer
We discuss a 3D spatial analysis of fMRI data taken during a combined word perception and motor task. The event - based experiment was part of a study to investigate the network of...
140
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...
124
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
129
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...