Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Implementation and Application of Automata - 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Paperback, 2002 ed.)
Loot Price: R1,662
Discovery Miles 16 620
|
|
Implementation and Application of Automata - 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers (Paperback, 2002 ed.)
Series: Lecture Notes in Computer Science, 2494
Expected to ship within 10 - 15 working days
|
TheSixthInternationalConferenceonImplementationandApplicationof-
tomata(CIAA2001)-the?rstoneheldinthesouthernhemisphere-was
heldattheUniversityofPretoriainPretoria,SouthAfrica,on23-25July2001.
ThisvolumeofSpringer'sLectureNotesinComputerSciencecontainsall
thepapers(includingtheinvitedtalkbyGregorv. Bochmann)thatwerep-
sentedatCIAA2001,aswellasanexpandedversionofoneoftheposterpapers
displayedduringtheconference.
Theconferenceaddressedtheissuesinautomataapplicationandimplemen-
tion.
Thetopicsofthepaperspresentedinthisconferencerangedfromautomata
applicationsinsoftwareengineering,naturallanguageandspeechrecognition,
andimageprocessing,tonewrepresentationsandalgorithmsfore?cientimp-
mentationofautomataandrelatedstructures.
Automatatheoryisoneoftheoldestareasincomputerscience. Researchin
automatatheoryhasbeenmotivatedbyitsapplicationssinceitsearlystagesof
development. Inthe1960sand1970s,automataresearchwasmotivatedheavily
byproblemsarisingfromcompilerconstruction,circuitdesign,stringmatching,
etc. Inrecentyears,manynewapplicationsofautomatahavebeenfoundin
variousareasofcomputerscienceaswellasinotherdisciplines.
Examplesofthe
newapplicationsincludestatechartsinobject-orientedmodeling,?nitetra-
ducersinnaturallanguageprocessing,andnondeterministic?
nite-statemodels incommunicationprotocols.
Manyofthenewapplicationscannotsimplyutilize
theexistingmodelsandalgorithmsinautomatatheorytosolvetheirproblems.
Newmodels,ormodi?cationsoftheexistingmodels,areneededtosatisfytheir
requirements. Also,thesizesofthetypicalproblemsinmanyofthenewapp-
cationsareastronomicallylargerthanthoseusedinthetraditionalapplications.
Newalgorithmsandnewrepresentationsofautomataarerequiredtoreducethe
timeandspacerequirementsofthecomputation.
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 ...1 77
FrankKatritzke,WolfgangMerzenich,andMichaelThomas Extractionof
-CyclesfromFinite-StateTransducers...190 Andr'eKempe
OntheSizeofDeterministicFiniteAutomata...202
Bo?rivojMelicharandJanSkryja CrystalLatticeAutomata...214
JimMorey,KamranSedig,RobertE. Mercer,andWayneWilson
MinimalAdaptivePattern-MatchingAutomata
forE?cientTermRewriting...221 NadiaNedjahandLuizadeMacedoMourelle
AdaptiveRule-DrivenDevices-GeneralFormulationandCaseStudy...234
Joao " Jos'eNeto
TypographicalNearest-NeighborSearchinaFinite-StateLexicon
andItsApplicationtoSpellingCorrection...251 AgataSavary
OntheSoftwareDesignofCellularAutomataSimulators
forEcologicalModeling...261 YuriVelinov
RandomNumberGenerationwith?-NFAs...263 LynettevanZijl
SupernondeterministicFiniteAutomata...274 LynettevanZijl Author
Index...289 Using Finite State Technology in Natural Language
Processing of Basque Iaeaki Alegria, Maxux Aranzabe, Nerea Ezeiza,
Aitzol Ezeiza, and Ruben Urizar Ixa taldea, University of the
Basque Country, Spain i. alegria@si. ehu. es Abstract.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|