... automati- cally generated before the search for a proof starts. Additionally, the prover uses a SUMO knowledge base of temporal reasoning axioms that consists of axioms for a representation of time points ... the logic forms of the glosses provided by eXtended WordNet 8 to, automatically, create our world knowledge axioms. For example, the first sense of noun Pope and its d...
Ngày tải lên: 20/02/2014, 12:20
... Ambiguity: The form of cer- tain letters in Arabic script allows suboptimal or- thographic variants of the same word to coexist in the same text. For example, variants of Hamzated Alif, or are often written ... always an easy task and often requires the use of a morphological analyzer. One common example in Arabic nouns is Broken Plurals. For example, one of the plu- ral forms...
Ngày tải lên: 20/02/2014, 11:21
Tài liệu Báo cáo khoa học: "Types of Common-Sense Knowledge Needed for Recognizing Textual Entailment" ppt
... linguis- tic knowledge and knowledge about how the world works, also known as common-sense knowledge. We attempt to characterize the kinds of common-sense knowledge most often involved in recognizing textual ... condensed “proof” (with knowledge categories for the back- ground knowledge) and Hypothesis. knowledge rather than linguistic knowledge required for RTE. F...
Ngày tải lên: 20/02/2014, 05:20
Tài liệu Báo cáo khoa học: Roles of heat shock factors in gametogenesis and development pptx
... way for the search of modifier genes that would enhance or diminish the impact of HSF2 deficiency. Pending questions for the roles of HSF1 and HSF2 in oogenesis and in early embryos The role of ... level of the regulation of HSF activity in the brain is therefore MAP kinase signaling pathways [132]. Roles of HSFs during brain normal development Hsf2 gene inactivation studies w...
Ngày tải lên: 18/02/2014, 04:20
Tài liệu Báo cáo khoa học: Biosynthesis of riboflavin Screening for an improved GTP cyclohydrolase II mutant pdf
... K m values of the mutant constructs may be caused predominantly by an increased off-rate for dissociation of the Michaelis complex. For the time being, we are limited to speculation because off-rates have ... FEBS 4119 in light of the small amounts of the trace metabolite that are required for metabolism and growth. These low rates constitute a problem for the further improve-...
Ngày tải lên: 18/02/2014, 11:20
Tài liệu Báo cáo khoa học: Development of a new method for isolation and long-term culture of organ-specific blood vascular and lymphatic endothelial cells of the mouse pdf
... Japan) for providing pSA-bgeo; Dr Izumo Saito (Institute of Medical Science, University of Tokyo, Japan) for providing pCAG-Cre; Dr Ikuo Yana (Institute of Medical Science, University of Tokyo, ... Japan) for help in per- forming endothelial tube formation experiments. This work was supported by grants from the Japan Society for the Promotion of Science (to T. I.) and the Mi...
Ngày tải lên: 18/02/2014, 17:20
Tài liệu Báo cáo khoa học: "Demonstration of the UAM CorpusTool for text and image annotation" docx
... embedding of segments. Annotated texts are stored using stand-off XML, one file per source text and layer. See Figure 4 for a sample. The software does not currently input from or export to any of ... Abstract This paper introduced the main features of the UAM CorpusTool, software for human and semi-automatic annotation of text and images. The demonstration will s...
Ngày tải lên: 20/02/2014, 09:20
Tài liệu Báo cáo khoa học: "DESIGN OF A KNOWLEDGE-BASED REPORT GENERATOR" doc
... Semantic analysis of a sample of natural text stock reports discloses that a hierarchy of approximately forty message classes accounts for nearly all of the semantic information contained ... fundamental knowledge constructs of the sys- tem are of two types: 1) static knowledge structures, or memory elements, which can be thought of as n- dimensional propositions, a...
Ngày tải lên: 21/02/2014, 20:20
Tài liệu Báo cáo khoa học: "A Syntax-Driven Bracketing Model for Phrase-Based Translation" pptx
... Proceedings of the 47th Annual Meeting of the ACL and the 4th IJCNLP of the AFNLP, pages 315–323, Suntec, Singapore, 2-7 August 2009. c 2009 ACL and AFNLP A Syntax-Driven Bracketing Model for Phrase-Based ... then 8: Update bracketing instances for index j 9: end if 10: end if 11: end for 12: for each j ∈ c do 13: := ∪ {bracketing instances from j} 14: end for 15: Output:...
Ngày tải lên: 20/02/2014, 07:20
Tài liệu Báo cáo khoa học: "A Phrase-based Statistical Model for SMS Text Normalization" ppt
... accuracy of 0.80702 in BLEU score compared to the baseline system of 0.6985. We also study the impact of our SMS text normalization on the task of SMS transla- tion. The experiment of translating ... on the three major cases of transformation as shown in the corpus: (1) replacement of OOV words and non-standard SMS lingoes; (2) re- moval of slang and (3) insertion of au...
Ngày tải lên: 20/02/2014, 12:20