Sciweavers

3233 search results - page 104 / 647
» Rule Modeling and Markup
Sort
View
ACL
2010
15 years 1 months ago
Better Filtration and Augmentation for Hierarchical Phrase-Based Translation Rules
This paper presents a novel filtration criteria to restrict the rule extraction for the hierarchical phrase-based translation model, where a bilingual but relaxed well-formed depe...
Zhiyang Wang, Yajuan Lv, Qun Liu, Young-Sook Hwang
ICONIP
2007
15 years 5 months ago
Interpretable Piecewise Linear Classifier
In this study we propose a new ensemble model composed of several linear perceptrons. The objective of this study is to build a piecewise-linear classifier that is not only compet...
Pitoyo Hartono
ENTCS
2008
85views more  ENTCS 2008»
15 years 3 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp
JAR
2007
77views more  JAR 2007»
15 years 3 months ago
Superposition-based Equality Handling for Analytic Tableaux
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
Martin Giese
128
Voted
ICCS
2009
Springer
15 years 10 months ago
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
Jean-François Baget, Madalina Croitoru, J&e...