Sciweavers

1096 search results - page 107 / 220
» Abstract Canonical Inference
Sort
View
157
Voted
IRCDL
2007
15 years 5 months ago
An Hybrid Approach for Improving Word Sense Disambiguation and Text Clustering
Abstract— In this paper we suggest a new approach to represent text document collections, integrating background knowledge to improve clustering effectiveness. Background knowled...
Paolo Casoto, Carlo Tasso
147
Voted
NLUCS
2008
15 years 5 months ago
A Text Summarization Approach under the Influence of Textual Entailment
Abstract. This paper presents how text summarization can be influenced by textual entailment. We show that if we use textual entailment recognition together with text summarization...
Elena Lloret, Óscar Ferrández, Rafae...
121
Voted
MMNS
2001
110views Multimedia» more  MMNS 2001»
15 years 5 months ago
A Framework for Supporting Intelligent Fault and Performance Management for Communication Networks
Abstract. In this paper, we present a framework for supporting intelligent fault and performance management for communication networks. Belief networks are taken as the basis for k...
Hongjun Li, John S. Baras
AIML
1998
15 years 5 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
134
Voted
APLAS
2010
ACM
15 years 3 months ago
A Certified Implementation of ML with Structural Polymorphism
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
Jacques Garrigue