1772 search results - page 183 / 355 » The Model Coupling Toolkit |
107
click to vote
TSMC
2008
15 years 3 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
138
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
110
click to vote
TMI
2002
15 years 2 months ago
2002
An automatic cortical gray matter segmentation from a three-dimensional (3-D) brain images [magnetic resonance (MR) or computed tomography] is a well known problem in medical image...
113
click to vote
SEAL
2010
Springer
15 years 1 months ago
2010
Springer
During engineering design, it is often difficult to quantify product reliability because of insufficient data or information for modeling the uncertainties. In such cases, one need...
148
click to vote
TOPNOC
2010
14 years 10 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...