2069 search results - page 95 / 414 » Synthesizing |
118
Voted
AUTOMATICA
2006
15 years 5 months ago
2006
: The main goal when synthesizing robust residual generators, for diagnosis and supervision, is to attenuate influence from model uncertainty on the residual while keeping fault de...
124
Voted
ENTCS
2007
15 years 5 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
135
Voted
ENTCS
2007
15 years 5 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
139
Voted
JRTIP
2007
15 years 5 months ago
2007
We present a real-time implementation of 2D to 3D video conversion using compressed video. In our method, compressed 2D video is analyzed by extracting motion vectors. Using the mo...
147
click to vote
UAIS
2008
15 years 5 months ago
2008
: This paper describes the progress of a research project aimed at improving the usability of web search tools for blind users who interact via screen readers and voice synthesizer...