12981 search results - page 2103 / 2597 » Model Checking (Abstract) |
193
click to vote
TASLP
2002
15 years 6 months ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
210
click to vote
TCAD
2002
15 years 6 months ago
2002
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
199
Voted
PVLDB
2008
15 years 6 months ago
2008
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
213
click to vote
AROBOTS
2008
15 years 5 months ago
2008
Abstract Many elderly and physically impaired people experience difficulties when maneuvering a powered wheelchair. In order to provide improved maneuvering, powered wheelchairs ha...
196
click to vote
ET
2010
15 years 5 months ago
2010
Abstract As technology scales down into the nanometer era, delay testing of modern chips has become more and more important. Tests for the path delay fault model are widely used to...