close
1.

図書

図書
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)
出版情報: Berlin : Springer, c2004  x, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3119
所蔵情報: loading…
2.

図書

図書
Stephen Brewster, Mark Dunlop (eds.)
出版情報: Berlin : Springer, c2004  xvii, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3160
所蔵情報: loading…
3.

図書

図書
Francisco J. Perales, Bruce A. Draper (eds.)
出版情報: Berlin : Springer, c2004  xi, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3179
所蔵情報: loading…
4.

図書

図書
Pen-Chung Yew, Jingling Xue (eds.)
出版情報: Berlin : Springer, c2004  xvii, 598 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3189
所蔵情報: loading…
5.

図書

図書
Jean-François Boulicaut ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xix, 560 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3202 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Random Matrices in Data Analysis / Dmitris Achlioptas
Data Privacy / Rakesh Agrawal
Breaking Through the Syntax Barrier: Searching with Entities and Relations / Soumen Chakrabarti
Real-World Learning with Markov Logic Networks / Pedro Domingos
Strength in Diversity: The Advance of Data Analysis / David J. Hand
Contributed Papers
Mining Positive and Negative Association Rules: An Approach for Confined Rules / Maria-Luiza Antonie ; Osmar R. Zaïane
An Experiment on Knowledge Discovery in Chemical Databases / Sandra Berasaluce ; Claude Laurenço ; Amedeo Napoli ; Gilles Niel
Shape and Size Regularization in Expectation Maximization and Fuzzy Clustering / Christian Borgelt ; Rudolf Kruse
Combining Multiple Clustering Systems / Constantinos Boulis ; Mari Ostendorf
Reducing Data Stream Sliding Windows by Cyclic Tree-Like Histograms / Francesco Buccafurri ; Gianluca Lax
A Framework for Data Mining Pattern Management / Barbara Catania ; Anna Maddalena ; Maurizio Mazza ; Elisa Bertino ; Stefano Rizzi
Spatial Associative Classification at Different Levels of Granularity: A Probabilistic Approach / Michelangelo Ceci ; Annalisa Appice ; Donato Malerba
AutoPart: Parameter-Free Graph Partitioning and Outlier Detection / Deepayan Chakrabarti
Properties and Benefits of Calibrated Classifiers / Ira Cohen ; Moises Goldszmidt
A Tree-Based Approach to Clustering XML Documents by Structure / Gianni Costa ; Giuseppe Manco ; Riccardo Ortale ; Andrea Tagarelli
Discovery of Regulatory Connections in Microarray Data / Michael Egmont-Petersen ; Wim de Jonge ; Arno Siebes
Learning from Little: Comparison of Classifiers Given Little Training / George Forman
Geometric and Combinatorial Tiles in 0-1 Data / Aristides Gionis ; Heikki Mannila ; Jouni K. Seppänen
Document Classification Through Interactive Supervision of Document and Term Labels / Shantanu Godbole ; Abhay Harpale ; Sunita Sarawagi
Classifying Protein Fingerprints / Melanie Hilario ; Alex Mitchell ; Jee-Hyub Kim ; Paul Bradley ; Terri Attwood
Finding Interesting Pass Patterns from Soccer Game Records / Shoji Hirano ; Shusaku Tsumoto
Discovering Unexpected Information for Technology Watch / François Jacquenet ; Christine Largeron
Scalable Density-Based Distributed Clustering / Eshref Januzaj ; Hans-Peter Kriegel ; Martin Pfeifle
Summarization of Dynamic Content in Web Collections / Adam Jatowt ; Mitsuru Ishizuka
Mining Thick Skylines over Large Databases / Wen Jin ; Jiawei Han ; Martin Ester
Ensemble Feature Ranking / Kees Jong ; Jérémie Mary ; Antoine Cornuéjols ; Elena Marchiori ; Michèle Sebag
Privately Computing a Distributed k-nn Classifier / Murat Kantarcio&gcaron;lu ; Chris Clifton
Incremental Nonlinear PCA for Classification / Byung Joo Kim ; Il Kon Kim
A Spectroscopy of Texts for Effective Clustering / Wenyuan Li ; Wee-Keong Ng ; Kok-Leong Ong ; Ee-Peng Lim
Constraint-Based Mining of Episode Rules and Optimal Window Sizes / Nicolas Méger ; Christophe Rigotti
Analysing Customer Churn in Insurance Data - A Case Study / Katharina Morik ; Lianna Köpeke
Nomograms for Visualization of Naive Bayesian Classifier / Martin Možina ; Janez Demšar ; Michael Kattan ; Blaž Zupan
Using a Hash-Based Method for Apriori-Based Graph Mining / Phu Chien Nguyen ; Takashi Washio ; Kouzou Ohara ; Hiroshi Motoda
Evaluation of Rule Interestingness Measures with a Clinical Dataset on Hepatitis / Miho Ohsaki ; Shinya Kitaguchi ; Kazuya Okamoto ; Hideto Yokoi ; Takahira Yamaguchi
Classification in Geographical Information Systems / Salvatore Rinzivillo ; Franco Turini
Digging into Acceptor Splice Site Prediction: An Iterative Feature Selection Approach / Yvan Saeys ; Sven Degroeve ; Yves Van de Peer
Itemset Classified Clustering / Jun Sese ; Shinichi Morishita
Combining Winnow and Orthogonal Sparse Bigrams for Incremental Spam Filtering / Christian Siefkes ; Fidelis Assis ; Shalendra Chhabra ; William S. Yerazunis
Asynchronous and Anticipatory Filter-Stream Based Parallel Algorithm for Frequent Itemset Mining / Adriano Veloso ; Wagner Meira Jr. ; Renato Ferreira ; Dorgival Guedes Neto ; Srinivasan Parthasarathy
A Quantification of Cluster Novelty with an Application to Martian Topography / Ricardo Vilalta ; Tom Stepinski ; Muralikrishna Achari ; Francisco Ocegueda-Hernandez
Density-Based Spatial Clustering in the Presence of Obstacles and Facilitators / Xin Wang ; Camilo Rostoker ; Howard J. Hamilton
Text Mining for Finding Functional Community of Related Genes Using TCM Knowledge / Zhaohui Wu ; Xuezhong Zhou ; Baoyan Liu ; Junli Chen
Dealing with Predictive-but-Unpredictable Attributes in Noisy Data Sources / Ying Yang ; Xindong Wu ; Xingquan Zhu
A New Scheme on Privacy Preserving Association Rule Mining / Nan Zhang ; Shengquan Wang ; Wei Zhao
Posters
A Unified and Flexible Framework for Comparing Simple and Complex Patterns / Ilaria Bartolini ; Paolo Ciaccia ; Irene Ntoutsi ; Marco Patella ; Yannis Theodoridis
Constructing (Almost) Phylogenetic Trees from Developmental Sequences Data / Ronnie Bathoorn
Learning from Multi-source Data / Élisa Fromont ; Marie-Odile Cordier ; René Quiniou
The Anatomy of SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets / Paolo Ferragina ; Antonio Gullì
COCOA: Compressed Continuity Analysis for Temporal Databases / Kuo-Yu Huang ; Chia-Hui Chang ; Kuo-Zui Lin
Discovering Interpretable Muscle Activation Patterns with the Temporal Data Mining Method / Fabian Mörchen ; Alfred Ultsch ; Olaf Hoos
A Tolerance Rough Set Approach to Clustering Web Search Results / Chi Lang Ngo ; Hung Son Nguyen
Improving the Performance of the RISE Algorithm / Aloísio Carlos de Pina ; Gerson Zaverucha
Mining History of Changes to Web Access Patterns / Qiankun Zhao ; Sourav S. Bhowmick
Demonstration Papers
Visual Mining of Spatial Time Series Data / Gennady Andrienko ; Natalia Andrienko ; Peter Gatalsky
Detecting Driving Awareness / Bruno Apolloni ; Andrea Brega ; Dario Malchiodi ; Cristian Mesiano
An Effective Recommender System for Highly Dynamic and Large Web Sites / Ranieri Baraglia ; Francesco Merlo ; Fabrizio Silvestri
SemanticTalk: Software for Visualizing Brainstorming Sessions and Thematic Concept Trails on Document Collections / Chris Biemann ; Karsten Böhm ; Gerhard Heyer ; Ronny Melz
Orange: From Experimental Machine Learning to Interactive Data Mining / Gregor Leban ; Tomaz Curk
Terrorist Detection System / Yuval Elovici ; Abraham Kandel ; Mark Last ; Bracha Shapira ; Omer Zaafrany ; Moti Schneider ; Menahem Friedman
Experimenting SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets
HIClass: Hyper-interactive Text Classification by Interactive Supervision of Document and Term Labels
Balios - The Engine for Bayesian Logic Programs / Kristian Kersting ; Uwe Dick
SEWeP: A Web Mining System Supporting Semantic Personalization / Stratos Paulakis ; Charalampos Lampos ; Magdalini Eirinaki ; Michalis Vazirgiannis
SPIN! Data Mining System Based on Component Architecture / Alexandr Savinov
Author Index
Invited Papers
Random Matrices in Data Analysis / Dmitris Achlioptas
Data Privacy / Rakesh Agrawal
6.

図書

図書
Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)
出版情報: Berlin : Springer, c2004  vi, 163 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3208
所蔵情報: loading…
7.

図書

図書
Mircea Gh. Negoita, Robert J. Howlett, Lakhmi C. Jain (eds.)
出版情報: Berlin : Springer, c2004  3 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3213-3215 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Christian Barillot, David R. Haynor, Pierre Hellier (eds.)
出版情報: Berlin : Springer, c2004  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3216-3217
所蔵情報: loading…
9.

図書

図書
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)
出版情報: Berlin : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3219
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter
Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly
Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi
An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen
Towards the Integration of Fault, Resource, and Power Management / T. Saridakis
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla
Analysing Mode Confusion: An Approach Using FDR2 / B. Buth
Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame
Transportation
A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo
Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin
Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee
Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling
Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich
Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl
Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke
Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo
Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem
How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp
Author Index
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
10.

図書

図書
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
出版情報: Berlin : Springer, c2004  viii, 336 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3223
所蔵情報: loading…
目次情報: 続きを見る
Error Analysis of Digital Filters Using Theorem Proving / Behzad Akbarpour ; Sofiène Tahar
Verifying Uniqueness in a Logical Framework / Penny Anderson ; Frank Pfenning
A Program Logic for Resource Verification / David Aspinall ; Lennart Beringer ; Martin Hofmann ; Hans-Wolfgang Loidl ; Alberto Momigliano
Proof Reuse with Extended Inductive Types / Olivier Boite
Hierarchical Reflection / Luís Cruz-Filipe ; Freek Wiedijk
Correct Embedded Computing Futures / Al Davis
Higher Order Rippling in IsaPlanner / Lucas Dixon ; Jacques Fleuriot
A Mechanical Proof of the Cook-Levin Theorem / Ruben Gamboa ; John Cowles
Formalizing the Proof of the Kepler Conjecture / Thomas Hales
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code / Nadeem Abdul Hamid ; Zhong Shao
Extensible Hierarchical Tactic Construction in a Logical Framework / Jason Hickey ; Aleksey Nogin
Theorem Reuse by Proof Term Transformation / Einar Broch Johnsen ; Christoph Lüth
Proving Compatibility Using Refinement / Michael Jones ; Aaron Benson ; Dan Delorey
Java Program Verification via a JVM Deep Embedding in ACL2 / Hanbing Liu ; J. Strother Moore
Reasoning About CBV Functional Programs in Isabelle/HOL / John Longley ; Randy Pollack
Proof Pearl: From Concrete to Functional Unparsing / Jean-Fraçois Monin
A Decision Procedure for Geometry in Coq / Julien Narboux
Recursive Function Definition for Types with Binders / Michael Norrish
Abstractions for Fault-Tolerant Distributed System Verification / Lee Pike ; Jeffrey Maddalon ; Paul Miner ; Alfons Geser
Formalizing Integration Theory with an Application to Probabilistic Algorithms / Stefan Richter
Formalizing Java Dynamic Loading in HOL / Tian-jun Zuo ; Jun-gang Han ; Ping Chen
Certifying Machine Code Safety: Shallow Versus Deep Embedding / Martin Wildmoser ; Tobias Nipkow
Term Algebras with Length Function and Bounded Quantifier Alternation / Ting Zhang ; Henny B. Sipma ; Zohar Manna
Author Index
Error Analysis of Digital Filters Using Theorem Proving / Behzad Akbarpour ; Sofiène Tahar
Verifying Uniqueness in a Logical Framework / Penny Anderson ; Frank Pfenning
A Program Logic for Resource Verification / David Aspinall ; Lennart Beringer ; Martin Hofmann ; Hans-Wolfgang Loidl ; Alberto Momigliano
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼