4890 search results - page 287 / 978 » From system specifications to component behavioral models |
166
click to vote
TSMC
2010
15 years 1 months ago
2010
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...
212
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a new adaptive algorithm for automatic detection of text from a natural scene. The initial cues of text regions are first detected from the captured image/video. An ada...
165
click to vote
ICAS
2006
IEEE
16 years 24 days ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
150
click to vote
DSN
2005
IEEE
16 years 11 days ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
209
click to vote
KRMED
2008
15 years 8 months ago
2008
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...