Formal methods for mining structured objects:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Studies in computational intelligence
475 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 108 S. graph. Darst. |
| ISBN: | 9783642366802 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040998588 | ||
| 003 | DE-604 | ||
| 005 | 20130606 | ||
| 007 | t | ||
| 008 | 130515s2013 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 1030170886 |2 DE-101 | |
| 020 | |a 9783642366802 |9 978-3-642-36680-2 | ||
| 035 | |a (OCoLC)846536278 | ||
| 035 | |a (DE-599)DNB1030170886 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 | ||
| 082 | 0 | |a 006.312 |2 22/ger | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a Garriga, Gemma C. |e Verfasser |0 (DE-588)1033071803 |4 aut | |
| 245 | 1 | 0 | |a Formal methods for mining structured objects |c Gemma C. Garriga |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a X, 108 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in computational intelligence |v 475 | |
| 650 | 0 | 7 | |a Data Mining |0 (DE-588)4428654-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Begriffsanalyse |0 (DE-588)4351376-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Data Mining |0 (DE-588)4428654-5 |D s |
| 689 | 0 | 1 | |a Formale Begriffsanalyse |0 (DE-588)4351376-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Studies in computational intelligence |v 475 |w (DE-604)BV020822171 |9 475 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4242647&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025976241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025976241 | |
Datensatz im Suchindex
| _version_ | 1806324795242971136 |
|---|---|
| adam_text |
IMAGE 1
1 INTRODUCTION 1
1.1 ANALYSIS OF SEQUENCES 3
1.1.1 MINING CLOSED SEQUENTIAL PATTERNS 5
1.1.2 MINING PARTIAL ORDERS 6
1.1.3 MINING ASSOCIATION RULES WITH ORDER 8
1.1.4 CLUSTERING INPUT SEQUENCES 9
1.2 OVERVIEW OF THIS BOOK 9
2 PRELIMINARIES 13
2.1 CONTEXTS, CONCEPTS AND THE CONCEPT LATTICE 13
2.2 THE CLOSURE SYSTEM OF ITEMSETS 15
2.2.1 ASSOCIATION RULES 16
2.3 CLASSICAL PROPOSITIONAL HORN LOGIC 17
2.3.1 CLOSURES AND HORN CLAUSES 17
2.4 LEARNING WITH LATTICES 18
3 LATTICE THEORY FOR SEQUENCES 21
3.1 THE ORDERED CONTEXT 22
3.2 A NEW CLOSURE OPERATOR 22
3.2.1 DEFINING THE GALOIS CONNECTION 23
3.3 FORMAL CONCEPTS AND THE CONCEPT LATTICE 26
3.4 CLOSED SEQUENTIAL PATTERNS IN THE LATTICE 27
3.5 LATTICE CONSTRUCTION 30
3.5.1 AN ALGORITHM 33
3.6 THE MINIMUM SUPPORT CONDITION 37
4 HORN AXIOMATIZATIONS FOR SEQUENCES 39
4.1 GENERATORS OF A CLOSED SET OF SEQUENCES 39
4.2 EMPIRICAL HORN APPROXIMATIONS FOR ORDERED CONTEXTS 41
4.2.1 MAIN RESULT 42
HTTP://D-NB.INFO/1030170886
IMAGE 2
X CONTENTS
4.3 COMPUTING THE RULES WITH ORDER 44
4.3.1 CALCULATING MINIMAL GENERATORS FOR CLOSED SET OF SEQUENCES 45
4.3.2 EXAMPLES 47
4.3.3 RECONSTRUCTING THE RULES OF A CELLULAR AUTOMATON 49
5 TRANSFORMATIONS ON INJECTIVE PARTIAL ORDERS 51
5.1 THE LANGUAGE OF CATEGORIES 51
5.2 COPRODUCT TRANSFORMATIONS ON MAXIMAL PATHS 55
5.2.1 THE SIMULTANEITY CONDITION REVISITED 57
5.3 THE CLOSURE SYSTEM OF PARTIAL ORDERS 57
5.3.1 THE CLOSURE SYSTEM OF INJECTIVE POSETS 60
5.4 LATTICE ISOMORPHY 61
5.4.1 EXAMPLES 62
6 TRANSFORMATIONS ON GENERAL PARTIAL ORDERS 65
6.1 NOTATIONAL REVIEW 65
6.2 PARTIAL ORDERS TO SUMMARIZE SEQUENCES 68
6.2.1 PATH-PRESERVING TRANSFORMATIONS 70
6.3 CHARACTERIZATION 70
6.3.1 COLIMIT TRANSFORMATION 73
6.3.2 PROPERTIES OF THE COLIMIT TRANSFORMATION 76
6.3.3 FACTS ABOUT CONJECTURE 6.1 77
6.4 LATTICE ISOMORPHY 80
6.4.1 THE SIMULTANEITY CONDITION REVISITED 81
7 TOWARDS OTHER STRUCTURED DATA 85
7.1 ACYCLIC STRUCTURED DATA 85
7.2 MINING A SET OF SETS OF SEQUENCES 87
7.2.1 THE NEW CLOSED SEQUENTIAL PATTERNS 88
7.2.2 OBTAINING THE CLOSURE SYSTEM 88
7.2.3 RECONSTRUCTING PARTIAL ORDERS 90
7.2.4 AN ILLUSTRATIVE EXAMPLE 90
7.3 AN INTEGRATED SYSTEM FOR STRUCTURAL ANALYSIS 92
7.4 EXPERIMENTAL VALIDATION 93
8 SUMMARY OF RESULTS 99
REFERENCES 101
INDEX 109 |
| any_adam_object | 1 |
| author | Garriga, Gemma C. |
| author_GND | (DE-588)1033071803 |
| author_facet | Garriga, Gemma C. |
| author_role | aut |
| author_sort | Garriga, Gemma C. |
| author_variant | g c g gc gcg |
| building | Verbundindex |
| bvnumber | BV040998588 |
| classification_rvk | ST 300 |
| ctrlnum | (OCoLC)846536278 (DE-599)DNB1030170886 |
| dewey-full | 006.312 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.312 |
| dewey-search | 006.312 |
| dewey-sort | 16.312 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040998588</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130606</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130515s2013 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1030170886</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642366802</subfield><subfield code="9">978-3-642-36680-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)846536278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1030170886</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.312</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garriga, Gemma C.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1033071803</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for mining structured objects</subfield><subfield code="c">Gemma C. Garriga</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 108 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in computational intelligence</subfield><subfield code="v">475</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Data Mining</subfield><subfield code="0">(DE-588)4428654-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Begriffsanalyse</subfield><subfield code="0">(DE-588)4351376-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Data Mining</subfield><subfield code="0">(DE-588)4428654-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Begriffsanalyse</subfield><subfield code="0">(DE-588)4351376-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in computational intelligence</subfield><subfield code="v">475</subfield><subfield code="w">(DE-604)BV020822171</subfield><subfield code="9">475</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4242647&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025976241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025976241</subfield></datafield></record></collection> |
| id | DE-604.BV040998588 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T00:39:24Z |
| institution | BVB |
| isbn | 9783642366802 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025976241 |
| oclc_num | 846536278 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | X, 108 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Studies in computational intelligence |
| series2 | Studies in computational intelligence |
| spelling | Garriga, Gemma C. Verfasser (DE-588)1033071803 aut Formal methods for mining structured objects Gemma C. Garriga Berlin [u.a.] Springer 2013 X, 108 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in computational intelligence 475 Data Mining (DE-588)4428654-5 gnd rswk-swf Formale Begriffsanalyse (DE-588)4351376-1 gnd rswk-swf Data Mining (DE-588)4428654-5 s Formale Begriffsanalyse (DE-588)4351376-1 s DE-604 Studies in computational intelligence 475 (DE-604)BV020822171 475 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4242647&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025976241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Garriga, Gemma C. Formal methods for mining structured objects Studies in computational intelligence Data Mining (DE-588)4428654-5 gnd Formale Begriffsanalyse (DE-588)4351376-1 gnd |
| subject_GND | (DE-588)4428654-5 (DE-588)4351376-1 |
| title | Formal methods for mining structured objects |
| title_auth | Formal methods for mining structured objects |
| title_exact_search | Formal methods for mining structured objects |
| title_full | Formal methods for mining structured objects Gemma C. Garriga |
| title_fullStr | Formal methods for mining structured objects Gemma C. Garriga |
| title_full_unstemmed | Formal methods for mining structured objects Gemma C. Garriga |
| title_short | Formal methods for mining structured objects |
| title_sort | formal methods for mining structured objects |
| topic | Data Mining (DE-588)4428654-5 gnd Formale Begriffsanalyse (DE-588)4351376-1 gnd |
| topic_facet | Data Mining Formale Begriffsanalyse |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4242647&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025976241&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV020822171 |
| work_keys_str_mv | AT garrigagemmac formalmethodsforminingstructuredobjects |