4 search results - page 1 / 1 » Bridging the Gap between Dictionary and Thesaurus |
ACL
1998
13 years 6 months ago
1998
This paper presents an algorithm to integrate different lexical resources, through which we hope to overcome the individual inadequacy of the resources, and thus obtain some enric...
TSP
2010
12 years 11 months ago
2010
Abstract--An efficient and flexible dictionary structure is proposed for sparse and redundant signal representation. The proposed sparse dictionary is based on a sparsity model of ...
FLOPS
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
SEKE
1993
Springer
13 years 9 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...