5600 search results - page 37 / 1120 » Synthesizing robust systems |
MVA
2002
13 years 7 months ago
2002
In this paper, a close-form B-snake model is presented for contour extraction in medical images. Based on our previous research work [lo], the Principal Component Analysis (PCA) h...
MP
2008
13 years 7 months ago
2008
This paper proposes an efficient computational technique for the optimal control of linear discrete-time systems subject to bounded disturbances with mixed polytopic constraints o...
UM
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we describe a system that generates synthesized web pages as a travel guide through integrating a discourse planner with a document retrieval system. We then present ...
FASE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...