towards a rewriting logic semantics for atl
Tài liệu Towards a conceptual reference model for project management information systems ppt
... outlinedabove by introducing a very fundamental data structurecalled Initiative (Fig. 3). An initiative is a generalizationof any form of action that has a defined start and end dateand is unde rtaken ... rtaken to reach a goal. Therefore, an initiativemay be a program, a project, a sub-project, a pro ject phase, a work package, an activity or a task (indicated by theinheritance relationship between ... Their feasibility, profitability, and strategic impactare analyzed so that a final decision can be made regard-ing their implementation (Idea Evaluation). This phaseends with a formal go/no-go...
- 12
- 720
- 0
Tài liệu Báo cáo khoa học: "TOWARDS A DICTIONARY SUPPORT ENVIRONMENT FOR REAL TIME PARSING" potx
... to domain knowledge already encoded in the knowledge base of a limited domain natural language application such as a database query system. Given a hand-coded hierarchical organization of ... The Mental Representation of Grammatical Relations, The MIT Press, Cambridge, Mass, pp.173-281 Kay, M.(198 4a) 'Functional Unification Grammar: A Formalism for Machine Translation', ... system', IBM Systems Journal, vol.21, 305- 326 Kaplan, R. and Bresnan, J.(1982) 'Lexical-Functional Grammar: A Formal System for Grammatical Representation' in J.Bresnan (dd.),...
- 8
- 393
- 0
Báo cáo khoa học: "Towards A Modular Data Model For Multi-Layer Annotated Corpora" docx
... XQuery for XML or SQL for rela-tional databases. But these complicate query for- mulating because they are tailored to query a lowlevel data storage model rather than a high levelannotation data ... data model for PACE-Ling(Sec. 2.2). The ultimate goal of our research is tocreate a modular extensible data model for multi-layer annotated corpora. To achieve this, we aimto create a data ... XML data, such asXPath, XQuery and XSchema and where neces-sary trying to extend them, instead of creating a new data model from scratch. For the annotationaltiers, as LPath has shown, a good...
- 8
- 337
- 0
Báo cáo khoa học: "Towards a Cognitively Plausible Model for Quantification" docx
... same meaning regardless of the context (Forbes, 1989). In such a framework, all natural language quantifiers have their meaning grounded in terms of two logical operators: V (for all), and ... USA and Carelton University, School of Computer Science Ottawa, Ontario, KIS-5B6 CANADA walid@eagle.hr.att.com Abstract The purpose of this paper is to suggest that quantifiers in natural ... (1994), From Inheritance Relation to Non- Axiomatic Logic, International Journal of Approximate Reasoning, (accepted June 1994 - to appear). Zeevat, H. (1989). A Compositional Approach to Discourse...
- 3
- 237
- 0
Báo cáo khoa học: "Towards a Resource for Lexical Semantics: A Large German Corpus with Extensive Semantic Annotation" pot
... Semantic AnnotationKatrin Erk and Andrea Kowalski and Sebastian Pad´o and Manfred PinkalDepartment of Computational LinguisticsSaarland UniversitySaarbr¨ucken, Germany{erk, kowalski, pado, ... desirable.FrameNet as a resource for semantic role an-notation. Above, we have asked about the suitabil-ity of FrameNet for semantic role annotation, andour data allow a first, though tentative, ... suit-able resource as annotation basis. FrameNet roles,which are local to particular frames (abstract sit-uations), may be better suited for the annotationtask than the “classical” thematic...
- 8
- 407
- 0
Towards a combined product - process approach TO DEVELOPING BUSINESS CORRESPONDENCE WRITING SKILLS FOR ENGLISH MAJORS IN HAIPHONG UNIVERSITY
... will have a clear idea about the organization of a particular text. And what’s more, the Product Approach understands that imitation is one way in which people learn. It has contributed greatly ... as Product Approach, Process Approach and Genre Approach were reviewed and their advantages and drawbacks were drawn out so that suitable writing techniques can be picked up and inappropriate ... INPUT → PARALLEL TEXTThe use of models for text analysis and as a basis for thinking about the purposes and readership of a text can, however, have an important role to play in teaching writing....
- 38
- 933
- 2
Tài liệu Báo cáo khoa học: Progress for dengue virus diseases Towards the NS2B–NS3pro inhibition for a therapeutic-based approach ppt
... disease plays a keyrole in inducing plasma leakage, shock and hemorrhagic manifestations.Currently, there are no vaccines available against dengue virus, althoughseveral tetravalent live-attenuated ... World Health Organization, updated February 2006.Type of vaccinePharmaceuticalcompany orresearch groupStatus ofdevelopmentLive attenuated tetravalent vaccine Sanofi-Pasteur ⁄ Mahidol Phase ... mutant US Food and Drug Administration PreclinicalTetravalent E-NS1 fusion protein subunit Hawaii Biotech PreclinicalDNA and recombinantmodified vaccinia AnkaraNational Institute of Health...
- 17
- 462
- 0
Tài liệu Towards a framework for the study of the neural correlates of aesthetic preference pdf
... (2004); K & Z: Kawabata and Zeki (2004); C-C et al: Cela-Conde andcolleagues (2004).382 M. Nadal et al.the neuroanatomical correlates of aesthetic preference for paintings” (Vartanian andGoel, ... (dorsolateral), Kawabata and Zeki (2004)(orbitofrontal) and Vartanian and Goel (2004) (anterior cingulate) was associatedwith positive ratings. Additionally, in the study by Cela-Conde et al. ... obtained by Kawabata and Zeki (2004), let us recall theyfound that stimuli rated as beautiful were associated with an increased activity inthe orbitofrontal cortex, as Chatterjee (2003) had...
- 19
- 526
- 0
Tài liệu Báo cáo khoa học: "A LOGICAL SEMANTICS FOR FEATURE STRUCTURES" pdf
... definition of this logic. 4 A Logical Semantics As Pereira and Shieber [11] have pointed out, a grammatical formalism can be regarded in a way similar to other representation languages. Often it ... formula. These two forms may be regarded as notational variants for expressing the same facts. While fea- ture matrices seem to be a more appealing and natural notation for displaying linguistic ... The labels of attributes bear a superficial resemblance to modal operators. Note that no information is added or subtracted by rewriting the feature matrix of Figure 1 as a logical formula....
- 10
- 421
- 0
Tài liệu Báo cáo khoa học: "TOWARDS A CORE VOCABULARY FOR SYSTEM A NATURAL LANGUAGE" potx
... here allows for a balanced extension of this very smaU core. The list//3 was chosen as the statistical core vocabulary serving as a base for applying se- mantic criteria, becat, se the overall ... claim that one can achieve a fixed point from where on no new words are added to tim set, and that at this moment one has reached a rather good approximation to a semantic core vocabu- lary. ... vocabulary which is needed for handl- ing any subject domain. 'llfis assumpti(m is also shared by many researchers, and it tmdcrlies the production of basic vocabularies for language...
- 3
- 409
- 0
Báo cáo khoa học: "A Compositional Semantics for Focusing Subjuncts" doc
... compositional. In addition, using a composition semantics in semantic interpre- tation has numerous computational advantages. The particular incarnation of a compositional se- mantics that serves as ... tiklm, Kaarlo Jaakko Juhani, Moravcsik, Julius Matthew Emil, and Suppes, Patrick Colonel, edi- tors, Approaches to Natural Language: Proceedings of the 1970 Stanford workshop on grammar and se- ... A- expressions would make the frame representation language less tractable. 3 Details of the semantics 3.1 Semantic features Three semantic objects are computed for and at- tached to each syntactic constituent,...
- 8
- 304
- 0
Báo cáo khoa học: "A Descriptive Framework for Translating Speaker''''s Meaning Towards a Dialogue Translation System between Japanese and English" pot
... information absent in surface utterances such as zero anaphora are compensated for and in some cases multiple analyses are disambiguated. (3-3), the surface analysis of (3-2), is analyzed as ... diagrams an overview of the procedure for translating speaker's meaning. In contrast to a conventional machine translation procedure, speaker's meaning can be analyzed and generated, ... syntactically by means of predicate- internal collocation, adjunction, tense, and modal information. An IFT-Schema consists of a goal whose value is a partial description of a deep IFT, and a...
- 8
- 329
- 0
Báo cáo khoa học: Optimization of D-amino acid oxidase for low substrate concentrations – towards a cancer enzyme therapy pdf
... approach, one DAAOmutant was identified that has increased activity at low O2and d-Ala con-centrations and a 10-fold lower Km for O2. We report on the mechanism ofthis DAAO variant and on its ... lm)O2reveals strikingdifferences: thus, whereas at air saturation the timeprofiles that reflect O2consumption are essentially thesame for wt-DAAO and m-DAAO, at 73 lm O2m-DAAO consumes the available ... small[21]. The parameters obtained from steady-statemeasurements at [O2] = 0.305 mm (Table 1) showthat, whereas kcat for m-DAAO is smaller than for wt-DAAO, its O2affinity is significantly...
- 12
- 413
- 0
Báo cáo khoa học: "A PARAMETERIZED APPROACH TO INTEGRATING ASPECT WITH LEXICAL-SEMANTICS FOR MACHINE TRANSLATION" doc
... facing (ACC ACT) asking (ACC ACT) made (ACC) drove ~ACC ACT) welcome (STA ACC ACT ACH) emphasized (STA ACC ACT ACH) thanked (ACC ACT STA) staged (ACC) make (ACC) continue ~ACC ... is an acceptable translation for (7)0). However, the same is not true of (7)(it): 7 (9) (i) Juan habfa ido a la tienda euando Maria lleg6. (it) Juan habia ido a la tienda al Ilegar Maria. ... ensure (STA ACC ACT ACH) act ( ACT ACC) carry (ACC) exercise (ACC) impose (STA ACC ACT ACH) contain ~STA ACC ACT ACH) infuriate (ACC ACT) Figure 9: Aspectual Classification Results...
- 8
- 441
- 0
Báo cáo khoa học: "A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS" pptx
... that set. Formally, we encode our logic as an information system (Scott 1982). An information system (IS) is a triple (A, C, b) where A is a countable set of "atoms," Cis a class ... sorts. They are simi- lar to theorems proved in (Delgrande and Jackson 1991): inconsistent defaults are never applicable; while necessary ones are always applicable. The last part allows for strengthening ... LOGICAL SEMANTICS FOR NONMONOTONIC SORTS Abstract Suppose we have a feature system, and we wish to add default values in a well-defined way. We might start with Kasper-Rounds logic, and use...
- 7
- 266
- 0
- principle based semantics for hpsg
- towards a proper treatment
- towards a core vocabulary
- towards a zampolli reusable linquistic
- a defeasible logic reasoner for the semantic web
- a semantics for ban logic
- a semantics for a logic of authentication
- towards a rulebased approach for contextaware applications
- towards a resource for lexical semantics a large german corpus with extensive semantic annotation
Tìm thêm: hệ việt nam nhật bản và sức hấp dẫn của tiếng nhật tại việt nam xác định các nguyên tắc biên soạn khảo sát các chuẩn giảng dạy tiếng nhật từ góc độ lí thuyết và thực tiễn khảo sát chương trình đào tạo của các đơn vị đào tạo tại nhật bản xác định thời lượng học về mặt lí thuyết và thực tế tiến hành xây dựng chương trình đào tạo dành cho đối tượng không chuyên ngữ tại việt nam điều tra với đối tượng sinh viên học tiếng nhật không chuyên ngữ1 khảo sát các chương trình đào tạo theo những bộ giáo trình tiêu biểu nội dung cụ thể cho từng kĩ năng ở từng cấp độ xác định mức độ đáp ứng về văn hoá và chuyên môn trong ct mở máy động cơ rôto dây quấn các đặc tính của động cơ điện không đồng bộ hệ số công suất cosp fi p2 đặc tuyến mômen quay m fi p2 động cơ điện không đồng bộ một pha sự cần thiết phải đầu tư xây dựng nhà máy phần 3 giới thiệu nguyên liệu từ bảng 3 1 ta thấy ngoài hai thành phần chủ yếu và chiếm tỷ lệ cao nhất là tinh bột và cacbonhydrat trong hạt gạo tẻ còn chứa đường cellulose hemicellulose chỉ tiêu chất lượng theo chất lượng phẩm chất sản phẩm khô từ gạo của bộ y tế năm 2008 chỉ tiêu chất lượng 9 tr 25