a semantics for a logic of authentication

... Rican sample) as causes of asthma.  Mexico and Guatemala reported vitamins, drinking liquids, eucalyptus tea, honey, and praying as treatments for asthma. Guatemala reported herbal teas (chamomile, ... surveys of 160 Latino adults in Hartford, CT; Edinburg, TX; Guadalajara, Mexico; and in rural Guatemala; a 142-item questionnaire covered asthma beliefs and practices. (Pachter et al. Journal of Asthma ... biologically correct causal models of asthma although 100% reported the use of at least 1 CAM for asthma.  Biologically based therapies, humoral balance, and prayer were the most popular...

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

... Abbreviations — V & G: Vartanian and Goel (2004); K & Z: Kawabata and Zeki (2004); C-C et al: Cela-Conde and colleagues (2004). 382 M. Nadal et al. the neuroanatomical correlates of aesthetic ... frontal activity detected by Cela-Conde et al. (2004) (dorsolateral), Kawabata and Zeki (2004) (orbitofrontal) and Vartanian and Goel (2004) (anterior cingulate) was associated with positive ratings. ... the advantage of studying reactions to real art and the disadvantage that any two works of art differ from each other in several different respects, so that the actual factor responsible for 394...

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

... context-based machine translation evaluation. Machine Translation, 17(1):43–75. Masaki Murata, Kiyotaka Uchimoto, Qing Ma, Toshiyuki Kanamaru, and Hitoshi Isahara. 2005. Analysis of machine translation ... graphical tool for performing human error analysis, from any MT system and for any language pair. BLAST has a graphical user interface, and is designed to be easy 1 The BiLingual Annotation/Annotator/Analysis ... especially in combination with a part -of- speech analysis (Popovi ´ c et al., 2006). Human evaluation is also often quantitative, for instance in the form of estimates of values such as adequacy and...

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

... Ennis, Janna Hastings, Martin Zbinden, Alan McNaught, Rafael Alc ´ antara, Michael Darsow, Micka ¨ el Guedj, and Michael Ashburner. 2008. ChEBI: a database and ontology for chemical entities of biological interest. ... to transform syntactic as well as morphological variations of names into a normalized name form. Basic trans- formations can be achieved via pattern match- ing (regular expressions) while for ... Each of the variables has a domain, which is the set of pos- sible values the variable can take. For the reasons named above, we are working with graph variables and graph domains. The number of...

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

... a llnearized list of all the lexemes and punctu- ation marks composing a sentence. The format of the declarative lexicon and of the grammar rules is that of the REALPRO realizer, which ... EXEM- PLARS: A Practical Exensible Framework for Real-Time Text Generation, In Proceedings of the 9th International Workshop on Natural Language Generation, Ontario, Canada. 722 Presentation ... optional except for the name of the exemplar: • Name: Specification of the name of the ex- emplar. • Parameters: Specification of the arguments passed in parameters when the exemplar is called....

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

... Estimation of the quality of an automatic summary We are now looking for a function Q M,x (a) that estimates the quality of an automatic summary a ∈ A, given a set of models M and a similarity ... paper, we introduce a probabilistic framework, QARLA, that addresses such issues. Given a set of manual summaries and another set of baseline summaries per task, together with a set of similarity ... Our framework satisfies this con- dition. An advantage of ORAN GE, however, is that it does not require a large number of gold stan- dards to reach stability, as in the case of QARLA. Finally,...

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

... predicates, a list of scopal constraints, syn- tactic, prosodic and pragmatic information as well as tense and aspect and sortal information. An ex- ample of a VIT for the sentence Montag ist ... Storing Partial Analyses The first task of the robust semantic processing is to manage a possibly large number of partial analy- ses, each spanning a certain sub-interval of the input utterance. ... translation. A semantic transfer approach (Doma and Emele, 1996) based on a deep linguistic analysis of the input utterance competes with statis- tical, example based and dialogue act based...

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

...

Ngày tải lên: 19/03/2014, 00:20

... CCACCAGAACCTCCGCCTCCTGATCCGCCACCTCCTGAGGAGACGGTGACCAGGGTGCC JH3.link CCACCAGAACCTCCGCCTCCTGATCCGCCACCTCCTGAAGAGACGGTGACCATTGTCCC JH4-5.link CCACCAGAACCTCCGCCTCCTGATCCGCCACCTCCTGAGGAGACGGTGACCAGGGTTCC JH6.link CCACCAGAACCTCCGCCTCCTGATCCGCCACCTCCTGAGGAGACGGTGACCGTGGTCCC L. ... GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTGAAATTGTGTTGACGCAGTCTCC VK4.link GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTGACATCGTGATGACCCAGTCTCC VK5.link GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTGAAACGACACTCACGCAGTCTCC VK6.link GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTGAAATTGTGCTGACTCAGTCTCC VL1.link ... GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTTCTTCTGAGCTGACTCAGGACCC VL 3a. link GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTTCCTATGTGCTGACTCAGCCACC VL4.link GGCGGATCAGGAGGCGGAGGTTCTGGTGGAGGTGGGAGTCACGTTATACTGACTCAACCGCC VL5.link...

Ngày tải lên: 23/03/2014, 13:20

... that it can make sim- ple inferences from family relationships it al- ready knows (e.g. that daughters of the same par- ent are siblings) and that it can access real-time information about places ... feature adds an interesting ac- companiment to the photo domain and demon- strates the ability of the system to handle more than one kind of application at a time, and news has, of course, an ... a group photo from a vacation in Zan- zibar, and after the system had already stored, from an earlier conversation, that the user has a daughter Zoe (using researchers’ children to avoid any...

Ngày tải lên: 23/03/2014, 16:20

... and future approaches. In Proceedings of the First Conference of the Association for Machine Translation in the Ameri- cas, pages 193–205, Columbia, Maryland. BLEU: a Method for Automatic Evaluation ... a method of automatic ma- chine translation evaluation that is quick, inexpensive, and language-independent, that correlates highly with human evalu- ation, and that has little marginal cost per run. ... USA {papineni,roukos,toddward,weijing}@us.ibm.com Abstract Human evaluations of machine translation are extensive but expensive. Human eval- uations can take months to finish and in- volve human labor that can not be reused. We propose a method...

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

... A BASIS FOR A FORMALIZATION OF LINGUISTIC STYLE Stephen J. Green Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 INTRODUCTION Style in language ... than just surface ap- peaxance, on the contrary, it is an essential part of the meaning conveyed by the writer. A com- putational theory of style could be of great use in many computational ... produce a certain effect. In applications such as machine translation, a computational theory of stylistics would allow the preservation or modification of stylistic effects across languages....

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

... (ed.), Formal Semantics in the Study of Natural language I, 1981 57 A PROLOG IMPLEMENTATION OF LEXICAL FUNCTIONAL GRAMMAR AS A BASE FOR A NATURAL LANGUAGE PROCESSING SYSTEM Werner Frey and ... 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 (3) the head of S -~> ... set of possible quantifier scope relations. ~-erefore there must he an interaction between the grammatical head and the logical head of a phrase. I. A PROLOG ~W[/94~NTATION OF LFG A main...

Ngày tải lên: 24/03/2014, 05:21

... Atlanta, July. AAAI. Seniz Demir, Sandra Carberry, and Kathleen F. Mc- Coy. 201 0a. A discourse-aware graph-based content- selection framework. In Proceedings of the 6th In- ternational Natural ... output against. 5 Discussion The work proposed herein aims to advance the state- of- the-art in automatic summarization by offering a means of generating abstractive summaries from a semantic model ... to a limited class of images for the prototype implementation. Informa- tion graphics, such as bar charts and line graphs, are commonly found in popular media (e.g., magazines, newspapers) accompanying...

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

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

Ngày tải lên: 01/04/2014, 00:20

Ngày tải lên: 10/05/2014, 16:26

Ngày tải lên: 19/06/2014, 08:20

Ngày tải lên: 20/06/2014, 04:20