Sciweavers

4763 search results - page 31 / 953
» On the Execution of Deep Models
Sort
View
MICCAI
2009
Springer
14 years 2 months ago
Improved Maximum a Posteriori Cortical Segmentation by Iterative Relaxation of Priors
Abstract. Thickness measurements of the cerebral cortex can aid diagnosis and provide valuable information about the temporal evolution of several diseases such as Alzheimer’s, H...
Manuel Jorge Cardoso, Matthew J. Clarkson, Gerard ...
SPIN
2004
Springer
14 years 21 days ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
BPM
2008
Springer
133views Business» more  BPM 2008»
13 years 9 months ago
Auto-completion for Executable Business Process Models
This work presents an auto-completion mechanism for supporting the creation of executable business process models. Currently, process modeling tools provide only little support to ...
Matthias Born, Christian Brelage, Ivan Markovic, D...
PPL
2008
96views more  PPL 2008»
13 years 7 months ago
A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
Clemens Grelck, Steffen Kuthe, Sven-Bodo Scholz
ANSS
2008
IEEE
14 years 1 months ago
Executable Protocol Models as a Requirements Engineering Tool
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
Ashley T. McNeile, Ella E. Roubtsova