6800 search results - page 668 / 1360 » Testing with Functions as Specifications |
247
Voted
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Object localization in an image is usually handled by searching for an optimal subwindow that tightly covers the object of interest. However, the subwindows considered in previous ...
183
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
210
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
207
Voted
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
199
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
: Sensor management deals with the efficient resource allocation to meet mission objectives of the application, air traffic control. A schedule for the sensors is constructed, whic...