Sciweavers

742 search results - page 11 / 149
» Constructing Hierarchical Rule Systems
Sort
View
120
Voted
IJCAI
1993
15 years 5 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
158
Voted
MKM
2005
Springer
15 years 9 months ago
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
Kamal Aboul-Hosn, Terese Andersen
113
Voted
COLING
2010
14 years 10 months ago
Hierarchical Phrase-based Machine Translation with Word-based Reordering Model
Hierarchical phrase-based machine translation can capture global reordering with synchronous context-free grammar, but has little ability to evaluate the correctness of word order...
Katsuhiko Hayashi, Hajime Tsukada, Katsuhito Sudoh...
122
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
New Type-2 Rule Ranking Indices for Designing Parsimonious Interval Type-2 Fuzzy Logic Systems
— In this paper, we propose two novel indices for type-2 fuzzy rule ranking to identify the most influential fuzzy rules in designing type-2 fuzzy logic systems, and name them a...
Shang-Ming Zhou, Robert John, Francisco Chiclana, ...
128
Voted
LREC
2010
176views Education» more  LREC 2010»
15 years 5 months ago
Integrating a Rule-based with a Hierarchical Translation System
Recent developments on hybrid systems that combine rule-based machine translation (RBMT) systems with statistical machine translation (SMT) generally neglect the fact that RBMT sy...
Yu Chen, Andreas Eisele