1312 search results - page 237 / 263 » Construction of BPMN-based Business Process Model Base |
POPL
1999
ACM
15 years 4 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
STOC
1999
ACM
15 years 4 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
144
click to vote
CAD
2008
Springer
14 years 11 months ago
2008
Springer
In many industries, products are constructed by assembled surface patches in 3, where each patch is expected to have an isometric map to a corresponding region in 2. The widely in...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We consider the problem of learning a coefficient vector x0 ∈ RN from noisy linear observation y = Ax0 + w ∈ Rn . In many contexts (ranging from model selection to image proce...
ISBI
2004
IEEE
16 years 12 days ago
2004
IEEE
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...