2005 search results - page 241 / 401 » Business Process Knowledge Modelling: Method and Tool |
157
click to vote
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
163
click to vote
CA
1996
IEEE
15 years 8 months ago
1996
IEEE
We describe tools that use measurements from video for the extraction of facial modeling and animation parameters, head tracking, and real-time interactive facial animation. These...
161
click to vote
LSMS
2007
Springer
15 years 10 months ago
2007
Springer
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
131
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The availability of genome sequences for many organisms enabled the reconstruction of several genome-scale metabolic network models. Currently, significant efforts are...
130
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
Archaeology is a destructive process in which accurate and detailed recording of a site is imperative. As a site is exposed, documentation is required in order to recreate and und...