1187 search results - page 136 / 238 » Graph-Based Procedural Abstraction |
104
click to vote
ANTSW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Ant colony optimization (ACO) is a metaheuristic that produces good results for a wide range of combinatorial optimization problems. Often such successful applications us...
114
Voted
BILDMED
2009
15 years 3 months ago
2009
Abstract. Volume representations of blood vessels acquired by 3D rotational angiography are very suitable for diagnosing a stenosis or an aneurysm. For optimal treatment, physician...
114
Voted
BMEI
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Finding differentially expressed genes is a fundamental objective of a microarray experiment. Recently proposed method, PPLR, considers the probe-level measurement error ...
120
click to vote
BPM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
129
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...