Báo cáo khoa học: "Parsing for Semidirectional Lambek Grammar is NP-Complete" doc
Báo cáo khoa học: "Parsing for Semidirectional Lambek Grammar is NP-Complete" doc
... categories
in semidirectional Lambek Grammar. A more detailed
analysis of the relation between HPSG and SD[ is given
in (KSnig 95).
2 Semidirectional Lambek Grammar
2.1 Lambek calculus
The semidirectional ... for semidireetional Lambek Grammar
is NP-complete by a reduction of the 3-
Partition problem.
Key words: computational complexity,
Lambek Categorial G...
Tài liệu Báo cáo khoa học: "Resolution for Machine Translation of Telegraphic Messages" docx
... semantic grammar discussed in Section 2, the parsing
coverage of the mixed grammar is much higher (77%) than that
of the semantic grammar (59.5%). In terms of misparse rate,
both grammars perform ... States Air Force.
~yrP
iCally occur in phrases with omission in the given domain. A
awback of this approach, however, is that the grammar cover-
age is quite low. On the othe...
Tài liệu Báo cáo khoa học: "PARAHETRIZED FOR LINGUISTIC ABSTRACT FORMATION OBJECTS PROCESSING" doc
... sequential
type of information is mostly incomplete
110
(this is stressed in particular
by
Smith
(1978)). Consider the followina examples:
(13) John saw his doctor this morning:
he is ill.
(14) ... necessary axioms and perform the
computations in a deductive style.
This approach can be used for the
formal representation of natural
language, or as a grammar formalism . I...
Báo cáo khoa học: "PARSING A FREE-WORD ORDER LANGUAGE: WARLPIRI" doc
... value consists of the
information that is stored within a category, namely, data
and actions. Only the information that is lexically deter-
mined, such as person and number for pronouns, is stored ...
Although the list of data types is not yet complete,
a few have already proved necessary, such as person and
number information for nominal categories. The list of 0-
roles f...
Báo cáo khoa học: "Atestbed for research in origins of language" doc
... linguistic faculties, but
on the selectionist forces that operate on lan-
guage itself. Kirby and Hurford (Kirby and
Hurford, 1997), for example, have shown that
a model of selectionist processes ...
geneticMly-encoded language acquisition device
(LAD) which is primarily responsible for deter-
mining the properties of language. For these
researchers (see for example (Sriscoe...
Báo cáo khoa học: "Parsing the Internal Structure of Words: A New Paradigm for Chinese Word Segmentation" doc
... analysis. An elegant
approach for doing this is given and the result
is shown to be promising enough for encour-
aging further effort in this direction. Our prob-
ability model is trained with the Penn ... ‘aquar-
ium’ generated by this same character. This is un-
derstandable since the character 䌬 ‘hall’ is so pro-
ductive that it is impossible for a dictionary to list
eve...
Báo cáo khoa học: "A Probabilistic Context-free Grammar for Disambiguation in Morphological Parsing" pdf
...
explicitly represented word formation rules. Instead,
the morphological subcategorisation information is
encoded in the form of category assignments in the
lexicon. That is, prefixes have been ... characteristic of this model
is that each attachment level is associated with a
specific lexical output category. The model seems
particularly suitable for use in MORPA, because it
i...
Báo cáo khoa học: "Memoisation for Glue Language Deduction and Categorial Parsing" docx
... a general method
for formulating various categorial grammar sys-
tems. Linear deduction methods provide a com-
mon basis for parsing categorial systems formu-
lated in this way. Secondly, ... linear logic.
6It is anticipated that this problem can be solved by
using normalisation results as a basis for discarding par-
tial analyses during processing, but further work is re-...
Báo cáo khoa học: "ALGORITHMS FOR GENERATION THEOREM PROVING IN LAMBEK" docx
...
this raises the question whether they can be used
for generation. The answer to this question will
emerge throughout this paper.
Lexical information As in any categorial
grammar, linguistic ...
gorithm for the Theorem Prover. The latter pos-
sibility enables processing of a
bidirectional cal-
culus. Therefore Lambek Theorem Proving is a
natural candidate for a 'uniform...
Tài liệu Báo cáo khoa học: Looking for the ancestry of the heavy-chain subunits of heteromeric amino acid transporters rBAT and 4F2hc within the GH13 a-amylase family ppt
... metabolism of starch and related
saccharides.
Results and Discussion
Evolutionary relationships and
sequence–structural comparison
This study delivers the in silico analysis of 134
sequences consisting ... specificities and several thousand sequences
[3,13,18] where, for example, it is still complicated to
trace clearly the evolutionary history, even just for the
animal a-amylase [39].
C...