Sciweavers

981 search results - page 142 / 197
» Semantics-aware trace analysis
Sort
View
MICCAI
2005
Springer
16 years 4 months ago
Segmentation and 3D Reconstruction of Microtubules in Total Internal Reflection Fluorescence Microscopy (TIRFM)
The interaction of the microtubules with the cell cortex plays numerous critical roles in a cell. For instance, it directs vesicle delivery, and modulates membrane adhesions pivota...
Stathis Hadjidemetriou, Derek Toomre, James S. Dun...
IPMI
2005
Springer
16 years 3 months ago
Simultaneous Segmentation of Multiple Closed Surfaces Using Optimal Graph Searching
This paper presents a general graph-theoretic technique for simultaneously segmenting multiple closed surfaces in volumetric images, which employs a novel graph-construction scheme...
Kang Li, Steven Millington, Xiaodong Wu, Danny Z. ...
ICSE
2009
IEEE-ACM
16 years 3 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
SIGSOFT
2008
ACM
16 years 3 months ago
What makes a good bug report?
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
Nicolas Bettenburg, Sascha Just, Adrian Schrö...
ICDT
2009
ACM
109views Database» more  ICDT 2009»
16 years 3 months ago
TOP-K projection queries for probabilistic business processes
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
Daniel Deutch, Tova Milo