2050 search results - page 78 / 410 » A formal foundation for process modeling |
164
click to vote
3DPH
2009
15 years 4 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
149
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
142
click to vote
TPDS
1998
15 years 6 months ago
1998
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...
138
click to vote
ANSOFT
1999
15 years 6 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
141
click to vote
MIE
2008
15 years 7 months ago
2008
: Clinical practice guidelines are textual recommendations based on the consensus of medical experts with the aim to solve diagnostic and therapeutic problems. For more advanced us...