a language for formal specifications
Báo cáo khoa học: "A Language for the Statement of Binary Relations over Feature Structures" ppt
Ngày tải lên :
01/04/2014, 00:20
... instantiate a single feature structure embodying meaning representations for both source and target language expressions in a machine translation application Similarly, the transfer rules of Zajac ... to another An alternative would be to formulate transfer rules that encompass a wider context; drawbacks of such an approach would be that it is not possible to cater for all contexts, and that, ... (3) and (4): s Applications of the Formalism We now illustrate how the transfer rule formalism may be exploited, and indicate briefly how the rule invocation regime may vary The machine translation...
- 6
- 347
- 0
Báo cáo hóa học: " Research Article Lutin: A Language for Specifying and Executing Reactive Scenarios" potx
Ngày tải lên :
21/06/2014, 22:20
... the actual implementation, for an average value av and a standard variation sv, we use a relatively simple approximation as follows (i) First of all, the underlying discrete repartition law is approximated ... 1–38, 1997 M Bernardo, L Donatiello, and P Ciancarini, “Stochastic process algebra: from an algebraic formalism to an architectural description language, ” in Performance Evaluation of Complex ... literals) abce is a solution of the formula It means that variables a and e should be false; variables b and c should be true; and variable d can be either true or false The monomial abce, therefore,...
- 11
- 389
- 0
LISP a language for internet scripting and programming
Ngày tải lên :
22/10/2014, 18:11
... null All Jaja objects are serializable 6.5 Kawa Kawa is an ambitious Scheme implementation It includes a Scheme to Java byte code compiler Each function becomes a Java class compiled and loaded at ... that are at least as fast as Java applets Easy access By implementing an integrated development environment for LISP as an applet, web denizens are able to start writing and running LISP programs ... described above, is generated automatically This primitive information can also be used by a LISP-to-Java compilier 7.4 Network citizenship and Java integration With Java as the implementation language, ...
- 20
- 313
- 0
Tài liệu A Common Language for Computer Security Incidents ppt
Ngày tải lên :
14/02/2014, 08:20
... computers for financial gain professional criminals - attackers who attack computers for personal financial gain vandals - attackers who attack computers to cause damage 15 incident attack(s) (s) Attackers ... actually take place during an event For example, when a user logs in to an account, we classify the action as authenticate and the target as account The actual action that takes place is for the ... makes these attacks a distinctive group is a combination of factors, each of which we may only have partial information about First, there may only be one attacker or there may be several attackers...
- 32
- 999
- 0
Tài liệu Báo cáo khoa học: " A Declarative Language for Implementing Dynamic Programs∗" pptx
Ngày tải lên :
20/02/2014, 16:20
... implemented as a ∧ b, and a+ b as a ∨ b The Dyna programmer can declare the agenda discipline—i.e., the order in which updates are processed—to obtain variant algorithms Although Dyna supports stack and ... partial hypotheses are assembled, or where consistency has to be maintained It is already being used for parsing, syntax-based machine translation, morphological analysis, grammar induction, and ... permitted axioms may have values between and 1.8 C++ Interface and Implementation A Dyna program compiles to a set of portable C++ classes that manage the items and perform inference These classes can...
- 4
- 560
- 0
Tài liệu Báo cáo khoa học: "A Lexicon for Exploring Color, Concept and Emotion Associations in Language" doc
Ngày tải lên :
22/02/2014, 02:20
... terms and collocations that represent various hues, darkness, saturation and other natural language collocations We also perform a comprehensive analysis of the data by investigating several questions ... and define a set of concepts associated with that color For Task 2, we showed a particular facial feature and a swatch in a particular color, and asked 50 workers to name the color and describe ... Human Language Technology and Empirical Methods in Natural Language Processing, HLT ’05, pages 579–586, Stroudsburg, PA, USA Association for Computational Linguistics Brent Berlin and Paul Kay...
- 9
- 527
- 0
Báo cáo khoa học: "A Framework for Figurative Language Detection Based on Sense Differentiation" pptx
Ngày tải lên :
07/03/2014, 22:20
... metaphors are quite common (e.g eye of a needle, leg of a table, etc.) and are called catachretic metaphors They appear in a language to remedy the gap in vocabulary (Black, 1954) These metaphors ... to calculate the relatedness, but as it was already mentioned WordNet for the Russian language does not exist yet Another way to calculate semantic relatedness is using Wikipedia (Mihalcea, 2007; ... and Walter G Charles 1991 Contextual correlates of semantic similarity Language and Cognitive Processes, 6(1):128 Malvina Nissim and Katja Markert 2003 Syntactic features and word similarity for...
- 6
- 540
- 0
Báo cáo khoa học: "A Flexible Stand-Off Data Model with Query Language for Multi-Level Annotation" ppt
Ngày tải lên :
08/03/2014, 04:22
... with a capital letter Markables are the carriers of the actual annotation information They can be queried by means of string matching and by means of attribute-value combinations A markable query ... (i.e span) of basedata elements (Figure 2) Normally, however, a markable is also associated with arbitrarily many user-defined attribute-value pairs (Figure 3, Figure 4) Markables can also be ... speaker’s gender Relation operators for associative relations (i.e markable set and markable pointer) are nextpeer, anypeer and nexttarget, anytarget, respectively Assuming the sample data from Section...
- 4
- 348
- 0
Báo cáo khoa học: "A LANGUAGE-INDEPENDENT AN APHORARE SOLUTION SYSTEM FOR UNDERSTANDING MULTILINGUAL TEXTS" pptx
Ngày tải lên :
08/03/2014, 07:20
... is an object in the hierarchi- fies languages if a particular KS is applicable for specally organized KB, and information in a specific KS cific languages can be inherited from a more general ... [i] Chinatsu Aone, Hatte Blejer, Sharon Flank, Douglas McKee, and Sandy Shinn The Murasaki Project: Multilingual Natural Language Understanding In Proceedings of the ARPA Human Language Technology ... Discourse Anaphora Technical report, Bolt, Beranek, and Newman, 1978 [7] Ido Dagan and Alon Itai Automatic Acquisition of Constraints for the Resolution of Anaphora References and Syntactic Ambiguities...
- 8
- 279
- 0
Báo cáo khoa học: "A Programming Language for Mechanical Translation" doc
Ngày tải lên :
16/03/2014, 19:20
... only symbols Both format S and format A are designed for the particular characters available on the printers and card punches in current use Other formats may be made available if and when other ... paragraphs Summary This notational system is convenient and well adapted to a large class of problems including language translation and formal algebraic manipulation The computer automatically converts ... of an abbreviation in the routing calling for format A, a special transliteration takes place The purpose of this transliteration is to allow all of the characters available on the input and...
- 17
- 214
- 0
Báo cáo khoa học: "A Language-Independent Unsupervised Model for Morphological Segmentation" pot
Ngày tải lên :
17/03/2014, 04:20
... manually annotated data is that linguistically motivated morphological segmentation is not necessarily the best possible segmentation for a certain task Evaluation against a manually annotated corpus ... sleeping’) For words that are subject to one of the above processes it is not trivial to automatically group related words and detect regular transformational patterns A range of automated algorithms for ... semantic and syntactic information is very attractive because it adds an additional dimension, but these approaches have to cope with more severe data sparseness issues than approaches that emphasize...
- 8
- 288
- 0
Báo cáo khoa học: "A Framework for Unsupervised Natural Language Morphology Induction" docx
Ngày tải lên :
17/03/2014, 06:20
... conflated Figure illustrates the correspondences between a trie and a portion of a CIC lattice for a small vocabulary con- a. as.o.os.tro cas a. as.o.os 43 african cas jurídic l a. as.o a. as.os a. o.os ... Inflection Class Search Space To define a search space wherein inflection classes of a natural language can be identified, my algorithm accepts as input a monolingual corpus for the language and proposes ... while a paradigm is a set of cells exactly filled by the word forms of some lexeme A particular natural language may have many paradigms In English, a language with very little inflectional morphology,...
- 6
- 500
- 0
Báo cáo khoa học: "The Design of a Computer Language for Linguistic Information" ppt
Ngày tải lên :
24/03/2014, 01:21
... Verb be = V Con- structs Clearly, the bare PATR-II formalism, as it was presented in Section 2.1, is sorely inadequate for any major attempt at building natural -language grammars because of ... pp 95-100 Kaplan, R and J Bresnan, 1983: "LexlcaI-Functionai Grammar: A Formal System for Grammatical Representation," in J 13resnan (ed.), The mental representation of grammatical rclati, rr~ ... grammar allows no trivial cyclic derivations of the form A ~ A 2.3 Mathematical Denotational Well-Foundedness: A Semantics 2.4.1 One reason for maintaining the simplicity of the bare PATR-II formalism...
- 5
- 383
- 0
Báo cáo khoa học: "A PROLOG IMPLEMENTATION OF LEXICAL LANGUAGE FUNCTIONAL PROCESSING GRAMMAR SYSTEM AS A BASE FOR A NATURAL" pdf
Ngày tải lên :
24/03/2014, 05:21
... relations of a sentence But what about the logical relations? Recall that each clause has a unique head end that the functional features of each phrase are identified with those of its head For ... (O~J)" A ~mED 'A~ m~C~ NU~ SG~ ) It is composed of grammtical ftmction naras, s~antic forms and feature symbols The crucial elements of LFG (in contrast to transformational g~n.ar)are the grammticel ... the anaphoric link in (2) is preserved But (6) does - for configurational reasons - not allow for an anaphoric relation between the "she" and "a woman" The same happens intersententially as shown...
- 6
- 476
- 0
Test of English as a Foreign Language for Internet-Based Testing: Information and Registration BULLETIN
Ngày tải lên :
25/03/2014, 10:41
... NATIVE LANGUAGE CODES AFR AKA ALB AMA ARA ARM ASM AZE BAM BAK BAQ BEL BEM BEN BER BIK BOS BUL BUR CAT CEB NYA CHI CHV Afrikaans Akan Albanian Amharic Arabic Armenian Assamese Azerbaijani Bambara ... BWA BRA BRN BGR BFA BDI KHM CMR CAN CPV CYM CAF TCD CHL CHN Afghanistan Albania Algeria American Samoa Andorra Angola Anguilla Antigua and Barbuda Argentina Armenia Aruba Australia Austria Azerbaijan ... ORM PAU POL PON POR Latvian Lingala Lithuanian Luba-Lulua Luo Macedonian Madurese Malagasy Malay Malayalam Maltese Marathi Marshallese Mende Minangkabau Mongolian Mossi Nepali Norwegian Oriya Oromo...
- 28
- 764
- 2
Metamath A Computer Language for Pure Mathematics pdf
Ngày tải lên :
31/03/2014, 12:20
... database that is provided with the Metamath package and is the subject matter of Chapter Any language (a metalanguage) used to describe mathematics (an object language) must have a mathematical ... computer language that describes formal mathematical systems and expresses proofs of theorems in those systems Such a language is called a metalanguage by mathematicians “Metamath” is also the name ... like a bug in a computer program? After all, you’ve read that famous mathematicians have occasionally made mistakes, and you certainly know you’ve made your 1.1 MATHEMATICS AS A COMPUTER LANGUAGE...
- 211
- 1.2K
- 0
English as a Second Language Learners: A Guide for ESL Specialists doc
Ngày tải lên :
02/04/2014, 05:20
... Lorraine Authentic Assessment for English Language Learners: Practical Approaches for Teachers Reading, MA: Addison-Wesley 1996 Oxford, Rebecca L Language Learning Strategies: What Every Teacher ... refugee, migrant, native-born) • date of arrival in Canada, if applicable Educational information • number of years of schooling • type and duration of exposure to English (formal, informal, oral, written) ... broader Canadian society and in school be seen as an addition to a student’s linguistic experience Based on Margaret Early, “Enabling First and Second Language Learners in the Classroom, Language...
- 62
- 779
- 1
pattern-oriented software architecture volume 4 a pattern language for distributed computing
Ngày tải lên :
01/06/2014, 10:57
... several distribution and pattern experts Ademar Aguimar, Steve Berczuk, Alan O’Callaghan, Ekatarina Chtcherbina, Jens Coldewey, Richard Gabriel, Ian Graham, Prashant Jain, Nora Koch, Doug Lea, Klaus ... BUILDER (527), FACTORY METHOD (529), and DISPOSAL METHOD (531) Database Access: DATABASE ACCESS LAYER (538), DATA MAPPER (540), ROW DATA GATEWAY (542), TABLE DATA GATEWAY (544), and ACTIVE RECORD ... computing • Chapter 1, On Patterns and Pattern Languages, outlines all aspects of the pattern and pattern language concepts that are relevant for understanding our pattern language for distributed...
- 639
- 304
- 0
the language of physics a foundation for university study nov 2008
Ngày tải lên :
10/06/2014, 22:31
... of approximation is called ‘the midpoint rule’ for calculating an approximate value of the area A Numerical integration (or numerical quadrature) is a whole subject devoted to calculating areas ... Delhi Shanghai Taipei Toronto With offices in Argentina Austria Brazil Chile Czech Republic France Greece Guatemala Hungary Italy Japan Poland Portugal Singapore South Korea Switzerland Thailand Turkey ... Evaluate a b if a = ay and b = bx y (d) The aim of this part is to convince you that just as in normal algebra where a( b + c) = ab + ac, with scalar products a · (b + c) = a · b + a · c Look at...
- 240
- 409
- 0
Báo cáo hóa học: " Research Article A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis" pdf
Ngày tải lên :
22/06/2014, 19:20
... Delaval and E Rutten 11 s2 ∧ a3 s2 ∧ a3 ∧ a1 s1 a2 ∧ a1 s1 s2 ∧ a3 ∧ a1 a2 ∧ a1 a1 ∧ a3 s1 ¬s1 ∧ a2 a3 a3 ∧¬s1 a1 ∧ ¬s2 Err Err Err (a) Always t1 between (t2,t3) s2 s2 ∧ ¬s1 (b) Always t1 before ... control automaton can be constructed Each declared application has a name, and is launched on the occurrence of a signal req name The automaton of an application named A is shown in Figure 8 (a) On ... “protoautomata,” an intermediary form of automata, to represent each statement translated, and which will be composed together A protoautomaton is an automaton as shown in Figure 8(b), with a labelled...
- 17
- 288
- 0