Sciweavers

1096 search results - page 107 / 220
» Abstract Canonical Inference
Sort
View
IRCDL
2007
14 years 11 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
NLUCS
2008
14 years 11 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...
MMNS
2001
110views Multimedia» more  MMNS 2001»
14 years 11 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
14 years 11 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...
APLAS
2010
ACM
14 years 10 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