Sciweavers

5378 search results - page 998 / 1076
» Base Logics in Argumentation
Sort
View
CN
1999
143views more  CN 1999»
13 years 8 months ago
Embedding Knowledge in Web Documents
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
Philippe Martin, Peter W. Eklund
KAIS
2002
95views more  KAIS 2002»
13 years 8 months ago
Enhanced Proxy Caching with Content Management
In this paper, we propose a novel approach to enhancing web proxy caching, an approach that integrates content management with performance tuning techniques. We first develop a hie...
Kai Cheng, Yahiko Kambayashi
LRE
2002
84views more  LRE 2002»
13 years 8 months ago
Text-image Coupling for Editing Literary Sources
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
Eric Lecolinet, Laurent Robert, François Ro...
NGC
1998
Springer
115views Communications» more  NGC 1998»
13 years 8 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
NGC
1998
Springer
171views Communications» more  NGC 1998»
13 years 8 months ago
Programming Languages for Distributed Applications
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
Seif Haridi, Peter Van Roy, Per Brand, Christian S...