| Sample search results for: aarne pldvere tanel |
| 1 | P R A G U E The Association for Computational Linguistics | ||
|
Summary: (U Edinburgh) Aarne Ranta (Chalmers, Gothenberg) Manny Rayner (Powerset/U Geneva) Ye-Yi Wang... ¨of. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9 Dialogue System Localization with the GF Resource Grammar Library Nadine Perera and Aarne Ranta... ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 2 | Volume 12, Number 10 26 October 2011 | ||
|
Summary: around mafic sheet intrusions Ingrid Aarnes Physics of Geological Processes, University of Oslo, PO Box... 2011 by the American Geophysical Union 1 of 11 #12;Aarnes, I., K. Fristad, S. Planke, and H. Svensen... ; Svensen et al., 2007, 2004; Aarnes et al., 2010]. One of the consequences of this hypothesis |
|||
|
Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo |
|||
|
Collection: Geosciences |
|||
| 3 | Proceedings of the Demonstrations Session | ||
|
Summary: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Grammatical Framework Web Service Bj¨orn Bringert, Krasimir Angelov and Aarne Ranta... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Grammar Development in GF Aarne Ranta, Krasimir Angelov and Bj¨orn ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 4 | The Department of Computer Science The University of Auckland | ||
|
Summary: , fairness is one of the paramount features for E-commerce payment sys- tems. In this case study of the AARN... him I would not have had the opportunity to work with AARN on this research topic. I have known Barry... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2 Trust in E-commerce . . . . . . . . . . . . . . . . . . . . . ... |
|||
|
Source: Thomborson, Clark - Department of Computer Science, University of Auckland |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 5 | Functional Morphology User manual | ||
|
Summary: * ******************************************** * Functional Morphology v1.00 * * (c) Markus Forsberg & Aarne Ranta 2004 * * under GNU General Public License... ) Markus Forsberg & Aarne Ranta 2004 * * under GNU General Public License... * ******************************************** * Functional Morphology v1.00 * * (c) Markus Forsberg & ... |
|||
|
Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 6 | This volume contains the papers of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006), which was held on 21st of August, 2006, in Seattle, | ||
|
Summary: ¨uth Michael Norrish Florina Piroi Aarne Ranta Makarius Wenzel and all additional reviewers Lo¨ic Pottier |
|||
|
Source: Benzmüller, Christoph - FR 6.2 - Informatik, Universität des Saarlandes |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 7 | CHP 395 B P2: CASE ANALYSIS Assigned: January 27, 2005 M. C. Loui 20 points Due: February 10, 2005 | ||
|
Summary: Patient by Marc D. Brown The Marty Brown Case by Muriel J. Bebeau et al. An Oil Spill? by P. Aarne |
|||
|
Source: Loui, Michael - Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 8 | Spanish Advising Information Sheet Fall 2011 Website with Answers to Spanish Advising Questions | ||
|
Summary: Dr. Aarnes Gudmestad Dr. Moses Panford Dr.Sarah Sierra Rm. 307 (231-8304) Rm. 337 (231-8314) Rm. 319 |
|||
|
Source: Virginia Tech, Virginia Bioinformatics Institute, Influenze Outbreak Project |
|||
|
Collection: Biology and Medicine ; Computer Technologies and Information Sciences |
|||
| 9 | Proceedings of the ACL 2010 System Demonstrations, pages 6671, Uppsala, Sweden, 13 July 2010. c 2010 Association for Computational Linguistics | ||
|
Summary: on the Web Aarne Ranta and Krasimir Angelov and Thomas Hallgren Department of Computer Science... and Engineering Chalmers University of Technology and University of Gothenburg aarne@chalmers.se, krasimir... . In COLING, Saarbr¨ucken, Germany, pp. 243249. URL http://www.cs.chalmers.se/aarne/ articles/coling2000.ps |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 10 | 48th Annual Meeting of the Association for Computational Linguistics | ||
|
Summary: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 Tools for Multilingual Grammar-Based Translation on the Web Aarne Ranta, Krasimir Angelov... for Multilingual Grammar-Based Translation on the Web Aarne Ranta, Krasimir Angelov and Thomas Hallgren ix #12 |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 11 | Proceedings of the EACL 2009 Demonstrations Session, pages 912, Athens, Greece, 3 April 2009. c 2009 Association for Computational Linguistics | ||
|
Summary: and Krasimir Angelov and Aarne Ranta Department of Computer Science and Engineering Chalmers University... of Technology and University of Gothenburg {bringert,krasimir,aarne}@chalmers.se Abstract We present a web... for Computational Lin- guistics. Krasimir Angelov, Bj¨orn Bringert, and Aarne Ranta. 2008. PGF: A Portable Run |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 12 | Contact metamorphic devolatilization of shales in the Karoo Basin, South Africa, and the effects of multiple sill intrusions | ||
|
Summary: of multiple sill intrusions Ingrid Aarnes a, ,1 , Henrik Svensen a , Stephane Polteau a,b , Sverre Planke a... ., 2004, 2006, 2007; Aarnes et al., 2010). Such voluminous release of methane will perturb the global... the proxy record (Svensen et al., 2004, 2007, 2009; Aarnes et al., 2010), there is a need for complementary |
|||
|
Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo |
|||
|
Collection: Geosciences |
|||
| 13 | ACL-08: HLT Annual Meeting | ||
|
Summary: International, USA Tanel Alum¨ae, Tallinn University of Technology, Estonia Michiel Bacchiani, Google Inc., USA |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 14 | Integrating Gandalf and HOL Computer Laboratory | ||
|
Summary: ] is a resolution theorem-prover for first-order classical logic with equality. It was written in 1994 by Tanel... of the documentation included with the hol98 theorem-prover. 9. Tanel Tammet. A resolution theorem prover... for intuitionistic logic. In McRobbie and Slaney [7]. 10. Tanel Tammet. Gandalf version c-1.0c Reference ... |
|||
|
Source: de Gispert, Adrià - Machine Intelligence Laboratory, Department of Engineering, University of Cambridge |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 15 | 20110705_Unapplied_Deposit.xls Page 1 of 2 Unapplied Deposits as of 7-5-2011 | ||
|
Summary: /18/2011 Grant # 3480 - Dr. Tanel 30,000.00$ Teva Neuroscience, Inc. 100013460 2087-051611E1 5/20/2011 APCHR-2011 |
|||
|
Source: Derisi, Joseph - Department of Biochemistry and Biophysics, University of California at San Francisco |
|||
|
Collection: Biotechnology ; Biology and Medicine |
|||
| 16 | Phylogeny and biogeography of the Malagasy and Australasian rainbowfishes (Teleostei: Melanotaenioidei): Gondwanan | ||
|
Summary: and Rheocles (= Bedotiidae) has been addressed in several recent studies (Aarn and Ivantsoff, 1997; Dyer... been the subject of considerable debate (Aarn and Ivantsoff, 1997; Dyer and Chernoff, 1996; Stiassny... (Aarn and Ivantsoff, 1997) (Fig. 1). The placement and interrelationships of telmatherinids and pseudo |
|||
|
Source: Sparks, John S. - Department of Ichthyology, American Museum of Natural History; Wheeler, Ward - Division of Invertebrate Zoology, American Museum of Natural History |
|||
|
Collection: Biology and Medicine ; Environmental Sciences and Ecology |
|||
| 17 | Connecting OCL with the Rest of the World Reiner Hahnle and Aarne Ranta | ||
|
Summary: Connecting OCL with the Rest of the World Reiner Hahnle and Aarne Ranta Chalmers University... of Technology, Dept. of Computing Science S41296 Gothenburg, Sweden, reiner|aarne@cs.chalmers.se Abstract... . Grammatical Framework Homepage. http://www.cs.chalmers.se/aarne/GF/index.html, 2000. 13. M. Richters and M |
|||
|
Source: Hähnle, Reiner - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 18 | Coling 2008: Proceedings of the workshop on Speech Processing for Safety Critical Translation and Pervasive Applications, pages 58 Manchester, August 2008 | ||
|
Summary: ¨orn Bringert, and Aarne Ranta. 2008. PGF: A Portable Run-Time Format for Type-Theoretical Grammars. Manuscript... . Ranta, Aarne. 2004. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional... Programming, 14(2):145189, March. Ranta, Aarne. 2008. Grammars as software libraries. In Bertot, Yves, G |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 19 | EVALUATION OF SECONDARY SHREDDING TO ENHANCE RDF PRODUCTION AS FUEL FOR | ||
|
Summary: TEST CARL S. WEINBERGER Teledyne National Cockeysville, Maryland Discussion by P. Aarne Vesilind |
|||
|
Source: Columbia University - Waste-to-Energy Research and Technology Council (WTERT) |
|||
|
Collection: Renewable Energy |
|||
| 20 | VOLUME NINETEEN JANUARYMARCH 2005 | ||
|
Summary: Galaxias species (Llewellyn 1983, Hawkes 1991, Aarn et al. 1997, Harris and Gehrke 1997, Cashner et al... . 1999, Aarn and Ivantsoff 2001). *Freshwater Ecology, Arthur Rylah Institute, 123 Brown Street... streams. References Aarn & W. Ivantsoff, 2001. Predation on native fishes by Gambusia holbrooki |
|||
|
Source: Canberra, University of - Institute for Applied Ecology |
|||
|
Collection: Environmental Sciences and Ecology |
|||
| 21 | A QUICK GUIDE TO PREPARING FUTURE FACULTY ACADEMIC SERVICES GRADUATE DIVISION UNIVERSITY OF CALIFORNIA BERKELEY | ||
|
Summary: Faculty, page 2 Vesilind, P. Aarne. So You Want to Be a Professor? A Handbook for Graduate Students |
|||
|
Source: Herr, Amy E. - Department of Bioengineering, University of California at Berkeley |
|||
|
Collection: Biology and Medicine ; Chemistry |
|||
| 22 | Topology and the Construction of Extreme Quasi-Measures | ||
|
Summary: . Johan F. Aarnes [5] settles this question by demonstrating that: For the C-algebra C(X), of all... . This is Example 3.8 in this paper. We call it the Aarnes measure. This whole work grew out of Examples 3.8 and 3... .9. In Section 1, we define quasi-measure and state some of the results of Aarnes. A quasi-measure can |
|||
|
Source: Knudsen, Finn Faye - Department of Mathematical Sciences, Norwegian University of Science and Technology |
|||
|
Collection: Mathematics |
|||
| 23 | Towards mathematics on the web Arjeh M. Cohen Hans Cuypers Hans Sterk | ||
|
Summary: Carlson [3] in Helsinki and Aarne Ranta in Gothenburg [2]. Users, say authors of exercises, construct... browsers. References [1] http://www.cinderella.de/ [2] http://www.cs.chalmers.se/~aarne/GF/ [3] http |
|||
|
Source: Cohen, Arjeh M. - Wiskunde en Informatica, Technische Universiteit Eindhoven |
|||
|
Collection: Mathematics |
|||
| 24 | COLING 2010 23rd International Conference on | ||
|
Summary: Urdu Resource Grammar Shafqat Mumtaz Virk, Muhammad Humayoun and Aarne Ranta... and Applications 11:0011:25 An Open Source Urdu Resource Grammar Shafqat Mumtaz Virk, Muhammad Humayoun and Aarne |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 25 | Proceedings of the 5th Workshop on Important Unresolved Matters, pages 916, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics | ||
|
Summary: to Prof. Aarne Ranta for supervising this work and providing constant help. Also thanks to Bj¨orn Bringert... -58563-324-0, 2004b. Ali Dada and Aarne Ranta. Implementing an Open Source Arabic Resource Grammar in GF. In Mustafa... on Computational Linguistics, pages 345347. ACL, 1990. Markus Forsberg and Aarne Ranta. Functional ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 26 | Proceedings of SPEECHGRAM 2007, pages 18, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics | ||
|
Summary: . Acknowledgments Aarne Ranta, Peter Ljungl¨of, Rebecca Jonson, David Hjelm, Ann-Charlotte Forslund, H°akan Bur- den... ¨orn Bringert, Robin Cooper, Peter Ljungl¨of, and Aarne Ranta. 2005. Multimodal Dialogue System Gram- mars... . In Proceedings of DIALOR'05, Ninth Workshop on the Semantics and Pragmatics of Dialogue, pages 5360. ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 27 | FACHBEREICH GERMANY WWW | ||
|
Summary: Manfred Kerber Published as: In Ricardo Caferra, Chris Ferm¨uller, Alex Leitsch, Tanel Tammet, eds |
|||
|
Source: Kerber, Manfred - School of Computer Science, University of Birmingham |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 28 | Ordered Resolution Ordered Resolution | ||
|
Summary: . Joyner Jr. Resolution Decision Procedures Christian G. Fermueller Alexander Leitsch Ullrich Hustadt Tanel |
|||
|
Source: Hillenbrand, Thomas - Max-Planck-Institut für Informatik |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 29 | How to Use a First-Order Model Generator for Adjusting | ||
|
Summary: Manfred Kerber Published as: In Ricardo Caferra, Chris Fermuller, Alex Leitsch, Tanel Tammet, eds |
|||
|
Source: Kerber, Manfred - School of Computer Science, University of Birmingham |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 30 | Ordered ResolutionOrdered Resolution Resolution Strategies as Decision | ||
|
Summary: Jr. Resolution Decision Procedures Christian G. Fermueller Alexander Leitsch Ullrich Hustadt Tanel |
|||
|
Source: Hillenbrand, Thomas - Max-Planck-Institut für Informatik |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 31 | 48th Annual Meeting of the Association for Computational Linguistics | ||
|
Summary: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296 Domain Adaptation of Maximum Entropy Language Models Tanel Alum¨ae and Mikko Kurimo |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 32 | Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics, pages 8995, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics | ||
|
Summary: . Acknowledgements The authors would like to thank Dr. Tanel Alumäe from Tallinn University of Technology for help... and Production. University of Helsinki, Helsinki, Finland. Tanel Alumäe. 2006. Methods for Estonian Large Vo... Hirsimäki, Janne Pylkkönen, Tanel Alumae and Murat Saraclar 2006. Unlimited vocabulary speech ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 33 | Vocabulary Decomposition for Estonian Open Vocabulary Speech Recognition | ||
|
Summary: of these factors into account. Acknowledgement The authors would like to thank Dr. Tanel Alumäe from Tallinn... for Word-Form Recognition and Production. University of Helsinki, Helsinki, Finland. Tanel Alumäe. 2006... Hirsimäki, Janne Pylkkönen, Tanel Alumae and Murat Saraclar 2006. Unlimited vocabulary speech recognition |
|||
|
Source: Kurimo, Mikko - Department of Computer Science and Engineering, Helsinki University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 34 | Proceedings of the Human Language Technology Conference of the North American Chapter of the ACL, pages 487494, New York, June 2006. c 2006 Association for Computational Linguistics | ||
|
Summary: , Vesa Siivola1 , Teemu Hirsimäki1 , Janne Pylkkönen1 , Tanel Alumäe3 , Murat Saraclar2 1 Adaptive... University, Estonia tanel.alumae@phon.ioc.ee Abstract It is practically impossible to build a word... Processing (ICASSP), Montreal, Canada. Tanel Alumäe. 2005. Phonological and morphologi- cal modeling in large |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 35 | Unlimited vocabulary speech recognition for agglutinative languages Mikko Kurimo1 | ||
|
Summary: , Ebru Arisoy2 , Vesa Siivola1 , Teemu Hirsimäki1 , Janne Pylkkönen1 , Tanel Alumäe3 , Murat Saraclar2 1... of Phonetics and Speech Technology, Institute of Cybernetics, Tallinn Technical University, Estonia tanel... Processing (ICASSP), Montreal, Canada. Tanel Alumäe. 2005. Phonological and morphologi- cal modeling in large |
|||
|
Source: Kurimo, Mikko - Department of Computer Science and Engineering, Helsinki University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 36 | (ngranichina, shalydim)@mail.ru "classification problem" Google ( 2009 | ||
|
Summary: . , - x X Rl : UCP : min aARn vT x I(a, x) 0, x X , a A, A , I : A × X R a x X. X... ) . x1, . . . , xN N , P. , - UCP: SCPN : min aARn vT x I(a, xi) 0, i = 1, . . . , N , 2 [7 |
|||
|
Source: Granichin, Oleg - Department of Mathematics and Mechanics, St.Petersburg State Technical University |
|||
|
Collection: Mathematics ; Engineering |
|||
| 37 | Acta Mathematicae Applicatae Sinica, English Series Vol. 18, No. 1 (2002) 6376 | ||
|
Summary: Decomposition Methods for Elliptic Problems with High Aspect Ratios Jørg Aarnes1 , Thomas Y. Hou2 1Department... ;64 Jørg Aarnes, Thomas Y. Hou problems which contain multiple-scale coefficients. In particular... accuracy than simple #12;66 Jørg Aarnes, Thomas Y. Hou (smooth) boundary conditions. An appealing approach |
|||
|
Source: Hou, Thomas Yizhao - Applied and Computational Mathematics Department, California Institute of Technology |
|||
|
Collection: Mathematics |
|||
| 38 | How contact metamorphism can trigger global climate changes: Modeling gas generation around igneous sills | ||
|
Summary: sills in sedimentary basins Ingrid Aarnes a, , Henrik Svensen a , James A.D. Connolly b , Yuri Y... .09.011 Corresponding author. Tel.: +47 97960192. E-mail address: ingrid.aarnes@fys.uio.no (I. Aarnes). www... increases towards the contact. 7180 I. Aarnes et al. / Geochimica et Cosmochimica Acta 74 (2010) ... |
|||
|
Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo |
|||
|
Collection: Geosciences |
|||
| 39 | Post-emplacement melt flow induced by thermal stresses: Implications for differentiation in sills | ||
|
Summary: Ingrid Aarnes , Yuri Y. Podladchikov, Else-Ragnhild Neumann Physics of Geological Processes, Postbox 1048... the Earth and Planetary Science Letters 276 (2008) 152166 Corresponding author. E-mail address: ingrid.aarnes... @fys.uio.no (I. Aarnes). 0012-821X/$ see front matter © 2008 Elsevier B.V. All rights reserved. ... |
|||
|
Source: Podladchikov, Yuri - Centre for Physics of Geological Processes, Universitetet i Oslo |
|||
|
Collection: Geosciences |
|||
| 40 | Survey Article Unsupervised Learning of Morphology | ||
|
Summary: Ingrid Aarnes , Yuri Y. Podladchikov, Else-Ragnhild Neumann Physics of Geological Processes, Postbox 1048... the Earth and Planetary Science Letters 276 (2008) 152166 Corresponding author. E-mail address: ingrid.aarnes... @fys.uio.no (I. Aarnes). 0012-821X/$ see front matter © 2008 Elsevier B.V. All rights reserved. ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 41 | PERFORMANCE CHARACTERISTICS OF A VERTICAL HAMMERMILL SHREDDER | ||
|
Summary: PERFORMANCE CHARACTERISTICS OF A VERTICAL HAMMERMILL SHREDDER P. AARNE VESILIND Department of Civil |
|||
|
Source: Columbia University - Waste-to-Energy Research and Technology Council (WTERT) |
|||
|
Collection: Renewable Energy |
|||
| 42 | Analyse grammaticale du franais : des concepts thoriques ou de la bidouille ? Analyse grammaticale du franais : des | ||
|
Summary: Outils théoriques ? Théorie des types (GF de Aarne Ranta) MELL, IMELL (Bruno Guillaume) . . . Est |
|||
|
Source: |
|||
|
Collection: Mathematics |
|||
| 43 | JOURNAL DE PHYSIQUE Colloque C8, SupplCment au no 12, Tome 49, dCcembre 1988 | ||
|
Summary: on annealing. We also thank Olli V. Lounas- maa and Aarne Oja for valuable comments. OGM was supported |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 44 | Demo Proposal: Extensible Integrated Treebank Annotation Environment Otakar Smrz | ||
|
Summary: El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars in Grammatical Framework. In Proceed- ings |
|||
|
Source: Cerveny, Vlastislav - Department of Geophysics, Charles University in Prague |
|||
|
Collection: Geosciences |
|||
| 45 | Coling 2008 22nd International Conference on | ||
|
Summary: ) Aarne Ranta, U Gothenburg (Sweden) Manny Rayner, U Geneva (Switzerland) Tanja Schultz, U Karlsruhe |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 46 | XML and Multilingual Document Authoring: Convergent Trends Marc l)ymctman Veronika Lux | ||
|
Summary: Research Centre Europe 6, chemin de Maupertuis 38240 Meylan, France {dymetman,lux }@xrce.xerox.com Aarne... GOteborg, Sweden aarne @ cs.chahners, se Abstract Typical al)proaches to XML authoring view a XML doc... . 1994. 7~vpe-Theorelical Grammar. Oxford Univer- sity Press. Aarne Ranm. 2000. GF Work Page. Awfilablc |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 47 | : FSMNLP'98 Proceedings of the | ||
|
Summary: Expressions .... (79) Aarne Ranta Xerox ResearchCentre Europe, l~rance VII #12;WEDNESDAY, July 1, 1998 · 10 |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 48 | Universitt Greifswald Institut fr Physik, Experimentelle Physik I | ||
|
Summary: Quotienten wählen. (2.17) E y E x = tanell eiell Der Zusammenhang zwischen und e sowie den... Ellipsenparametern tanell und ell wird durch die Gleichungen (2.18) hergestellt. (2.18a-b) tan2 = 2 tanell 1 - tan2... ell cos ell sin2e = 2 tanell 1 + tan2ell sinell Aus der Form der Polarisationsellipse lassen ... |
|||
|
Source: Greifswald, Ernst-Moritz-Arndt-Universität - Institut für Physik, Niedertemperaturplasmaphysik |
|||
|
Collection: Plasma Physics and Fusion |
|||
| 49 | The Logical Generality of Williamson's "Fitch-Like" Modal Triviality Branden Fitelson1 | ||
|
Summary: Logica 42 (1983), no. 4, 443451. [3] Grigori Mints and Tanel Tammet, Condensed detachment is complete |
|||
|
Source: Fitelson, Branden - Department of Philosophy, University of California at Berkeley |
|||
|
Collection: Multidisciplinary Databases and Resources |
|||
| 50 | Part I History Chapter 1. The Early History of Automated Deduction 3 | ||
|
Summary: , Ullrich Hustadt, and Tanel Tammet 1 Introduction |
|||
|
Source: Hähnle, Reiner - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 51 | Determination of the Fate of Nitrogen Functionality in Carbonaceous Materials during Pyrolysis and Combustion | ||
|
Summary: the atmosphere was switched to ammonia. The resulting carbon is designated as A-Ar-N. A treatment time of 1 h... ) N C H O total A-Ar-N 2.87 94.47 0.67 0.57 98.58 A-N 7.46 87.45 0.69 2.08 97.68 AD873 7.53 88.42 2... carbons exhibited similar nitrogen XANES spectra with different relative peak intensities. The A-Ar-N |
|||
|
Source: Thomas, Mark - School of Chemical Engineering and Advanced Materials, University of Newcastle upon Tyne |
|||
|
Collection: Materials Science |
|||
| 52 | Proceedings of the ACL 2010 Conference Short Papers, pages 301306, Uppsala, Sweden, 11-16 July 2010. c 2010 Association for Computational Linguistics | ||
|
Summary: Models Tanel Alum¨ae Adaptive Informatics Research Centre School of Science and Technology Aalto... University Helsinki, Finland tanel@cis.hut.fi Mikko Kurimo Adaptive Informatics Research Centre School |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 53 | fur Mathematik in den Naturwissenschaften | ||
|
Summary: -state, due to Aarnes, [Aa]. The reader is also referred to [EPZ], [EPR], [Za] for a connection with function... that thickness (K) n |K| . References [Aa] Aarnes, J. F., Quasi-states and quasi-measures, Adv. Math. 86 (1991 |
|||
|
Source: Max-Planck-Institute for Mathematics in the Sciences (MIS) |
|||
|
Collection: Mathematics |
|||
| 54 | Proceedings of the EACL 2009 Demonstrations Session, pages 5760, Athens, Greece, 3 April 2009. c 2009 Association for Computational Linguistics | ||
|
Summary: 2009 Association for Computational Linguistics Grammar Development in GF Aarne Ranta and Krasimir... of Technology and University of Gothenburg {aarne,krasimir,bringert}@chalmers.se Abstract GF is a grammar |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 55 | Types for Proofs and Programs Third Annual Meeting | ||
|
Summary: )4 72 72 86 43 Ranta, Aarne Department of Computing Science Chalmers University of Technology G... ¨oteborg, Sweden aarne@cs.chalmers.se http://www.cs.chalmers.se/saarne Phone: + 46 (0)31 772 1082 Fax: + 46 (0 |
|||
|
Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 56 | Vol. 11/Fall 2005 (continued on page 2) | ||
|
Summary: and linguistics programs. The Agapito Rey Academic Year Fellow- ship was awarded to Renato Alvim and Aarnes... Gudmestad. Aarnes Gudmestad also received the J.M. Hill Award for Out- standing Graduate Student Paper... . Nicholas Henriksen was recipient of the Outstanding AI Teaching Award, and Irma Alarcón, Aarnes Gudmestad |
|||
|
Source: Indiana University - Center for Research on Concepts and Cognition |
|||
|
Collection: Multidisciplinary Databases and Resources |
|||
| 57 | Folklore Requirements for Bibliographic Records: Oral Traditions and FRBR | ||
|
Summary: could have recourse to a notation proper to oral tradition studies, for example based on the Aarne... -Classification (Aarne 1987). Expressions would be equivalence classes built on episodes or motifs found... ... expressed by various different texts. Moreover, if we have several notations à la Aarne-Thompson, the same |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 58 | INSTITUTE OF MATHEMATICS Polish Academy of Sciences | ||
|
Summary: (R; S(Rn ; Mm×m)). Proof. It is sufficient to prove that (N )|[-a,a]×Rn C ([-a, a]; S(Rn ; Mm... - b, a + b]. Then (N )|[-a,a]×Rn = ((0N) )|[-a,a]×Rn . Since 0N OC(R1+n ; Mm×m), by (1.1) one has (0... N)S(R1+n ; Mm×m), and a fortiori ((0N) )|[-a,a]×Rn C ([-a, a]; S(Rn ; Mm×m)). #12;12 J. Kisy |
|||
|
Source: Polish Academy of Sciences, Institute of Mathematics |
|||
|
Collection: Mathematics |
|||
| 59 | Domain decomposition preconditioners for multiscale flows in high contrast media | ||
|
Summary: ) - quasi-monotonic coefficients. Also, the use of extra basis functions Aarnes and Hou ( Acta Sinica 2002 |
|||
|
Source: Galvis, Juan - Department of Mathematics, Texas A&M University |
|||
|
Collection: Mathematics |
|||
| 60 | Copredication, dynamic generalized quantification and lexical innovation by coercion | ||
|
Summary: -4211 Library-based Grammar Engineering, http://www.cs.chalmers.se/~aarne/GF/doc/vr.html. #12;The i in (2b... influenced by ideas associated with Aarne Ranta's Grammatical Framework (GF, Ranta, forthcoming) where... Lexicon, MIT Press, Cambridge, Mass. Ranta, Aarne (1994) Type-Theoretical Grammar, Clarendon Press, Oxford |
|||
|
Source: Cooper, Robin - Department of Linguistics, Göteborgs Universitet |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 61 | Brief communication A comparative description of mating behaviour in the endemic telmatherinid | ||
|
Summary: ) and Aarn et al. (1998). However, these papers provide only very preliminary ecological and behavioural... of the Malili Lakes telma- therinids (Aarn et al. 1998, see also Roy et al. 2004), although more refined... the fish observed belong to that genus. Tominanga are morphologically distinct from Telmatherina (Aarn et |
|||
|
Source: McKinnon, Jeffrey S. - Department of Biological Sciences, University of Wisconsin-Whitewater; Simon Fraser University, FAB Lab |
|||
|
Collection: Biology and Medicine ; Environmental Management and Restoration Technologies ; Environmental Sciences and Ecology |
|||
| 62 | January 2004 Robert Middlekauff, | ||
|
Summary: callingoutnumbers.AstoryfromtheQur'an,discussedbyourspeaker,was describedasAarne-Thompsontaletype766 |
|||
|
Source: Walker, Matthew P. - Department of Psychology, University of California at Berkeley |
|||
|
Collection: Biology and Medicine |
|||
| 63 | Mathematisches Forschungsinstitut Oberwolfach Report No. 12/2009 | ||
|
Summary: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Yalchin Efendiev (joint with Lijian Jiang, Joerg Aarnes ) Multiscale finite element methods... to the heterogeneity scale [9, 5]. A finite element due to Aarnes et al. [1, 2] is defined by solving on all... the ... |
|||
|
Source: Scheichl, Robert - Department of Mathematical Sciences, University of Bath |
|||
|
Collection: Mathematics |
|||
| 64 | Towards a Theory of Document Structure Bengt Nordstrom | ||
|
Summary: in English or Swedish by different linearization func- tions. This idea has been successfully used by Aarne... ] who used the words tectogrammat- ical and phenogrammatical structure. In Aarne Ranta's Grammatical... Homepage. www.cs.chalmers.se/ ~aarne/GF/, 19992005. [21] A. Ranta. Grammatical Framework: A Type |
|||
|
Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 65 | Proceedings of Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing (HLT/EMNLP), pages 579586, Vancouver, October 2005. c 2005 Association for Computational Linguistics | ||
|
Summary: action and interaction. Feature group 4 is based on Finish scholar Antti Aarne's classes of folk... -tale types according to their informative the- matic contents (Aarne, 1964). The current tales have 3 top... sole re- sponsibility for the work. References Antti Aarne. 1964. The Types of the Folk |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 66 | Proceedings of the EACL 2009 Workshop on Language Technology and Resources for Cultural Heritage, Social Sciences, Humanities, and Education LaTeCH SHELT&R 2009, pages 3542, | ||
|
Summary: . Classification of folklore texts is based on the widely accepted Aarne-Thompson classifica- tion system (Aarne... Aarne. 1961. The Types of the Folktale: A Clas- sification and Bibliography. Translated and Enlarged |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 67 | Proceedings of SPEECHGRAM 2007, pages 916, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics | ||
|
Summary: Conference on Categorial Grammars, Montpellier, France. Aarne Ranta, Ali El-Dada, and Janna Khegai, 2006... . The GF Resource Grammar Library. Can be downloaded from the GF homepage http://www.cs.chalmers.se/~aarne... /GF Aarne Ranta. 2004. Grammatical Framework, a type- theoretical grammar formalism. Journal of Functional |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 68 | Accepted Manuscript How contact metamorphism can trigger global climate changes: Modeling gas | ||
|
Summary: generation around igneous sills in sedimentary basins Ingrid Aarnes, Henrik Svensen, James A.D. Connolly... Please cite this article as: Aarnes, I., Svensen, H., Connolly, J.A.D., Podladchikov... -20 cm at the contact zone around a 10 m thick sill in South Africa (Aarnes et382 al., in review |
|||
|
Source: Podladchikov, Yuri - Centre for Physics of Geological Processes, Universitetet i Oslo |
|||
|
Collection: Geosciences |
|||
| 69 | doi: 10.1130/GES00506.1 2010;6;211-224Geosphere | ||
|
Summary: Aarnes, Yuri Y. Podladchikov, Espen Jettestuen, Camilla H. Harstad and sedimentary basins sediment... Henrik Svensen Ingrid Aarnes Yuri Y. Podladchikov Physics of Geological Processes, University of Oslo, PO... and crystallization (Aarnes et al., 2008). GEOLOGICAL SETTING The Karoo Basin (Fig. 1) covers more than half of South |
|||
|
Source: Svensen, Henrik - Centre for Physics of Geological Processes, Universitetet i Oslo |
|||
|
Collection: Geosciences |
|||
| 70 | Bulk electronic structure of K3C60 as revealed by soft x-rays Tanel Kmbre,1, | ||
|
Summary: Bulk electronic structure of K3C60 as revealed by soft x-rays Tanel Käämbre,1, * Joachim... University, Riia 142, EE-51014 Tartu, Estonia. Electronic address: tanel@fi.tartu.ee Present address: MAX |
|||
|
Source: Schnadt, Joachim - Department of Synchrotron Radiation Research, Lunds Universitet |
|||
|
Collection: Materials Science |
|||
| 71 | Hydralazine Rescues PC12 Cells From Acrolein-Mediated Death | ||
|
Summary: and Krokan, 1999; Tanel and Averill-Bates, 2005). The mechanism by which acrolein inhibited mito- chondrial... following traumatic spinal cord injury and inhibits glutamate uptake. J Neurochem 68:24692476. Tanel A |
|||
|
Source: Shi, Riyi - Weldon School of Biomedical Engineering, Purdue University |
|||
|
Collection: Biology and Medicine ; Engineering |
|||
| 72 | Cognitive Science 27 (2003) 767780 Spatial representations activated during real-time | ||
|
Summary: , & Friston, 1998; Cree & McRae, 2002; Pulvermüller, 1999; Tanel, Damasio, & Damasio, 1997) and some results... : Plenum Press. Tanel, D., Damasio, A., & Damasio, A. R. (1997). A neural basis for the retrieval |
|||
|
Source: Barsalou, Lawrence W. - Department of Psychology, Emory University; Richardson, Daniel C. - School of Psychology, University of Reading |
|||
|
Collection: Biology and Medicine |
|||
| 73 | ofComputerScience andEngineering | ||
|
Summary: Khegai, Markus Forsberg, Bengt Nordström, Robin Cooper, andAarneRanta. KVS Prasad, Björn Bringert, Harald |
|||
|
Source: Almgren, Magnus - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 74 | P R A G U E The Association for Computational Linguistics | ||
|
Summary: (U Edinburgh) Aarne Ranta (Chalmers, Gothenberg) Manny Rayner (Powerset/U Geneva) Ye-Yi Wang... ¨of. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9 Dialogue System Localization with the GF Resource Grammar Library Nadine Perera and Aarne Ranta... ... |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 75 | 2001 by the American Society of Ichthyologists and Herpetologists Copeia, 2001(2), pp. 482489 | ||
|
Summary: discussed by Stiassny (1990), Dyer and Chernoff (1996), and Aarn and Ivant- soff (1997). This monophyletic... is not disputed by Stiassny (1990), Dyer and Chernoff (1996), or Aarn and Ivantsoff (1997). The term bedotiid... School for Graduate Studies of the Uni- versity of Michigan. LITERATURE CITED AARN, AND W. IVANTSOFF |
|||
|
Source: Sparks, John S. - Department of Ichthyology, American Museum of Natural History |
|||
|
Collection: Environmental Sciences and Ecology ; Biology and Medicine |
|||
| 76 | Text Authoring, Knowledge Acquisition and Description Logics Marc Dymetman | ||
|
Summary: to document content stems from the work of Aarne Ranta on his "Grammatical Framework (GF)" in which he... -ACL, pages 10531059. Aarne Ranta. 1999--. Grammatical framework work page. www.cs.chalmers.se/~aarne |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 77 | A Multilingual Natural-Language Interface to Regular Expressions | ||
|
Summary: A Multilingual Natural-Language Interface to Regular Expressions Aarne Ranta Xerox Research Centre... ://haskell, org/. 11. Aarne Ranta, 1994. Type TheoreticalGrammar, Oxford University Press, Oxford, 1994. 12. Aarne |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 78 | Document Structure and Multilingual Authoring Caroline Brun Marc Dymetman Veronika Lux | ||
|
Summary: -Pierre Chanod, Marie-H~_lb.neCorr/mrd, Sylvain Pogodalla and Aarne Ranta for important contributions... -languages, Paris, Septem- ber. Available at http ://www. cs. chalmers, se/ ~aarne/papers/Ifm 1999.ps.gz. W. Pardi... . chalmers, se/ aarne/GF/pub/work- index/index, html. E. Reiter. 1995. NLG vs. templates. In Proceedings |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 79 | Type Theory with Records and Unification-based Grammar Robin Cooper | ||
|
Summary: ://www.ling.gu.se/~cooper/records/ and number 2005-4211 Library-based Grammar Engineering, http://www.cs.chalmers.se/~aarne/GF/doc/vr.html. I am... grateful to Thierry Coquand, Jonathan Ginzburg, Bengt Nordstr¨om and Aarne Ranta for discussion... , Linguistics and Philosophy, Vol. 19, No. 2, pp. 143186. Ranta, Aarne (1994) ... |
|||
|
Source: Cooper, Robin - Department of Linguistics, Göteborgs Universitet |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 80 | Quand le renard raconte ses histoires au monde. La naissance du Portail du Patrimoine Oral, catalogue collectif | ||
|
Summary: -Hornbostel), Titre uniforme des oeuvres citées ou interprétées (pour le conte Aarne et Thompson, pour la chanson P... Aarne et Thompson. En quelques mots, l'histoire est celle de la journée de travail du loup et du renard... du titre uniforme des oeuvres orales est centrale. Les catalogues internationaux comme ceux de Aarne |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 81 | Numerical homogenization for high-contrast elliptic problems using local spectral basis functions | ||
|
Summary: Aarnes and Hou ( Acta Sinica 2002) - the use of multiscale basis in DD preconditioners Graham, Scheichl |
|||
|
Source: Galvis, Juan - Department of Mathematics, Texas A&M University |
|||
|
Collection: Mathematics |
|||
| 82 | IEEE ELECTRON DEVICE LETTERS, VOL. 25, NO. 4, APRIL 2004 173 Square-Extensional Mode Single-Crystal Silicon | ||
|
Summary: Mattila, Member, IEEE, Aarne Oja, Jyrki Kiihamäki, and Heikki Seppä Abstract--A micromechanical 13.1-MHz |
|||
|
Source: Kaajakari, Ville - VTT Information Technology |
|||
|
Collection: Engineering |
|||
| 83 | Playing Nomic using a Controlled Natural Language John J. Camilleri, Gordon J. Pace and Michael Rosner | ||
|
Summary: Language for the Specification of Contracts, volume 5972 of LNAI. 2010. [Ran04] Aarne Ranta. Grammatical |
|||
|
Source: Pace, Gordon J. - Department of Computer Science, University of Malta |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 84 | Proceedings of SIGDIAL 2009: the 10th Annual Meeting of the Special Interest Group in Discourse and Dialogue, pages 322325, Queen Mary University of London, September 2009. c 2009 Association for Computational Linguistics | ||
|
Summary: switch- ing in in-vehicle dialogue. In Bengt Nordstrom and Aarne Ranta, editors, Proceedings of GoTAL, 6 |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 85 | ISSN 0103-9741 Monografias em Cincia da Computao | ||
|
Summary: emotion, cause character to drop dead, etc. Not much unlike motifs [Aarne and Thompson 1961]. In order |
|||
|
Source: Endler, Markus - Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 86 | Proceedings of the IJCAR ATP System Competition Page 1 The IJCAR ATP System Competition | ||
|
Summary: München Gandalf c2.3 MIX UEQ EPR Tanel Tammet Tallinn Technical University GandalfFOF c2.3 FOF Tanel... Tammet Tallinn Technical University GandalfSat 1.0 SAT CASC17 CASC GandalfSat 1.1 SAT Tanel Tammet |
|||
|
Source: Sutcliffe, Geoff - Department of Computer Science, University of Miami |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 87 | Ris-R-1513(EN) The "Red" Decline of Norway | ||
|
Summary: ). The work will focus on the amino acids arginine and ornithine, members of the urea cycle (Aarnes et al... (EN) #12;References Aarnes H, Eriksen A B and Southon T E (1995) Metabolism of nitrate and ammonium |
|||
|
Source: Risø National Laboratory |
|||
|
Collection: Multidisciplinary Databases and Resources |
|||
| 88 | ElixirFM --Implementation of Functional Arabic Morphology Otakar Smrz | ||
|
Summary: number LDC2002L49, ISBN 1-58563-257-0. Ali El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars... University Press, third revised edition. Translated by Jonathan Rodgers. Markus Forsberg and Aarne Ranta |
|||
|
Source: Cerveny, Vlastislav - Department of Geophysics, Charles University in Prague |
|||
|
Collection: Geosciences |
|||
| 89 | Tips and Tricks of the Prague Arabic Dependency Treebank Otakar Smrz | ||
|
Summary: Dada, Ali and Aarne Ranta (2006). `Implementing an Open Source Arabic Resource Grammar in Grammatical... , Saarland University, Germany. Forsberg, Markus and Aarne Ranta (2004). `Functional Morphology |
|||
|
Source: Cerveny, Vlastislav - Department of Geophysics, Charles University in Prague |
|||
|
Collection: Geosciences |
|||
| 90 | THIS IS A PRE-PRINT OF PAPER PUBLISHED IN SENSORS AND ACTUATORS A: PHYSICAL, VOL. 120(1), PP. 64-70 , 29 APRIL 2005. 1 Nonlinear Mechanical Effects in Silicon | ||
|
Summary: Kaajakari, Tomi Mattila, Antti Lipsanen, and Aarne Oja Abstract-- The fundamental nonlinear mechanical... . Aarne Oja received his Dr. Tech. degree in 1988 from the Low Temperature Laboratory of the Helsinki |
|||
|
Source: Kaajakari, Ville - VTT Information Technology |
|||
|
Collection: Engineering |
|||
| 91 | Proceedings of Language Technologies for Digital Humanities and Cultural Heritage Workshop, pages 310, Hissar, Bulgaria, 16 September 2011. | ||
|
Summary: and Advanced Technology for Digital Libraries ECDL. Aarne Ranta. 2004. Grammatical framework, a type... - theoretical grammar formalism. Journal of Func- tional Programming, 14(2):145189. Aarne Ranta. 2009. The GF |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 92 | Proceedings of Recent Advances in Natural Language Processing, pages 7076, Hissar, Bulgaria, 12-14 September 2011. | ||
|
Summary: virk@chalmers.se Muhammad Humayoun University of Savoie, France humayoun@gmail.com Aarne Ranta... University of Gothenburg, Sweden aarne@chalmers.se Abstract We describe an open source computational grammar |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 93 | Multilingual Syntax Editing in GF Janna Khegai, Bengt Nordstrom, and Aarne Ranta | ||
|
Summary: Multilingual Syntax Editing in GF Janna Khegai, Bengt Nordstrom, and Aarne Ranta Department... . Grammatical Framework Homepage, 2002. www.cs.chalmers.se/~aarne/GF/. 16. A. Ranta. Grammatical Framework |
|||
|
Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 94 | Proceedings of the 5th Workshop on Important Unresolved Matters, pages 18, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics | ||
|
Summary: number LDC2002L49, ISBN 1-58563-257-0. Ali El Dada and Aarne Ranta. 2006. Open Source Arabic Grammars... University Press, third revised edition. Translated by Jonathan Rodgers. Markus Forsberg and Aarne Ranta |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 95 | Proceedings of the 8th Workshop on Asian Language Resources, pages 153160, Beijing, China, 21-22 August 2010. c 2010 Asian Federation for Natural Language Processing | ||
|
Summary: University of Savoie mhuma@univ-savoie.fr Aarne Ranta Department of CS & Eng University of Gothenburg aarne |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 96 | Proceedings of the 12th Conference of the European Chapter of the ACL, pages 6976, Athens, Greece, 30 March 3 April 2009. c 2009 Association for Computational Linguistics | ||
|
Summary: . Aarne Ranta. 2004. Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional... Programming, 14(2):145189, March. Aarne Ranta. 2008. GF Resource Grammar Library. digitalgrammars |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 97 | Proceedings of the COLING/ACL 2006 Main Conference Poster Sessions, pages 475482, Sydney, July 2006. c 2006 Association for Computational Linguistics | ||
|
Summary: Robin Cooper for reading and editing the final version of the paper. Special thanks to Professor Aarne... . Research in Language and Computa- tion. URL: www.cs.chalmers.se/~aarne/ articles/ar-multieng.pdf M. Rayner |
|||
|
Source: Association for Computational Linguistics (ACL) Anthology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 98 | Natural languages as collections of resources Robin Cooper | ||
|
Summary: Natural languages as collections of resources Robin Cooper G¨oteborg University Aarne Ranta... -based Grammar Engineering, http://www.cs.chalmers.se/~aarne/GF/doc/vr.html. #12;There is in my opinion |
|||
|
Source: Cooper, Robin - Department of Linguistics, Göteborgs Universitet |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 99 | An Extensible Proof Text Editor Thomas Hallgren and Aarne Ranta ? | ||
|
Summary: An Extensible Proof Text Editor Thomas Hallgren and Aarne Ranta ? fhallgren... , pages 79--90, Ankara, 1998. Bilkent University. 20. A. Ranta. Grammatical Framework Homepage. http://www.cs.chalmers.se/~aarne |
|||
|
Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 100 | The Labelled BNF Grammar Formalism Markus Forsberg, Aarne Ranta | ||
|
Summary: The Labelled BNF Grammar Formalism Markus Forsberg, Aarne Ranta Department of Computing Science... , aarne}@cs.chalmers.se For BNF Converter Version 2.2, February 11, 2005 1 Introduction This document |
|||
|
Source: Nordström, Bengt - Department of Computer Science and Engineering, Chalmers University of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||