3358 search results - page 105 / 672 » Parametric Aspects: A Proposal |
188
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Traditional techniques for statistical fMRI analysis are often based on thresholding of individual voxel values or averaging voxel values over a region of interest. In this paper w...
186
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
We present a new brain segmentation framework which we apply to T1-weighted magnetic resonance image segmentation. The innovation of the algorithm in comparison to the state-of-the...
148
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
159
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
140
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...