Tài liệu Báo cáo khoa học: "Decidability and Undecidability

Tài liệu Báo cáo khoa học: "Decidability and Undecidability in stand-alone Feature Logics" doc

... was proved using re- duction from a certain undecidable tiling problem. We're going to strengthen this undecidability result, and we're going to do so by using further tiling ar- guments. ... relatively self contained, nonetheless the reader may find it helpful to have [Kasper and Rounds 1986, 1990] and [Blackburn and Spaan 1991, 1992] to hand. 2 Preliminaries Feat...

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

7
285
0

Tài liệu Báo cáo khoa học: "Cues and control in Expert-Client Dialogues" docx

... might therefore explain these shifts as resulting from the per- son in control explicitly indicating that he had nothing more to say. (In the following examples a line indicates a control ... do rep- etitious and summaries operate as cues? In summarising, the speaker is indicating a nat- ural breakpoint in the dialogue and they also indicate that they have nothing more to...

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

8
336
0

Tài liệu Báo cáo khoa học: "AUXILIARIES AND CLITICS IN FRENCH UCG GRAMMAR " doc

... the sign: (v) categorizes signs in lex(ical) and pron(ominal) ones, (iv) in maac(ulin) and fem(inin), in sing(ular) and pl(ural), and introduces values for the 3 persons. (vi) the subcaflist ... flow of information between functor and argument. This information together with some defined aspects of the information carried by the functor, will be finally inscribed in...

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

6
335
0

Tài liệu Báo cáo khoa học: Applications and trends in systems biology in biochemistry docx

... protein kinase; MCF, macrophare chemotactic factor; MCIP, modulatory calcineurin-interact- ing protein; MDCK, Madin Darby canine kidney; MEF, mouse embryonic ﬁbroblast; MEK, MAP kinase/ERK kinase; ... accurately explain insulin-stimulated changes in the concentration of intracellular species and partitioning of glucose disposal in skeletal muscle. Insulin propagates a rather complex coo...

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

91
733
0

Tài liệu Báo cáo khoa học: Osmosensing and signaling in the regulation of mammalian cell function docx

... integrin-dependent cell volume sensing and signaling integrates into the overall context of insulin signaling. Similarly, sensing of glutamine-induced hepatocyte swelling by integrins feeds into ... 5799 [7]. On the other hand, hyperosmotic shrinkage pre- vents insulin-induced hepatocyte swelling and proteo- lysis inhibition, indicating that swelling-dependent signaling essentially contri...

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

5
792
0

Tài liệu Báo cáo khoa học: "Liars and Saviors in a Sentiment Annotated Corpus of Comments to Political debates" pdf

... negative and iro 5 Main Findings and Future Directions We showed that in our setting negative opinions tend to greatly outnumber positive opinions, lea ing to a very unbalanced opinion ratio) . ... negative and iro nic comments Main Findings and Future Directions We showed that in our setting negative opinions tend to greatly outnumber positive opinions, lea d- ing to a v...

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

5
499
0

Tài liệu Báo cáo khoa học: "Abstraction and Generalisation in Semantic Role Labels: PropBank, VerbNet or both?" doc

... roles in a sentence is therefore fundamental to correctly describing the interface between grammar and meaning. In this paper, we compare two annotation schemes, Prop- Bank and VerbNet, in a task-independent, general ... work. In some interesting experiments, Zapirain et al. (2008) test generalising abilities of VerbNet and PropBank comparatively to new role instances in gener...

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

9
558
0

Tài liệu Báo cáo khoa học: " MISREPRESENTATION AND CONTEXT IN DIALOGUE" doc

... representation, or the instructional plan. The individual conditions are combined to determine a final "score" for the PMM, using a calculus akin to MYCIN's certainty factors ([Shortliffe ... B. "The Representation and Use of Focus in a System for Understanding Dialogs" in Proceedings of the 11th International Joint Conference on Artificial Intelligence,...

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

7
411
0

Tài liệu Báo cáo khoa học: "CODES AND CLUES IN CONTEXTS" pdf

... is inferred from clues provided by code and context. Both kinds of meaning are related to syntax in ways that we are coming to understand better as work continues in analyzing language and ... using the code to engage in purposeful ~ communication. The inputs now include discourse in which the amount of code to be interpreted continues to grow as participants in dialogu...

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

2
358
0

Tài liệu Báo cáo khoa học: "WORD AND OBJECT IN DISEASE DESCRIPTIONS" doc

... represented in CMIT. This is done by assign- ing terms which occur predominantly in one category to a single vocabulary and then sorting by entropy. Tables 6 and 7 show the vocabularies used in dermatology ... be used in the descriptions of all kinds of disease, and would accordingly have a high 'entropy'. Tables 2 and 3 show the top and bottom of the list of...

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

4
527
0