Báo cáo khoa học: "HANDLING LINEAR PRECEDENCE CONSTRAINTS BY UNIFICATION" pptx

... HANDLING LINEAR PRECEDENCE CONSTRAINTS BY UNIFICATION Judith Engelkamp, Gregor Erbach and Hans Uszkoreit Universitfit ... engelkamp@coli.uni-sb.de ABSTRACT Linear precedence (LP) rules are widely used for stating word order principles. They have been adopted as constraints by HPSG but no encoding in the formalism ... are used for stating the constraints on permissibl...

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

... incorporate relational constraints. The extension has been primarily motivated by the demands of combinatory operations in the syntax for two-dimensional languages although such constraints can be ... motivated by the demands of caching intermediate results imposed by chart parsing. The second, atomic disjunction, allows for more expressiveness in the grammar and also, again,...

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

... affected by the potent mPTP inhibitor cyclosporin A (CsA, not shown). Swelling was paralleled by a release of cyto- chrome c from RLM into the medium, which also could not be blocked by CsA (Fig. ... membrane (IMM) to K + and Cl ) . This view is supported by our findings that MC-induced swelling in the KCl- based medium was partly suppressed by N,N¢-dicyclohexylcarbodiimide (an inhib...

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

... 29 constraints, out of 23 generated clusters. These constraints were analyzed by hand and compared to the existing content-planner. We found that most rules that were learned were val- idated by ... procedures to learn ordering constraints among these elements. Our system produced a set of 24 schemata units, that we call “plan elements” 2 , and 29 order- ing constraints between the...

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

... MST problem. All the linguistic constraints are encoded as constraints while solving the integer program. In other words, all the parses that violate these constraints are removed from the ... Malt (version 1.3.1) provides option for liblinear learner also. Liblinear provides option for extracting probabil- ities. So we can also use liblinear learning algo- rithm for Malt and expl...

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

... recognized string is then decoded by means of an efficient language post-processor in which the full set of constraints is imposed to correct possible errors introduced by the speech recognizer. ... often leads to prohibitive complexity. We propose to factor the constraints into two components. The first is characterized by a covering grammar which is small and easily inte...

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

... domi- nance constraints, while ellipsis resolution is re- duced to solving parallelism constraints. Constraint solving subsumes satisfiability checking. Satisfiability of dominance constraints is ... scope underspecification a sublanguage of constraints suffices. These constraints can be solved in low polynomial time (Althaus et al., 2002). Parallelism constraints are as expressive...

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

... and produces the new and final value. By using linear logic, each step of the derivation keeps track of what 'resources' have been consumed by linear implications. As mentioned above, ... formula A ® A ® (A -o B) does linearly imply A ® B (there is still one A left over) but does not linearly imply B (there must still be one A present). Thus, linear logic checks that...

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

... are linearly proportional to the reordering distance. Although this model is simple and effi- cient, the content independence makes it difficult to capture many distant phrase reordering caused by ... some alignment errors cause by GIZA++ (representing less than 5% of the data). This resulted in data sizes shown in Ta- ble 3. The classification performance is measured by an overall precisi...

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

... uses linear logic to assemble meanings from syntactic analyses (Dalrymple et al., 1993). It has been compu- rationally feasible in practice (Dalrymple et al., 1997b). Yet deduction in linear ... separation, the possible derivations are determined solely by the "types", the con- nections to the f-structure. The meaning is as- sembled by applying the lambda terms in ac-...

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