Sciweavers

2730 search results - page 230 / 546
» An Abstract Model for Process Mediation
Sort
View
MICCAI
2009
Springer
16 years 7 months ago
A Conditional Random Field Approach for Coupling Local Registration with Robust Tissue and Structure Segmentation
Abstract. We consider a general modelling strategy to handle in a unified way a number of tasks essential to MR brain scan analysis. Our approach is based on the explicit definitio...
Benoit Scherrer, Florence Forbes, Michel Dojat
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 12 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
SAMOS
2004
Springer
15 years 11 months ago
A High-Level Programming Paradigm for SystemC
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
Mark Thompson, Andy D. Pimentel
DILS
2009
Springer
15 years 10 months ago
An Integration and Analysis Pipeline for Systems Biology in Crop Plant Metabolism
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
Stephan Weise, Christian Colmsee, Eva Grafahrend-B...
WSC
2008
15 years 8 months ago
Applying causal inference to understand emergent behavior
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
Ross Gore, Paul F. Reynolds Jr.