2562 search results - page 189 / 513 » The Use of B2B Process Standards: A Case Study |
133
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
The new imaging techniques for organic body tissue give more details and information about the normal and abnormal tissue that help to distinguish the overlapping in margin of eac...
177
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
143
click to vote
WSC
2007
15 years 9 months ago
2007
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
153
click to vote
WSC
2004
15 years 8 months ago
2004
Data Farming leverages high performance computing to run simple models many times. This process allows for the exploration of massive parameter spaces relatively quickly. This pap...
187
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...