9425 search results - page 394 / 1885 » Some Notes on Models and Modelling |
146
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
122
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
135
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Clustering has recently enjoyed progress via spectral methods which group data using only pairwise affinities and avoid parametric assumptions. While spectral clustering ...
138
click to vote
FIMH
2007
Springer
15 years 11 months ago
2007
Springer
Placement of Implantable Cardiac Defibrillator (ICD) leads in children and some adults is challenging due to anatomical factors. As a result, novel ad hoc non-transvenous implant t...
137
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...