2556 search results - page 281 / 512 » The Triconnected Abstraction of Process Models |
179
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
180
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...
186
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
178
click to vote
ICCS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...
215
click to vote
ICES
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Vertebrate and most invertebrate organisms interact with their environment through processes of adaptation and learning. Such processes are generally controlled by comple...