Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Lecture Notes in Computer Science, 2494, Band 2494) - Softcover

Softcover

ISBN 10: 3540004009 ISBN 13: 9783540004004

Verlag: Springer, 2008

Inhaltsangabe

TheCIAAconferenceseriesprovidesaforumforthenewproblemsand challenges. Intheseconferences,boththeoreticalandpracticalresultsrelatedto theapplicationandimplementationofautomatawerepresentedanddiscussed, andsoftwarepackagesandtoolkitsweredemonstrated. Theparticipantsofthe conferenceserieswerefrombothresearchinstitutionsandindustry. Wethankalloftheprogramcommitteemembersandrefereesfortheire?orts inrefereeingandselectingpapers. Thisvolumewaseditedwithmuchhelpfrom NanetteSaesandHannekeDriever,whiletheconferenceitselfwasrunsmoothly withthehelpofElmarieWillemse,NanetteSaes,andTheoKoopman. VI Foreword WealsowishtothanktheSouthAfricanNRF(forfundingairfares)andthe DepartmentofComputerScience,UniversityofPretoria,fortheir?nancialand logisticsupportoftheconference. WealsothanktheeditorsoftheLectureNotes inComputerScienceseriesandSpringer-Verlag,inparticularAnnaKramer,for theirhelpinpublishingthisvolume. October2002 BruceW. Watson DerickWood CIAA 2001 Program Committee BernardBoigelot Universit´edeLiege,Belgium Jean-MarcChamparnaud Universit´edeRouen,France MaximeCrochemore UniversityofMarne-la-Vall´ee,France OscarIbarra UniversityofCaliforniaatSantaBarbara,USA LauriKarttunen XeroxPaloAltoResearchCenter,USA NilsKlarlund AT&TLaboratories,USA DenisMaurel Universit´edeTours,France MehryarMohri AT&TLaboratories,USA Jean-EricPin Universit´eParis7,France KaiSalomaa Queen’sUniversity,Canada HelmutSeidl TrierUniversity,Germany BruceWatson(Chair) UniversityofPretoria,SouthAfrica EindhovenUniversity,TheNetherlands DerickWood(Co-chair) HongKongUniversityofScience andTechnology,China ShengYu UniversityofWesternOntario,Canada Table of Contents UsingFiniteStateTechnologyinNaturalLanguageProcessingofBasque. . . 1 I˜nakiAlegria,MaxuxAranzabe,NereaEzeiza,AitzolEzeiza, andRubenUrizar CascadeDecompositionsareBit-VectorAlgorithms. . . . . . . . . . . . . . . . . . . . . . . . 13 AnneBergeronandSylvieHamel SubmoduleConstructionandSupervisoryControl:AGeneralization. . . . . . . 27 Gregorv. Bochmann CountingtheSolutionsofPresburgerEquations withoutEnumeratingThem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 BernardBoigelotandLouisLatour Brzozowski’sDerivativesExtendedtoMultiplicities. . . . . . . . . . . . . . . . . . . . . . . . 52 Jean-MarcChamparnaudandG´erardDuchamp FiniteAutomataforCompactRepresentation ofLanguageModelsinNLP. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65 JanDaciukandGertjanvanNoord PastPushdownTimedAutomata. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 ZheDang,Tev?kBultan,OscarH. Ibarra,andRichardA. Kemmerer SchedulingHardSporadicTasksbyMeans ofFiniteAutomataandGeneratingFunctions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 Jean-PhilippeDubernardandDominiqueGeniet Bounded-GraphConstruction forNoncanonicalDiscriminating-ReverseParsers. . . . . . . . . . . . . . . . . . . . . . . . . . 101 JacquesFarr´eandJos´eFortesGalvez ´ Finite-StateTransducerCascadetoExtractProperNamesinTexts. . . . . . . 115 NathalieFriburgerandDenisMaurel IsthisFinite-StateTransducerSequentiable?. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 Tamas ´ Ga´al CompilationMethodsofMinimalAcyclicFinite-StateAutomata forLargeDictionaries. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 JorgeGran ˜a,Fco. MarioBarcala,andMiguelA. Alonso BitParallelism–NFASimulation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 JanHolub ImprovingRasterImageRun-LengthEncodingUsingDataOrder. . . . . . . . . 161 MarkusHolzerandMartinKutrib X Table of Contents EnhancementsofPartitioningTechniques forImageCompressionUsingWeightedFiniteAutomata . . . . . . . . . . . . . . . . . 177 FrankKatritzke,WolfgangMerzenich,andMichaelThomas Extractionof -CyclesfromFinite-StateTransducers. . . . . . . . . . . . . . . . . . . . . . 190 Andr´e

Über diesen Titel

Über die Autorin bzw. den Autor

Eugene Fink received his B.S. degree from Mount Allison University (Canada) in 1991, M.S. from the University of Waterloo (Canada) in 1992, and Ph.D. from Carnegie Mellon University (USA) in 1999. He has been an assistant professor in the Computer Science and Engineering Department at the University of South Florida (USA) since 1999. His research interests include computational geometry, artificial intelligence, machine learning, and e-commerce.Derick Wood received his B.Sc. (1963) and Ph.D. (1968) from the University of Leeds (UK). He was a Postdoctoral Fellow at the Courant Institute, New York University (USA), from 1968 to 1970, and then joined McMaster University (Canada) in 1970. He was a professor at the University of Waterloo (Canada) from 1982 to 1992, at the University of Western Ontario (Canada) from 1992 to 1995, and at the Hong Kong University of Science and Technology since 1995. He has published widely in a number of research areas and written two textbooks, "Theory of Computation" (John Wiley, 1987) and "Data Structures, Algorithms, and Performance" (Addison-Wesley, 1993).

Von der hinteren Coverseite

TheCIAAconferenceseriesprovidesaforumforthenewproblemsand challenges. Intheseconferences,boththeoreticalandpracticalresultsrelatedto theapplicationandimplementationofautomatawerepresentedanddiscussed, andsoftwarepackagesandtoolkitsweredemonstrated. Theparticipantsofthe conferenceserieswerefrombothresearchinstitutionsandindustry. Wethankalloftheprogramcommitteemembersandrefereesfortheire?orts inrefereeingandselectingpapers. Thisvolumewaseditedwithmuchhelpfrom NanetteSaesandHannekeDriever,whiletheconferenceitselfwasrunsmoothly withthehelpofElmarieWillemse,NanetteSaes,andTheoKoopman. VI Foreword WealsowishtothanktheSouthAfricanNRF(forfundingairfares)andthe DepartmentofComputerScience,UniversityofPretoria,fortheir?nancialand logisticsupportoftheconference. WealsothanktheeditorsoftheLectureNotes inComputerScienceseriesandSpringer-Verlag,inparticularAnnaKramer,for theirhelpinpublishingthisvolume. October2002 BruceW. Watson DerickWood CIAA 2001 Program Committee BernardBoigelot Universit¿edeLiege,Belgium Jean-MarcChamparnaud Universit¿edeRouen,France MaximeCrochemore UniversityofMarne-la-Vall¿ee,France OscarIbarra UniversityofCaliforniaatSantaBarbara,USA LauriKarttunen XeroxPaloAltoResearchCenter,USA NilsKlarlund AT&TLaboratories,USA DenisMaurel Universit¿edeTours,France MehryarMohri AT&TLaboratories,USA Jean-EricPin Universit¿eParis7,France KaiSalomaa Queen¿sUniversity,Canada HelmutSeidl TrierUniversity,Germany BruceWatson(Chair) UniversityofPretoria,SouthAfrica EindhovenUniversity,TheNetherlands DerickWood(Co-chair) HongKongUniversityofScience andTechnology,China ShengYu UniversityofWesternOntario,Canada Table of Contents UsingFiniteStateTechnologyinNaturalLanguageProcessingofBasque. . . 1 I¿nakiAlegria,MaxuxAranzabe,NereaEzeiza,AitzolEzeiza, andRubenUrizar CascadeDecompositionsareBit-VectorAlgorithms. . . . . . . . . . . . . . . . . . . . . . . . 13 AnneBergeronandSylvieHamel SubmoduleConstructionandSupervisoryControl:AGeneralization. . . . . . . 27 Grego

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540004009
• ISBN 13: 9783540004004
• Einband: Taschenbuch
• Anzahl der Seiten: 304
• Herausgeber: Watson Bruce, Wood Derick
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland