2488 search results - page 360 / 498 » An improvement in formal verification |
118
click to vote
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
CIT
2007
Springer
15 years 5 months ago
2007
Springer
: Effective data analysis using multiple databases requires highly accurate patterns. Local pattern analysis might extract low quality patterns from multiple large databases. Thus,...
117
click to vote
AAAI
2007
15 years 3 months ago
2007
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
115
click to vote
ACL
2007
15 years 3 months ago
2007
Non-verbal modalities such as gesture can improve processing of spontaneous spoken language. For example, similar hand gestures tend to predict semantic similarity, so features th...
126
click to vote
NAACL
2007
15 years 3 months ago
2007
We present a method for utilizing unannotated sentences to improve a semantic parser which maps natural language (NL) sentences into their formal meaning representations (MRs). Gi...