11462 search results - page 417 / 2293 » Developing Application-Centric Methods |
129
click to vote
TSMC
2008
15 years 6 months ago
2008
An algorithm is developed for computing which sensors to add to obtain maximum fault detectability and fault isolability. The method is based on only the structural information in...
196
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
There is an increasing number of methods for removing haze and fog from a single image. One of such methods is Dark Channel Prior (DCP). The goal of this paper is to develop a mat...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes a novel method for the computation of the Discrete Fourier Transform (DFT). The development of a truly centered DFT is coupled with a method for computing the...
177
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
294
Voted
FM
1997
Springer
15 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...