LEADER 01137nam a2200313 i 4500 001 991001950469707536 005 20020503155241.0 008 010104s1956 it ||| | ita 035 $ab10295471-39ule_inst 035 $aEXGIL94152$9ExL 040 $aBiblioteca Interfacoltà$bita 082 0 $a195 100 1 $aSprigge, Cecil$0191825 245 10$aBenedetto Croce :$bl'uomo e il pensatore /$cCecil Sprigge ; con una lettera inedita di B. Croce 260 $aMilano ; Napoli :$bRicciardi,$c1956 300 $aXII, 75 p. ;$c23 cm. 490 0 $aCultura e realtà. I convegni del Mondo. N. S 500 $aTrad. di: Benedetto Croce: man and thinker 650 4$aCroce, Benedetto 700 1 $aArangio- Ruiz, Vincenzo 700 1 $aDe Caprariis, Vittorio 700 1 $aMontale, Eugenio 700 1 $aValiani, Leo 907 $a.b10295471$b17-02-17$c27-06-02 912 $a991001950469707536 945 $aLE002 Fil. XIV M 19$g1$iLE002-38538/P6$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10348682$z27-06-02 996 $aBenedetto Croce$9208853 997 $aUNISALENTO 998 $ale002$b01-01-01$cm$da $e-$fita$git $h0$i1 LEADER 04780nam 22007575 450 001 9910143897703321 005 20250723164025.0 010 $a3-540-36390-4 024 7 $a10.1007/3-540-36390-4 035 $a(CKB)1000000000211805 035 $a(SSID)ssj0000323918 035 $a(PQKBManifestationID)11259116 035 $a(PQKBTitleCode)TC0000323918 035 $a(PQKBWorkID)10304248 035 $a(PQKB)11157771 035 $a(DE-He213)978-3-540-36390-3 035 $a(MiAaPQ)EBC3073007 035 $a(PPN)155223682 035 $a(BIP)13523192 035 $a(BIP)8092735 035 $a(EXLCZ)991000000000211805 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aImplementation and Application of Automata $e6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /$fedited by Bruce Watson, Derick Wood 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 294 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v2494 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-00400-9 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aUsing Finite State Technology in Natural Language Processing of Basque -- Cascade Decompositions are Bit-Vector Algorithms -- Submodule Construction and Supervisory Control: A Generalization -- Counting the Solutions of Presburger Equations without Enumerating Them -- Brzozowski?s Derivatives Extended to Multiplicities -- Finite Automata for Compact Representation of Language Models in NLP -- Past Pushdown Timed Automata -- Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions -- Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers -- Finite-State Transducer Cascade to Extract Proper Names in Texts -- Is this Finite-State Transducer Sequentiable? -- Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries -- Bit Parallelism - NFA Simulation -- Improving Raster Image Run-Length Encoding Using Data Order -- Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata -- Extraction of ?-Cycles from Finite-State Transducers -- On the Size of Deterministic Finite Automata -- Crystal Lattice Automata -- Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting -- Adaptive Rule-Driven Devices - General Formulation and Case Study -- Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction -- On the Software Design of Cellular Automata Simulators for Ecological Modeling -- Random Number Generation with ?-NFAs -- Supernondeterministic Finite Automata. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Implementation and Application of Automata, CIAA 2001, held in Pretoria, South Africa in July 2001.The 23 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The topics addressed from theoretical as well as application-oriented viewpoints range from foundational and methodological issues to novel applications in object-oriented modeling, finite transducers in natural language processing, and non-deterministic finite-state models in communication protocols.  410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v2494 606 $aArtificial intelligence 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a511.3 702 $aWatson$b Bruce$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWood$b Derick$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143897703321 996 $aImplementation and Application of Automata$93552118 997 $aUNINA