In recent years we have witnessed the explosion of multimedia traffic on the Internet. The availability of high bandwidth connections together with the recent advances in high quality video and audio compression techniques have created a fertile ground for the growth of multimedia applications such as interactive video on demand, collaborative distance learning, and remote medical diagnosis. Furthermore, the availability of low bit rate video and audio applications (e.g., H.263 and G.728) and the proliferation of pervasive devices create a new demand for wireless multimedia communication systems. After a decade or more of research and development in multimedia networking, the research community has learned a number of lessons. First, increasing the capacity of the "best effort" networks and services does not provide an effective and permanent solution for offering a guaranteed Quality of Service (QoS). Second, the integration of service and network management is a key element in providing end to end service management. Third, management techniques for Internet multimedia services must be scalable and adaptive to guarantee QoS and maintain fairness with optimal network resource.

This book constitutes the refereed proceedings of the Second International Symposium on Medical Data Analysis, ISMDD 2001, held in Madrid, Spain, in October 2001.The 43 revised papers presented together with three invited keynote papers were carefully reviewed and selected from 72 submissions. Among the issues addressed are data analysis and diagnosis, classification, clustering, medical image analysis, Bayesian networks, decision support systems, fuzzy modeling, time series analysis, collaborative filtering, pattern recognition, case-based reasoning, rule-based inference, and computer vision.

This book is not just another theoretical text on statistics or data mining. Instead, it's designed for database administrators who want to buttress their understanding of statistics to support data mining and customer relationship management analytics and who want to use Structured Query Language (SQL). Each chapter is independent and self-contained with examples tailored to business applications. Each analysis technique is expressed in a mathematical format that lends itself to coding either as a database query or as a Visual Basic procedure using SQL. Each chapter includes: formulas (how to perform the required analysis, numerical example using data from a database, data visualization and presentation options (graphs, charts, tables), SQL procedures for extracting the desired results, and data mining techniques.

Just like the previous workshop at VLDB 1999 in Edinburgh, the purpose of this workshop is to promote telecom data management as one of the core research areas in database research and to establish a strong connection between the telecom and database research communities. As I wrote in the preface of those proceedings, data management in telecommuni- tions is an interesting area of research given the fact that both service management and service provisioning are very data intensive, and pose extreme requirements on data management technology. Given the feedback on the previous workshop we decided to keep the same program set-up for this workshop: an invited speaker, a collection of research papers, and a panel discussion. We received 18 good quality papers from which we selected 12 to construct a very interesting program. The program has been divided into four sections. The first section focuses on CDR data warehouse and data mining technology. Data warehousing and data mining around customer usage data remains an important area of interest for telecommunication operators. The growing competition, especially in the mobile market, means that operators have to put more effort into customer retention and satisfaction. The second section focuses on performance issues around databases in telecommunication. Since telecommunication databases are characterized by their extreme requirements, for example in terms of volumes of data to be processed or response times, high volume data management and embedded and real-time data management are key aspects of the telecommunication data management problems in today s operational environments."

This book constitutes the refereed proceedings of the Third International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2001, held in Munich, Germany in September 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from more than 90 submissions. The papers are organized in topical sections on association rules, mining temporal patterns, data mining techniques, collaborative filtering and Web mining, visualization and matchmaking, development of data warehouses, maintenance of data warehouses, OLAP, and distributed data warehouses.

Digital libraries (DLs) are major advances in information technology that frequently fall short of expectations [7, 28]. Covi & Kling [7] argue that understanding the wider context of technology use is essential to understanding digital library use and its - plementation in different social worlds. Recent health informatics research also - gues that social and organisational factors can determine the success or failure of healthcare IT developments [8, 11, 12]. Heathfield [11] suggests that this is due to the complex, autonomous nature of the medical discipline and the specialized (clinician or software engineer) approach to system development. Negative reactions to these systems is often due to inappropriate system design and poor implementation. H- ever, there may be other less obvious social and political repercussions of information system design and deployment. Symon et al [26] have identified, within a hospital scenario, how social structures and work practices can be disrupted by technology implementation. Although these systems often deal with sensitive, personal infor- tion, other system design research has found that apparently innocuous data can be perceived as a threat to social and political stability [1,2,3]. To understand the impact of DLs within the medical profession, an in-depth evaluation is required of the int- duction and later development of these applications within their specific social and organisational settings. However, as Covi & Kling [7] have highlighted, there are few high-level theories that aid designers in understanding the implication of these issues for DL design and implementation.

ThesearetheproceedingsofthefourthbiennialconferenceintheIntelligentData Analysisseries. TheconferencetookplaceinCascais,Portugal,13-15September 2001. Thethemeofthisconferenceseriesistheuseofcomputersinintelligent waysindataanalysis,includingtheexplorationofintelligentprogramsfordata analysis. Dataanalytictoolscontinuetodevelop,drivenbythecomputerrevo- tion. Methodswhichwouldhaverequiredunimaginableamountsofcomputing power,andwhichwouldhavetakenyearstoreachaconclusion,cannowbe appliedwitheaseandvirtuallyinstantly. Suchmethodsarebeingdevelopedby avarietyofintellectualcommunities,includingstatistics,arti?cialintelligence, neuralnetworks,machinelearning,datamining,andinteractivedynamicdata visualization. Thisconferenceseriesseekstobringtogetherresearchersstudying theuseofintelligentdataanalysisinthesevariousdisciplines,tostimulate- teractionsothateachdisciplinemaylearnfromtheothers. Soastoencourage suchinteraction,wedeliberatelykepttheconferencetoasingletrackmeeting. Thismeantthat,ofthealmost150submissionswereceived,wewereableto selectonly23fororalpresentationand16forposterpresentation. Inaddition tothesecontributedpapers,therewasakeynoteaddressfromDarylPregibon, invitedpresentationsfromKatharinaMorik,RolfBackhofen,andSunilRao,and aspecial'datachallenge'session,whereresearchersdescribedtheirattemptsto analyseachallengingdatasetprovidedbyPaulCohen. Thisacceptancerate enabledustoensureahighqualityconference,whilealsopermittingustop- videgoodcoverageofthevarioustopicssubsumedwithinthegeneralheading ofintelligentdataanalysis. Wewouldliketoexpressourthanksandappreciationtoeveryoneinvolved intheorganizationofthemeetingandtheselectionofthepapers. Itisthe behind-the-scenese?ortswhichensurethesmoothrunningandsuccessofany conference. Wewouldalsoliketoexpressourgratitudetothesponsors:Fundac" ,ao paraaCienciaeaTecnologia,Minist'eriodaCienciaedaTecnologia,Faculdade deCienciaseTecnologia,UniversidadeNovadeLisboa,Funda,c"aoCalousteG- benkianandIPEInvestimentoseParticipac" ,oesEmpresariais,S. A. September2001 FrankHo?mann DavidJ. Hand NiallAdams GabrielaGuimaraes DougFisher Organization IDA2001wasorganizedbythedepartmentofComputerScience,NewUniversity ofLisbon. ConferenceCommittee GeneralChair: DouglasFisher(VanderbiltUniversity,USA) ProgramChairs: DavidJ. Hand(ImperialCollege,UK) NiallAdams(ImperialCollege,UK) ConferenceChair: GabrielaGuimaraes(NewUniversityofLisbon,Portugal) PublicityChair: FrankHoppner(Univ. ofAppl. SciencesEmden,Germany) PublicationChair: FrankHo?mann(RoyalInstituteofTechnology,Sweden) LocalChair: FernandoMoura-Pires(UniversityofEvora,Portugal) AreaChairs: RobertaSiciliano(UniversityofNaples,Italy) ArnoSiebes(CWI,TheNetherlands) PavelBrazdil(UniversityofPorto,Portugal) ProgramCommittee NiallAdams(ImperialCollege,UK) PieterAdriaans(Syllogic,TheNetherlands) RussellAlmond(EducationalTestingService,USA) ThomasBack(InformatikCentrumDortmund,Germany) RiccardoBellazzi(UniversityofPavia,Italy) MichaelBerthold(Tripos,USA) LiuBing(NationalUniversityofSingapore) PaulCohen(UniversityofMassachusetts,USA) PaulDarius(LeuvenUniversity,Belgium) FazelFamili(NationalResearchCouncil,Canada) DouglasFisher(VanderbiltUniversity,USA) KarlFroeschl(UniversityofVienna,Austria) AlexGammerman(RoyalHolloway,UK) AdolfGrauel(UniversityofPaderborn,Germany) GabrielaGuimaraes(NewUniversityofLisbon,Portugal) LawrenceO. Hall(UniversityofSouthFlorida,USA) FrankHo?mann(RoyalInstituteofTechnology,Sweden) AdeleHowe(ColoradoStateUniversity,USA) Klaus-PeterHuber(SASInstitute,Germany) DavidJensen(UniversityofMassachusetts,USA) JoostKok(LeidenUniversity,TheNetherlands) RudolfKruse(UniversityofMagdeburg,Germany) FrankKlawonn(UniversityofAppliedSciencesEmden,Germany) VIII Organization HansLenz(FreeUniversityofBerlin,Germany) DavidMadigan(Soliloquy,USA) RainerMalaka(EuropeanMediaLaboratory,Germany) HeikkiMannila(Nokia,Finland) FernandoMouraPires(UniversityofEvora,Portugal) SusanaNascimento(UniversityofLisbon,Portugal) WayneOldford(UniversityofWaterloo,Canada) AlbertPrat(TechnicalUniversityofCatalunya,Spain) PeterProtzel(TechnicalUniversityChemnitz,Germany) GiacomodellaRiccia(UniversityofUdine,Italy) RosannaSchiavo(UniversityofVenice,Italy) KaisaSere(AboAkademiUniversity,Finland) RobertaSiciliano(UniversityofNaples,Italy) RosariaSilipo(Nuance,USA) FloorVerdenius(ATO-DLO,TheNetherlands) StefanWrobel(UniversityofMagdeburg,Germany) HuiXiaoLiu(BrunelUniversity,UK) NevinZhang(HongKongUniversityofScienceandTechnology,HongKong) SponsoringInstitutions Fundac" ,aoparaaCienciaeaTecnologia,Minist'eriodaCienciaedaTecnologia FaculdadedeCienciaseTecnologia,UniversidadeNovadeLisboa Fundac" ,aoCalousteGulbenkian IPEInvestimentoseParticipac" ,15September 2001. Thethemeofthisconferenceseriesistheuseofcomputersinintelligent waysindataanalysis,includingtheexplorationofintelligentprogramsfordata analysis. Dataanalytictoolscontinuetodevelop,drivenbythecomputerrevo- tion. Methodswhichwouldhaverequiredunimaginableamountsofcomputing power,andwhichwouldhavetakenyearstoreachaconclusion,cannowbe appliedwitheaseandvirtuallyinstantly. Suchmethodsarebeingdevelopedby avarietyofintellectualcommunities,includingstatistics,arti?cialintelligence, neuralnetworks,machinelearning,datamining,andinteractivedynamicdata visualization. Thisconferenceseriesseekstobringtogetherresearchersstudying theuseofintelligentdataanalysisinthesevariousdisciplines,tostimulate- teractionsothateachdisciplinemaylearnfromtheothers. Soastoencourage suchinteraction,wedeliberatelykepttheconferencetoasingletrackmeeting. Thismeantthat,ofthealmost150submissionswereceived,wewereableto selectonly23fororalpresentationand16forposterpresentation. Inaddition tothesecontributedpapers,therewasakeynoteaddressfromDarylPregibon, invitedpresentationsfromKatharinaMorik,RolfBackhofen,andSunilRao,and aspecial'datachallenge'session,whereresearchersdescribedtheirattemptsto analyseachallengingdatasetprovidedbyPaulCohen. Thisacceptancerate enabledustoensureahighqualityconference,whilealsopermittingustop- videgoodcoverageofthevarioustopicssubsumedwithinthegeneralheading ofintelligentdataanalysis. Wewouldliketoexpressourthanksandappreciationtoeveryoneinvolved intheorganizationofthemeetingandtheselectionofthepapers. Itisthe behind-the-scenese?ortswhichensurethesmoothrunningandsuccessofany conference. Wewouldalsoliketoexpressourgratitudetothesponsors:Fundac" cao paraaCienciaeaTecnologia,Minist'eriodaCienciaedaTecnologia,Faculdade deCienciaseTecnologia,UniversidadeNovadeLisboa,Fundacc"aoCalousteG- benkianandIPEInvestimentoseParticipac" coesEmpresariais,S. A. September2001 FrankHo?mann DavidJ. Hand NiallAdams GabrielaGuimaraes DougFisher Organization IDA2001wasorganizedbythedepartmentofComputerScience,NewUniversity ofLisbon. ConferenceCommittee GeneralChair: DouglasFisher(VanderbiltUniversity,USA) ProgramChairs: DavidJ. Hand(ImperialCollege,UK) NiallAdams(ImperialCollege,UK) ConferenceChair: GabrielaGuimaraes(NewUniversityofLisbon,Portugal) PublicityChair: FrankHoppner(Univ. ofAppl. SciencesEmden,Germany) PublicationChair: FrankHo?mann(RoyalInstituteofTechnology,Sweden) LocalChair: FernandoMoura-Pires(UniversityofEvora,Portugal) AreaChairs: RobertaSiciliano(UniversityofNaples,Italy) ArnoSiebes(CWI,TheNetherlands) PavelBrazdil(UniversityofPorto,Portugal) ProgramCommittee NiallAdams(ImperialCollege,UK) PieterAdriaans(Syllogic,TheNetherlands) RussellAlmond(EducationalTestingService,USA) ThomasBack(InformatikCentrumDortmund,Germany) RiccardoBellazzi(UniversityofPavia,Italy) MichaelBerthold(Tripos,USA) LiuBing(NationalUniversityofSingapore) PaulCohen(UniversityofMassachusetts,USA) PaulDarius(LeuvenUniversity,Belgium) FazelFamili(NationalResearchCouncil,Canada) DouglasFisher(VanderbiltUniversity,USA) KarlFroeschl(UniversityofVienna,Austria) AlexGammerman(RoyalHolloway,UK) AdolfGrauel(UniversityofPaderborn,Germany) GabrielaGuimaraes(NewUniversityofLisbon,Portugal) LawrenceO. Hall(UniversityofSouthFlorida,USA) FrankHo?mann(RoyalInstituteofTechnology,Sweden) AdeleHowe(ColoradoStateUniversity,USA) Klaus-PeterHuber(SASInstitute,Germany) DavidJensen(UniversityofMassachusetts,USA) JoostKok(LeidenUniversity,TheNetherlands) RudolfKruse(UniversityofMagdeburg,Germany) FrankKlawonn(UniversityofAppliedSciencesEmden,Germany) VIII Organization HansLenz(FreeUniversityofBerlin,Germany) DavidMadigan(Soliloquy,USA) RainerMalaka(EuropeanMediaLaboratory,Germany) HeikkiMannila(Nokia,Finland) FernandoMouraPires(UniversityofEvora,Portugal) SusanaNascimento(UniversityofLisbon,Portugal) WayneOldford(UniversityofWaterloo,Canada) AlbertPrat(TechnicalUniversityofCatalunya,Spain) PeterProtzel(TechnicalUniversityChemnitz,Germany) GiacomodellaRiccia(UniversityofUdine,Italy) RosannaSchiavo(UniversityofVenice,Italy) KaisaSere(AboAkademiUniversity,Finland) RobertaSiciliano(UniversityofNaples,Italy) RosariaSilipo(Nuance,USA) FloorVerdenius(ATO-DLO,TheNetherlands) StefanWrobel(UniversityofMagdeburg,Germany) HuiXiaoLiu(BrunelUniversity,UK) NevinZhang(HongKongUniversityofScienceandTechnology,HongKong) SponsoringInstitutions Fundac" caoparaaCienciaeaTecnologia,Minist'eriodaCienciaedaTecnologia FaculdadedeCienciaseTecnologia,UniversidadeNovadeLisboa Fundac" caoCalousteGulbenkian IPEInvestimentoseParticipac" coesEmpresariais,S. A. TableofContents TheFourthInternationalSymposiumonIntelligentData Analysis FeatureCharacterizationinScienti?cDatasets...1 ElizabethBradley(UniversityofColorado),NancyCollins(University ofColorado),W. PhilipKegelmeyer(SandiaNationalLaboratories) RelevanceFeedbackintheBayesianNetworkRetrievalModel: AnApproachBasedonTermInstantiation...13 LuisM. deCampos(UniversityofGranada),JuanM. Fernan ' dez-Luna (UniversityofJa'en),JuanF. Huete(UniversityofGranada) GeneratingFuzzySummariesfromFuzzyMultidimensionalDatabases...24 AnneLaurent(Universit'ePierreetMarieCurie) AMixture-of-ExpertsFrameworkforLearningfromImbalancedData Sets...34 AndrewEstabrooks(IBM),NathalieJapkowicz(UniversityofOttawa) PredictingTime-VaryingFunctionswithLocalModels...44 AchimLewandowski(ChemnitzUniversity),PeterProtzel(Chemnitz University) BuildingModelsofEcologicalDynamicsUsingHMMBasedTemporal DataClustering-APreliminaryStudy...53 CenLi(TennesseeStateUniversity),GautamBiswas(Vanderbilt University),MikeDale(Gri?thUniversity),PatDale(Gri?th University) TaggingwithSmallTrainingCorpora...63 NunoC. Marques(UniversidadeAberta),GabrielPereiraLopes (Centria) ASearchEngineforMorphologicallyComplexLanguages...7 3 UdoHahn(UniversitatFreiburg),MartinHoneck(Universitat sklinikum Freiburg),StefanSchulz(Universitat oppner(Univ. ofAppl. SciencesEmden,Germany) PublicationChair: FrankHo?mann(RoyalInstituteofTechnology,Sweden) LocalChair: FernandoMoura-Pires(UniversityofEvora,Portugal) AreaChairs: RobertaSiciliano(UniversityofNaples,Italy) ArnoSiebes(CWI,TheNetherlands) PavelBrazdil(UniversityofPorto,Portugal) ProgramCommittee NiallAdams(ImperialCollege,UK) PieterAdriaans(Syllogic,TheNetherlands) RussellAlmond(EducationalTestingService,USA) ThomasBack(InformatikCentrumDortmund,Germany) RiccardoBellazzi(UniversityofPavia,Italy) MichaelBerthold(Tripos,USA) LiuBing(NationalUniversityofSingapore) PaulCohen(UniversityofMassachusetts,USA) PaulDarius(LeuvenUniversity,Belgium) FazelFamili(NationalResearchCouncil,Canada) DouglasFisher(VanderbiltUniversity,USA) KarlFroeschl(UniversityofVienna,Austria) AlexGammerman(RoyalHolloway,UK) AdolfGrauel(UniversityofPaderborn,Germany) GabrielaGuimaraes(NewUniversityofLisbon,Portugal) LawrenceO. Hall(UniversityofSouthFlorida,USA) FrankHo?mann(RoyalInstituteofTechnology,Sweden) AdeleHowe(ColoradoStateUniversity,USA) Klaus-PeterHuber(SASInstitute,Germany) DavidJensen(UniversityofMassachusetts,USA) JoostKok(LeidenUniversity,TheNetherlands) RudolfKruse(UniversityofMagdeburg,Germany) FrankKlawonn(UniversityofAppliedSciencesEmden,Germany) VIII Organization HansLenz(FreeUniversityofBerlin,Germany) DavidMadigan(Soliloquy,USA) RainerMalaka(EuropeanMediaLaboratory,Germany) HeikkiMannila(Nokia,Finland) FernandoMouraPires(UniversityofEvora,Portugal) SusanaNascimento(UniversityofLisbon,Portugal) WayneOldford(UniversityofWaterloo,Canada) AlbertPrat(TechnicalUniversityofCatalunya,Spain) PeterProtzel(TechnicalUniversityChemnitz,Germany) GiacomodellaRiccia(UniversityofUdine,Italy) RosannaSchiavo(UniversityofVenice,Italy) KaisaSere(AboAkademiUniversity,Finland) RobertaSiciliano(UniversityofNaples,Italy) RosariaSilipo(Nuance,USA) FloorVerdenius(ATO-DLO,TheNetherlands) StefanWrobel(UniversityofMagdeburg,Germany) HuiXiaoLiu(BrunelUniversity,UK) NevinZhang(HongKongUniversityofScienceandTechnology,HongKong) SponsoringInstitutions Fundac" caoparaaCienciaeaTecnologia,Minist'eriodaCienciaedaTecnologia FaculdadedeCienciaseTecnologia,UniversidadeNovadeLisboa Fundac" caoCalousteGulbenkian IPEInvestimentoseParticipac" coesEmpresariais,S. A. TableofContents TheFourthInternationalSymposiumonIntelligentData Analysis FeatureCharacterizationinScienti?cDatasets...1 ElizabethBradley(UniversityofColorado),NancyCollins(University ofColorado),W. PhilipKegelmeyer(SandiaNationalLaboratories) RelevanceFeedbackintheBayesianNetworkRetrievalModel: AnApproachBasedonTermInstantiation...13 LuisM. deCampos(UniversityofGranada),JuanM. Fernan ' dez-Luna (UniversityofJa'en),JuanF. Huete(UniversityofGranada) GeneratingFuzzySummariesfromFuzzyMultidimensionalDatabases...24 AnneLaurent(Universit'ePierreetMarieCurie) AMixture-of-ExpertsFrameworkforLearningfromImbalancedData Sets...34 AndrewEstabrooks(IBM),NathalieJapkowicz(UniversityofOttawa) PredictingTime-VaryingFunctionswithLocalModels...44 AchimLewandowski(ChemnitzUniversity),PeterProtzel(Chemnitz University) BuildingModelsofEcologicalDynamicsUsingHMMBasedTemporal DataClustering-APreliminaryStudy...53 CenLi(TennesseeStateUniversity),GautamBiswas(Vanderbilt University),MikeDale(Gri?thUniversity),PatDale(Gri?th University) TaggingwithSmallTrainingCorpora...63 NunoC. Marques(UniversidadeAberta),GabrielPereiraLopes (Centria) ASearchEngineforMorphologicallyComplexLanguages...7 3 UdoHahn(UniversitatFreiburg),MartinHoneck(Universitat sklinikum Freiburg),StefanSchulz(Universitat sklinikumFreiburg) ErrorsDetectionandCorrectioninLargeScaleDataCollecting...84 RenatoBruni(Universit'adiRoma),AntonioSassano(Universit'adi Roma) X TableofContents ANewFrameworktoAssessAssociationRules ...95 FernandoBerzal(UniversityofGranada),IgnacioBlanco(University ofGranada),DanielS'anchez(UniversityofGranada), Mar'?a-AmparoVila(UniversityofGranada) CommunitiesofInterest ...105 CorinnaCortes(AT&TShannonResearchLabs),DarylPregibon (AT&TShannonResearchLabs),ChrisVolinsky(AT&TShannon ResearchLabs) AnEvaluationofGradingClassi?ers ...115 AlexanderK. Seewald(AustrianResearchInstituteforArti?cial Intelligence),JohannesFur nkranz(AustrianResearchInstitutefor Arti?cialIntelligence) FindingInformativeRulesinIntervalSequences ...125 FrankHoppner(UniversityofAppliedSciencesEmden), FrankKlawonn(UniversityofAppliedSciencesEmden) Correlation-BasedandContextualMerit-BasedEnsembleFeature Selection...135 SeppoPuuronen(UniversityofJyvaskyla),AlexeyTsymbal(University ofJyvaskyla),IrynaSkrypnyk(UniversityofJyvas kyla) NonmetricMultidimensionalScalingwithNeuralNetworks...145 MichielC. vanWezel(UniversiteitLeiden),WalterA. Kosters (UniversiteitLeiden),PetervanderPutten(UniversiteitLeiden), JoostN. Kok(UniversiteitLeiden) FunctionalTreesforRegression...156 Joao " Gama(UniversityofPorto) DataMiningwithProductsofTrees...167 Jos'eTom'eA. S. Ferreira(ImperialCollege),DavidG. T. Denison (ImperialCollege),DavidJ. Hand(ImperialCollege) 3 SBagging:FastClassi?erInductionMethodwithSubsamplingand Bagging ...177 MasahiroTerabe(MitshibishiResearchInstitute,Inc. ),TakashiWashio (I. S. I. R. ,OsakaUniversity),HiroshiMotoda(I. S. I. R.

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

This book presents six thoroughly reviewed and revised full papers describing selected projects on data mining.Three papers deal with data mining and e-commerce, focusing on sequence rule analysis, association rule mining and knowledge discovery in databases, and intelligent e-marketing with Web mining. One paper is devoted to experience management and process learning. The last two papers report on medical applications, namely on genomic data processing and on case-based reasoning for prognosis of influenza.

Data has never mattered more. Our lives are increasingly shaped by it and how it is defined, collected and used. But who counts in the collection, analysis and application of data? This important book is the first to look at queer data - defined as data relating to gender, sex, sexual orientation and trans identity/history. The author shows us how current data practices reflect an incomplete account of LGBTQ lives and helps us understand how data biases are used to delegitimise the everyday experiences of queer people. Guyan demonstrates why it is important to understand, collect and analyse queer data, the benefits and challenges involved in doing so, and how we might better use queer data in our work. Arming us with the tools for action, this book shows how greater knowledge about queer identities is instrumental in informing decisions about resource allocation, changes to legislation, access to services, representation and visibility.

Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten."

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Computability and Complexity in Analysis, CCA 2000, held in Swansea, UK, in September 2000.The 23 revised full papers presented together with a report on a competition of exact real arithmetic systems were carefully selected from 28 papers accepted for presentation during the workshop. The book presents a cross-section on current research on computability and complexity in analysis.

This book constitutes the refereed proceedings of the 6th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD 2002, held in Helsinki, Finland in August 2002.The 39 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. Among the topics covered are kernel methods, probabilistic methods, association rule mining, rough sets, sampling algorithms, pattern discovery, web text mining, meta data clustering, rule induction, information extraction, dependency detection, rare class prediction, classifier systems, text classification, temporal sequence analysis, unsupervised learning, time series analysis, medical data mining, etc.

This volume contains a selection of papers presented at the biannual meeting of the Classification and Data Analysis Group of Societa Italiana di Statistica, which was held in Rome, July 5-6, 1999. From the originally submitted papers, a careful review process led to the selection of 45 papers presented in four parts as follows: CLASSIFICATION AND MULTIDIMENSIONAL SCALING Cluster analysis Discriminant analysis Proximity structures analysis and Multidimensional Scaling Genetic algorithms and neural networks MUL TIV ARIA TE DATA ANALYSIS Factorial methods Textual data analysis Regression Models for Data Analysis Nonparametric methods SPATIAL AND TIME SERIES DATA ANALYSIS Time series analysis Spatial data analysis CASE STUDIES INTERNATIONAL FEDERATION OF CLASSIFICATION SOCIETIES The International Federation of Classification Societies (IFCS) is an agency for the dissemination of technical and scientific information concerning classification and data analysis in the broad sense and in as wide a range of applications as possible; founded in 1985 in Cambridge (UK) from the following Scientific Societies and Groups: British Classification Society -BCS; Classification Society of North America - CSNA; Gesellschaft fUr Klassifikation - GfKI; Japanese Classification Society -JCS; Classification Group of Italian Statistical Society - CGSIS; Societe Francophone de Classification -SFC. Now the IFCS includes also the following Societies: Dutch-Belgian Classification Society - VOC; Polish Classification Society -SKAD; Associayao Portuguesa de Classificayao e Analise de Dados -CLAD; Korean Classification Society -KCS; Group-at-Large.

This book documents the efforts undertaken by the EG AgentLink Special Interest Group on Agent Mediated Electronic Commerce, SIG AMEC.First and foremost, the book presents a roadmap of research and current technological development in the area of agent mediated electronic commerce. A particularly interesting part of this roadmap is the joint perspective on future developments.The book also contains a number of papers that fill in parts of this roadmap in a European context. Some of the papers present significant current R&D results while other papers indicate some clear directions for future research. The book is structured in topical sections on negotiation, markets, user preferences, and security.

Die Informationslogistik wird zum Wettbewerbsfaktor fur Unternehmen. Die Versorgung von Entscheidungstragern mit integrierten Informationen ermoglicht effiziente und effektive Entscheidungsprozesse in Alignment mit den strategischen Zielen des Unternehmens. Dazu wird ein ganzheitlicher, bereichsubergreifender Ansatz benotigt, der die inharenten Synergiepotenziale einer Informationslogistik umfassend nutzt.

Dieses Buch gibt erstmals einen Gesamteindruck uber den State of the Art und Entwicklungsrichtungen der integrierten Informationslogistik aus Managementsicht. Auf Grundlage des St. Galler Business Engineering-Frameworks werden aktuelle Herausforderungen und Losungsansatze der Informationslogistik ganzheitlich und konsistent betrachtet und Hinweise zur Gestaltung der Informationslogistik auf den Ebenen Strategie, Organisation und Informationssysteme gegeben. Ausgewahlte Schwerpunktthemen vertiefen fur die Umsetzung relevante Fragestellungen. Schliesslich zeigen aktuelle Fallstudien konkrete Realisierungsmoglichkeiten in der unternehmerischen Praxis auf."

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Algorithm Engineering and Experimentation, ALENEX 2001, held in Washington, DC, USA in January 2001.The 15 revised full papers presented together with the abstracts of three invited presentations have gone through two rounds of reviewing and revision and were selected from 31 submissions. Among the topics addressed are heuristics for approximation, network optimization, TSP, randomization, sorting, information retrieval, graph computations, tree clustering, scheduling, network algorithms, point set computations, searching, and data mining.

This book constiutes the reviewed proceedings of the 4th International Conference on Cognitive Technology, CT 2001, helds in Warwick, UK in August 2001. The 36 revised full papers presented together with six invited papers were carefully reviewed and selected for inclusion in the book. The book offers topical sections on designing artefacts, cognition in robotic and virtual environments, presence in virtual environments, human activity and humnan computing, computing and people education in cognition, learning, narrative and story-telling, interfaces, cognitive dimensions, human work and communities, and human-technology relationship.

Das Konzept des Service Engineering, das Vorgehensweisen und Methoden fA1/4r die schnelle und effiziente Realisierung von Dienstleistungen bietet, findet zunehmend Verbreitung in der Praxis. Um die Verfahren mAglichst gewinnbringend einsetzen zu kAnnen, gilt es, den Dienstleistungsprozess auch durch geeignete Informationssysteme zu unterstA1/4tzen. Dieses Buch gibt einen fundierten Einblick in aktuelle softwaretechnische Konzepte und prAsentiert praktische Erfahrungen aus deren Anwendung bei Entwicklungsprojekten. Es richtet sich gleichermaAen an Praktiker in Dienstleistungsunternehmen und Affentlichen Verwaltungen sowie an Mitarbeiter produzierender Unternehmen, die ihr Dienstleistungsangebot systematisieren und ausbauen wollen.

Das Buch zeigt, welche Potentiale sich f r Unternehmen durch eine konsequente Orientierung an den Kundenprozessen und einer kooperativen Zusammenarbeit zwischen Unternehmen ergeben. Eine wichtige Rolle nehmen dabei elektronische Dienstleister (sogenannte WebService-Anbieter) ein, die diese Kooperationsprozesse erst erm glichen oder die elektronischen Services viel effizienter erbringen als jedes einzelne Unternehmen im Netzwerkverbund, z.B. f r den Zahlungsverkehr und die Logistik. Dazu werden anhand anschaulicher Beispiele aus der Praxis methodische Vorschl ge zur Gestaltung des Kundenprozesses, zum Portaldesign und zur Kooperationsprozessanalyse und Out-tasking sowie Architekturen f r Kooperationsprozesse und WebServices entwickelt.

These are the proceedings of the Fifth International Workshop on Cooperative Information Agents, held in Modena, Italy, September 6-8, 2001. Information agent technology has become one of the major key technologies for the Internet and the World Wide Web. It mainly emerged as a response to the challenges of cyberspace from both the technological and human user perspective. Development of information agents requires expertise from di?erent research disciplines such as Arti?cial Intelligence (AI), advanced databases and knowledge base systems, distributed information systems, information retrieval, and Human Computer Interaction (HCI). The ?fth international workshop on Cooperative Information Agents (CIA) continued the tradition by capturing the intrinsic interdisciplinary nature of the above research area by calling for contributions from di?erent research communities, and by promoting open and informative discussions on all related topics. In keeping with tradition, the workshop featured a sequence of regular and invited talks of excellence given by leading experts in the ?eld. This year the topics of the talks are mainly on the challenges of information agents in the upcoming age of ubiquitous and pervasive computing. These challenges are in particular due to the necessity of an e?cient utilization, evolution, and trust management of information agents for user-oriented information search, pro- sion, and visualization in networked computing environments with small, mobile, and embedded devices. A di?erent issue concerns the potential of agent-based support of massive distributed data warehousing worldwide.

This volume contains a selection of manuscripts referring to lectures presented at the Symposium on Operations Research 1999 (SOR'99) held at the Otto-von-Guericke University Magdeburg, Sep- tember 1 -3, 1999. This international conference took place under the auspices of the German OR society (GOR), and it was the first one organized in Germany since the foundation of GOR by merger of the two predecessor societies (DGOR and GMOOR) in 1998. The Symposium had 420 participants from 22 countries around the world. It attracted academicians and practitioners working in various fields of Operations Research and provided them with the most recent developments and advances in the full spectrum of Operations Research and related areas in economics, mathematics, and computer science. The selection of contributions to SOR'99 accepted by the program committee and the invited pa- pers formed a program which consisted of 265 lectures in 19 sections, including 2 plenary and 19 semi plenary presentations. 119 manuscripts were submitted for publication in the proceedings vo- lume. Due to the page limit for this volume and in order to insure a high quality level of the OR Proceedings a further review procedure had to take place which was strongly supported by the sec- tion chairpersons. It resulted in a selection of 87 manuscripts which are now presented in this volume.

With the unprecedented growth-rate at which data is being collected and stored electronically today in almost all fields of human endeavor, the efficient extraction of useful information from the data available is becoming an increasing scientific challenge and a massive economic need. This book presents thoroughly reviewed and revised full versions of papers presented at a workshop on the topic held during KDD'99 in San Diego, California, USA in August 1999 complemented by several invited chapters and a detailed introductory survey in order to provide complete coverage of the relevant issues. The contributions presented cover all major tasks in data mining including parallel and distributed mining frameworks, associations, sequences, clustering, and classification. All in all, the volume presents the state of the art in the young and dynamic field of parallel and distributed data mining methods. It will be a valuable source of reference for researchers and professionals.

This first systematic and self-contained monograph on "Symbolic Data Analysis" presents the most recent methods for analyzing and visualizing symbolic data. It generalizes classical methods of exploratory, statistical and graphical data analysis to the case of complex data where the entries of a data table are, e. g., sets of categories or of numbers, intervals or probability distributions. Typical methods include: graphical displays using Zoom Stars, visualization and feature extraction by symbolic factor analysis, decision trees, discrimination, classification and clustering methods. Several benchmark examples from National Statistical Offices illustrate the usefulness of the methods. The book contains an extensive bibliography and a subject index.

This book gives a unique account of the emerging field of Web engineering by presenting 25 thoroughly reviewed papers drawn from two recent workshops on the topic together with introductory and motivating surveys and a list of Web engineering resources in chapters on - Web engineering: introduction and perspectives - Web-based system development: process and methodology - Managing information on the Web - Development tools, skills, and case studies - Performance, testing, and Web metrices - Web maintenance and reuseThe book will appeal equally to researchers, students, professionals and practitioners in industry interested in developing, maintaining, and using advanced Web-based systems and applications.