5600 search results - page 37 / 1120 » Synthesizing robust systems |
153
click to vote
MVA
2002
15 years 5 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...
160
click to vote
MP
2008
15 years 5 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...
143
click to vote
UM
2001
Springer
15 years 10 months 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 ...
129
click to vote
FASE
2010
Springer
15 years 9 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; ...
176
click to vote
SIGSOFT
2010
ACM
15 years 3 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...