8828 search results - page 1149 / 1766 » Formal methods in practice |
202
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 ...
156
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Video-based target tracking is a challenging task, because there always appears to be complex occlusion among the varying number of objects. Also, in practice, it is very common t...
152
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Existing methods of gate level power attack countermeasures depend on exact capacitance matching of the dual-rail data outputs of each gate. Process variability and a l...
179
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
165
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In its recently published TCG Mobile Reference Architecture, the TCG Mobile Phone Work Group specifies a new concept to enable trust into future mobile devices. For this purpo...