Báo cáo khoa học: "JPSG Parser on Constraint Logic Programming" potx

... 3.1 Constraint Unification cu-Prolog employs Constraint Unification [12, 8] which is the usual Prolog unification plus constraint transformation (normalization). Using constraint unification, ... equivalent to the input constraint, and its definitions. Figure 1: Demonstration of the constraint transformation routine Figure 2 shows a simple demonstration of our JPSG parser,...

Ngày tải lên: 01/04/2014, 00:20

... require plan reasoning. 3. Role of Plan Reasoning Plan reasoning constitutes our second constraint on speech act recognition. There are four roles for plan reasoning in the recognition process. ... verify the logical connection. This must be done by plan reasoning, because it depends on world knowledge. The first sentences can request the actions they are preconditions of. The...

Ngày tải lên: 21/02/2014, 20:20

... preparation) propose various constraints on this rule, and, among other things, distinguish between the retention and continuation of the Cb. I will use the words retain and continue in non-technical ... analogous consequences discussed above. The constraint is restated below for pronominal expressions in general: (15) Centering Constraint [general] (approximation) Two pronomin...

Ngày tải lên: 31/03/2014, 17:20

... tropo- nin-tropomyosin regulation of skeletal muscle contrac- tion. Annu Rev Biophys Biophys Chem 16, 535–559. 4 Farah CS & Reinach FC (1995) The troponin complex and regulation of muscle contraction. FASEB J ... fragments of troponin C: localization of high and low affinity Ca 2+ binding sites and interactions with troponin I and troponin T. J Biol Chem 253, 5452–5459. 10 Johnson JD, Char...

Ngày tải lên: 20/02/2014, 01:20

... there are only two items on the stack (in a less enthusiastic version. Clear would be constrained to operate only on the bottom two items on the stack) (ii) the topmost one potentially contains ... expectation that we may take to be supported by the intona- tional evidence, and by the combinatorial explosion considerations alluded to above. If this is a plausible line of reasonin...

Ngày tải lên: 22/02/2014, 09:20

... introduced for the control mecha- nism in the computation of constraints using finite domains. Auxiliary predicates to monitor or control the resolution process in the CHIP environment also exist. ... likely sense combination is the one with the highest score. Implementation in CHIP guarantees to give one and only solution (or no so- lution if no overlapping combination exists). The w...

Ngày tải lên: 22/02/2014, 10:20

... response. Deletion of all four PREs eliminated the response to pheromone, and the response could be restored by insertion of oligonucleotides bearing the PRE consensus [13]. The contribution of ... complexes on Fig. 1. Organization of a selection of strongly inducible pheromone- responsive promoters. Schematic representation of the organization of consensus PREs within nine of the 35 most s...

Ngày tải lên: 06/03/2014, 22:21

... distribution of LIRs in both intronic and intergenic regions (see Fig. S1). We also considered the effect of the length of these regions on the distribution. The intronic and intergenic regions were ... results confirmed that LIRs tend to reside in large intronic and intergenic regions. Only five LIRs were found in introns < 1 kb (the smallest intron was 757 bp), and none in intergenic reg...

Ngày tải lên: 07/03/2014, 00:20

... ex- pression of these relationships by means of the target language. In this connection one should mention the re- search on the isolation and cataloguing of the sys- tem of relationships ... the dictionary, and on the basis of the corresponding morphological rules. The dictionary for machine translation, as com- piled at MIAN during work on the French-Rus- sian algorithm cons...

Ngày tải lên: 07/03/2014, 18:20

... variety of contextual conditions which may apply to a particular construction may dif- fer from sentence to sentence, and the particular con- ditions that apply can be determined only by a gradu- ... functioning and conversely. Examples of this are very common in English and include many of the frequently cited instances of nesting. The second consideration is that the determination of...

Ngày tải lên: 07/03/2014, 18:20