3731 search results - page 343 / 747 » cases 2006 |
176
click to vote
KBSE
2006
IEEE
16 years 24 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
191
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
145
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract. We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show th...
168
click to vote
MEDIVIS
2006
IEEE
16 years 24 days ago
2006
IEEE
The registration of cardiac images is relevant for the diagnosis of cardiac pathologies. In the case of SPECT (Single Photon Emission Computer Tomography) datasets, this is diffi...
166
click to vote
MIAR
2006
IEEE
16 years 24 days ago
2006
IEEE
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...