Experts

1

2

3

4

5

6

7

8

9

10
Publications (12)

1On Logical Formulation Of The Computation Process In Semantical Systems1973  JUNTIN WANGpredicate logic, eventually. of higher order, to give a recursive definition of the semantical functions can be well illustrated...

2Neighbourhood Description Of Formal Languages1973  V. B. BORCEV,M. V. CHOMJAKOVrelations. Several equivalent forms are known (the recursive definition, Turing machines, Markov's algorithms and programming...

3Unification Categorial Grammar: A Concise, Extendable Grammar for Natural Language Processingmarkers. In fact, this is not the case. A simple recursive definition (similar to that for "free wtriable" in predicate...

4The First Bug Report1992  Jeff Goldberg,Laszlo Kalmarfeature geometr ies . The feature geometry is a (recursive) definition of wellformed feature structures, which must be...

5Harnessing the CRF Complexity with DomainSpecific Constraints. The Case of Morphosyntactic Tagging of a Highly Inflected Language2012  Jakub Waszczukωi−1(v) ·φθ (x i ,u, v) if i > 0 1 otherwise (9) The recursive definition, together with dynamic programming or memoization...

6Joint Tokenization and Translation⊗ means the times of two sets. According to this recursive definition, it is easy to prove that all tokenizations is reachable...

7BottomUp Earley Deduction1994  Gregor Erbachfollowing simple definition of an HPSG, with the recursive definition of the predicate sign/I. 4 2This rule is called...

8Tracking the Dynamic Evolution of Participants Salience in a Discussion2008  Ahmed Hassan,Anthony Fader,Michael H. Crespin,Kevin M. Quinn,Burt L. Monroe,Michael Colaresi,Dragomir R. Radev2005), or generation probabilities (Erkan, 2006). The recursive definition of the score of any speech s in the speeches network...

9Optimal Scheduling of Information Extraction Algorithms2012  Henning Wachsmuth,Benno Steinthe text units R(Π(m−1)) filtered by Π(m−1). This recursive definition resembles the one used by the Viterbi algorithm (Viterbi...

10Normal Form Theorem Proving for the Lambek Calculus1990  Mark HeppleConst ruct ive Not ion o f Normal Form In (6), a recursive definition is given for a construct ive notion of NF (CNF). For...