5855 search results - page 151 / 1171 » Test generation and minimization with |
175
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
169
click to vote
ANLP
2000
15 years 7 months ago
2000
Automatic generation of text summaries for spoken language faces the problem of containing incorrect words and passages due to speech recognition errors. This paper describes comp...
137
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
The MicroTactus is a family of instruments that we have designed to detect signals arising from the interaction of a tip with soft or hard objects and to magnify them for haptic an...
156
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...
133
click to vote
ITC
1999
IEEE
15 years 10 months ago
1999
IEEE
Power consumption of digital systems may increase significantly during testing. In this paper, systems equipped with a scan-based built-in self-test like the STUMPS architecture a...