1737 search results - page 122 / 348 » On Interpolation in Existence Logics |
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
181
click to vote
JODL
2000
15 years 6 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
219
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
The generation of referring expressions (GRE), an important subtask of Natural Language Generation (NLG) is to generate phrases that uniquely identify domain entities. Until recen...
164
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
161
click to vote
FQAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...