Sciweavers

3273 search results - page 18 / 655
» types 2007
Sort
View
NAACL
2007
15 years 1 months ago
Automatic Answer Typing for How-Questions
We introduce an answer typing strategy specific to quantifiable how questions. Using the web as a data source, we automatically collect answer units appropriate to a given how-q...
Christopher Pinchak, Shane Bergsma
74
Voted
DAGSTUHL
2003
15 years 1 months ago
Generating Kummer Type Formulas for Hypergeometric Functions
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
Nobuki Takayama
ACL
1989
15 years 28 days ago
A Transfer Model Using a Typed Feature Structure Rewriting System with Inheritance
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
Rémi Zajac
APAL
2000
61views more  APAL 2000»
14 years 11 months ago
Higher type recursion, ramification and polynomial time
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...
Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Sc...