332 search results - page 10 / 67 » Using transformations to improve semantic matching |
106
click to vote
ICCD
2000
IEEE
15 years 3 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
178
click to vote
ERCIMDL
2011
Springer
13 years 11 months ago
2011
Springer
In the information retrieval context, resource collections are frequently classified using thesauri. However, the limited semantics provided by thesauri restricts the collection s...
104
click to vote
NAACL
1994
15 years 29 days ago
1994
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...
SEBD
2007
15 years 1 months ago
2007
Abstract. Recently, more and more web services are being made available and their use can potentially highly increase cooperation in P2P systems, where different partners intend t...
104
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The Degenerate Unmixing Estimation Technique (DUET) is a Blind Source Separation (BSS) algorithm for stereo audio. DUET depends on an amplitude-phase 2d histogram built from the d...