Sciweavers

1609 search results - page 53 / 322
» Problem Structure and Dependable Architecture
Sort
View
PRDC
2005
IEEE
15 years 9 months ago
Partitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime
An important issue in modern cache designs is bridging the gap between wire and device delays. This warrants the use of more regular and modular structures to mask wire latencies....
Heng Xu, Arun K. Somani
AINA
2003
IEEE
15 years 7 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
ICCV
2007
IEEE
16 years 5 months ago
A Robust Graph-Based Method for The General Correspondence Problem Demonstrated on Image Stitching
We pose robust matching with parametric and non-parametric constraints as the problem of finding a stable independent set (SIS) in an oriented graph whose vertices are all possible...
Martin Bujnak, Radim Sára
ICCV
2005
IEEE
16 years 5 months ago
Designing Spatially Coherent Minimizing Flows for Variational Problems Based on Active Contours
This paper tackles an important aspect of the variational problems involving active contours, which has been largely overlooked so far: the optimization by gradient flows. Classic...
Guillaume Charpiat, Renaud Keriven, Jean-Philippe ...
MICCAI
2007
Springer
16 years 4 months ago
LV Motion Tracking from 3D Echocardiography Using Textural and Structural Information
Automated motion reconstruction of the left ventricle (LV) from 3D echocardiography provides insight into myocardium architecture and function. Low image quality and artifacts make...
Andriy Myronenko, Xubo B. Song, David J. Sahn