3742 search results - page 432 / 749 » On the Use of Formal Techniques for Validation |
187
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present a collaborative algorithm to enable opportunistic spectrum access for cognitive radios in the presence of multiple co-channel transmitters. A spectrum hole d...
185
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a simple method for significantly improving Tandem features used to train acoustic models for large-vocabulary speech recognition. The linear activations at ...
145
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new edge-based text verification approach for video. Based on the investigation of the relation between candidate blocks and their neighbor areas, the ...
143
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper we present an experimental evaluation of automatic robotic assembly of complex planar parts. The torque-controlled DLR light-weight robot, equipped with a...
155
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Lasers can be used by hackers to situations to inject faults in circuits and induce security flaws. On-line detection mechanisms are classically proposed to counter such attacks, ...