2556 search results - page 145 / 512 » The Triconnected Abstraction of Process Models |
178
click to vote
FAC
2008
15 years 7 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
197
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Active Shape Models are commonly used to recognize and locate different aspects of known rigid objects. However, they require an off-line learning stage, such that the ex...
162
click to vote
FIW
2003
15 years 8 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
161
click to vote
EWC
2000
15 years 6 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
176
click to vote
MLDM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...