Sciweavers

7536 search results - page 212 / 1508
» Localized Components Analysis
Sort
View
WBIR
2010
SPRINGER
15 years 10 months ago
Continuity Order of Local Displacement in Volumetric Image Sequence
Abstract. We introduce a method for volumetric cardiac motion analysis using variational optical flow computation involving the prior with the fractional order differentiations. ...
Koji Kashu, Yusuke Kameda, Masaki Narita, Atsushi ...
CL
2008
Springer
15 years 6 months ago
Foundations of a simple and unified component-oriented language
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
Luc Fabresse, Christophe Dony, Marianne Huchard
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
15 years 12 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
ISBI
2007
IEEE
16 years 22 days ago
Migration and Proliferation Analysis for Bladder Cancer Cells
This paper presents a cell evolution analysis (CEA) scheme  for bladder cancer cells. The proposed scheme consists of a  cell migration analysis component f...
Asaad F. Said, Lina J. Karam, Michael E. Berens, Z...
166
Voted
ITC
2003
IEEE
183views Hardware» more  ITC 2003»
15 years 11 months ago
Future Challenges for MEMS Failure Analysis
MEMS processes and components are rapidly changing in device design, processing, and, most importantly, application. This paper will discuss the future challenges faced by the MEM...
Jeremy A. Walraven