Sciweavers

446 search results - page 62 / 90
» Perceived consistency between process models
Sort
View
LAWEB
2003
IEEE
14 years 3 months ago
Towards an Ontology for Software Metrics and Indicators as the Foundation for a Cataloging Web System
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
María de los Angeles Martín, Luis Ol...
FDL
2004
IEEE
14 years 1 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
MICCAI
2010
Springer
13 years 8 months ago
3D Knowledge-Based Segmentation Using Pose-Invariant Higher-Order Graphs
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
Chaohui Wang, Olivier Teboul, Fabrice Michel, Salm...
BMCBI
2008
110views more  BMCBI 2008»
13 years 9 months ago
Determining significance of pairwise co-occurrences of events in bursty sequences
Background: Event sequences where different types of events often occur close together arise, e.g., when studying potential transcription factor binding sites (TFBS, events) of ce...
Niina Haiminen, Heikki Mannila, Evimaria Terzi
ICIP
2004
IEEE
14 years 11 months ago
Shape estimation of 3-D DNA molecules from stereo cryo-electron micro-graphs
We introduce a 3-D parametric active contour algorithm for the shape estimation of DNA molecules from stereo cryo-electron micrographs. We consider a 3-D filament (consisting of a...
Mathews Jacob, Thierry Blu, Michael Unser