511 search results - page 47 / 103 » Spelling Correction Using Context |
90
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
83
Voted
DAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Braille is the most effective means of written communication between visually-impaired and sighted people. This paper describes a new system that recognizes Braille chara...
ICTAI
2003
IEEE
15 years 5 months ago
2003
IEEE
We investigate two seemingly incompatible approaches for improving document retrieval performance in the context of question answering: query expansion and query reduction. Querie...
110
Voted
ICCAD
2002
IEEE
15 years 5 months ago
2002
IEEE
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
110
Voted
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...