Sciweavers

5879 search results - page 957 / 1176
» Separation - Past, Present, and Future
Sort
View
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
BIBM
2010
IEEE
173views Bioinformatics» more  BIBM 2010»
15 years 4 months ago
Network-based identification of smoking-associated gene signature for lung cancer
This study presents a novel computational approach to identifying a smoking-associated gene signature. The methodology contains the following steps: 1) identifying genes significa...
Ying-Wooi Wan, Changchang Xiao, Nancy Lan Guo
DAGM
2010
Springer
15 years 3 months ago
A Model-Based Approach to the Segmentation of Nasal Cavity and Paranasal Sinus Boundaries
We present a model-driven approach to the segmentation of nasal cavity and paranasal sinus boundaries. Based on computed tomography data of a patients head, our approach aims to ex...
Carsten Last, Simon Winkelbach, Friedrich M. Wahl,...
CVPR
2011
IEEE
15 years 3 months ago
Detection Free Tracking: Exploiting Motion and Topology for Segmenting and Tracking under Entanglement.
Our goal is to segment multiple interacting and deforming agents in a video. Detectors often fail under large body deformation or agent entanglement. On the other hand, segmenting...
Katerina Fragkiadaki, Jianbo Shi
CVPR
2011
IEEE
15 years 2 months ago
Branch and Track
We present a new paradigm for tracking objects in video in the presence of other similar objects. This branch-andtrack paradigm is also useful in the absence of motion, for the di...
Steve Gu, Carlo Tomasi