3972 search results - page 662 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
177
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
186
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
159
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
169
click to vote
COMPULOG
1999
Springer
15 years 10 months ago
1999
Springer
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
203
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Segmenting brain from non-brain tissue within magnetic resonance (MR) images of the human head, also known as skull-stripping, is a critical processing step in the analysis of neu...