close
1.

図書

図書
Peter Widmayer, Gabriele Neyer, Stephan Eidenbenz (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1665
所蔵情報: loading…
目次情報: 続きを見る
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
Car Manufacturing Industries / Thomas Lengauer
Informatica, Scuola, Communita: Uno Sguardo dall' Occhio del Ciclone / N. Santoro
Proximity-Preserving Labeling Schemes and Their Applications / David Peleg
Euler is Standing in Line / D. Hauptmeier ; S. O. Krumke ; J. Rambau ; H.-C. Wirth
Lower Bounds for Approximating Shortest Superstrings over an Alphabet of Size 2 / Sascha Ott
ComplexityClassification of Some Edge Modification Problems / Assaf Natanzon ; Ron Shamir ; Roded Sharan
On Minimum Diameter Spanning Trees under Reload Costs / Hans-Christoph Wirth ; Jan Steffan
Induced Matchings in Regular Graphs and Trees / Michele Zito
Mod-2 Independence and Domination in Graphs / Magnús M. Halldó rsson ; Jan Kratochvil ; Jan Arne Telle
On the Nature of Structure and Its Identification / Ojvind Johansson ; Benno Stein ; Oliver Niggemann
On the Clique-Width of Perfect Graph Classes / Martin Charles Golumbic ; Udi Rotics
An Improved Algorithm for Finding Tree Decompositions of Small Width / Ljubomir Perkovic ; Bruce Reed
Efficient Analysis of Graphs with Small Minimal Separators / K. Skodinis
Generating All the Minimal Separators of a Graph / Anne Berry ; Jean-Paul Bordat ; Olivier Cogis
Two Broadcasting Problems in FaultyHypercubes / Stefan Dobrev ; Imrich Vrto
Routing Permutations in the Hypercube / Olivier Baudon ; Guillaume Fertin ; Ivan Havel
An Optimal Fault-Tolerant Routing for Triconnected Planar Graphs / Koichi Wada ; Yoriyuki Nagata ; Wei Chen
Optimal Irreversible Dynamos in Chordal Rings / Paola Flocchini ; Frédéric Geurts ; Nicola Santoro
Recognizing Bipartite Incident-Graphs of Circulant Digraphs / Johanne Cohen ; Pierre Fraigniaud ; Cyril Gavoille
Optimal Cuts for Powers of the Petersen Graph / Sergei L. Bezrukov ; Sajal K. Das ; Robert Elsässer
Dihamiltonian Decomposition of Regular Graphs with Degree Three / Jung-Heum Park ; Hee-Chul Kim
Box-Rectangular Drawings of Plane Graphs / Md. Saidur Rahman ; Shin-ichi Nakano ; Takao Nishizeki
A Multi-Scale Algorithm for Drawing Graphs Nicely / Ronny Hadany ; David Harel
All Separating Triangles in a Plane Graph Can Be Optimally "Broken" in Polynomial Time / Anna Accornero ; Massimo Ancona ; Sonia Varini
Linear Orderings of Random Geometric Graphs / Josep Diaz ; Mathew D. Penrose ; Jordi Petit ; Maria Serna
Finding Smallest Supertrees Under Minor Containment / Naomi Nishimura ; Prabhakar Ragde ; Dimitrios M. Thilikos
Vertex Cover: Further Observations and Further Improvements / Jianer Chen ; Iyad A. Kanj ; Weijia Jia
On the Hardness of Recognizing Bundles in Time Table Graphs / Annegret Liebers ; Dorothea Wagner ; Karsten Weihe
Optimal Solutions for FrequencyAssignment Problems via Tree Decomposition / Arie M.C.A. Koster ; Stan P.M. van Hoesel ; Antoon W.J. Kolen
Fixed-Parameter Complexity of ?-Labelings / Jiri Fiala ; Ton Kloks
Linear Time Algorithms for Hamiltonian Problems on (Claw,Net)-Free Graphs / Andreas Brandstädt ; Feodor F. Dragan ; Ekkehard Köhler
On Claw-Free Asteroidal Triple-Free Graphs / Harald Hempel ; Dieter Kratsch
Vertex Partitioning of Crown-Free Interval Graphs / Giuseppe Confessore ; Paolo Dell'Olmo ; Stefano Giordani
Author Index / I. Parfenoff ; F. Roussel ; I. Rusu
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
2.

図書

図書
Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 558 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1711 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
On Text Mining Techniques for Personalization / C. C. Aggarwal ; P. S. Yu
A Road to Discovery Science / S. Arikawa
Rough Computing: Foundations and Applications
Calculi of Granules Based on Rough Set Theory: Approximate Distributed Synthesis and Granular Semantics for Computing with Words / L. Polkowski ; A. Skowron
Discovery of Rules about Complications / S. Tsumoto
Rough Genetic Algorithms / P. Lingras ; C. Davies
Classifying Faults in High Voltage Power Systems: A Rough-Fuzzy Neural Computational Approach / L. Han ; J. F. Peters ; S. Ramanna ; R. Zhai
Rough Set Theory and Its Applications
Toward Spatial Reasoning in the Framework of Rough Mereology
An Algorithm for Finding Equivalence Relations from Tables with Non-deterministic Information / H. Sakai ; A. Okuma
On the Extension of Rough Sets under Incomplete Information / J. Stefanowski ; A. Tsoukias
On Rough Relations: An Alternative Formulation / Y. Y. Yao ; T. Wang
Formal Rough Concept Analysis / J. Saquer ; J. S. Deogun
Noise Reduction in Telecommunication Channels Using Rough Sets and Neural Networks / R. Krolikowski ; A. Czyzewski
Rough Set Analysis of Electrostimilation Test Database for the Prediction of Post-Operative Profits in Cochlear Implanted Patients / H. Skarzynski ; B. Kostek
A Rough Set-Based Approach to Text Classification / A. Chouchoulas ; Q. Shen
Modular Rough Fuzzy MLP: Evolutionary Design / P. Mitra ; S. Mitra ; S. K. Pal
Approximate Reducts and Association Rules: Correspondence and Complexity Results / H. S. Nguyen ; D. Slezak
Handling Missing Values in Rough Set Analysis of Multi-Attribute and Multi-Criteria Decision Problems / S. Greco ; B. Matarazzo ; R. Slowinski
The Generic Rough Set Inductive Logic Programming Model and Motifs in Strings / A. Siromoney ; K. Inoue
Rough Problem Settings for Inductive Logic Programming / C. Liu ; N. Zhong
Using Rough Sets with Heuristics to Feature Selection / J. Z. Dong ; S. Ohsuga
The Discretization of Continuous Attributes Based on Compatibility Rough Set and Genetic Algorithm / L. Sun ; W. Gao
Fuzzy Set Theory and Its Applications
Level Cut Conditioning Approach to the Necessity Measure Specification / M. Inuiguchi ; T. Tanino
Four c-regression Methods and Classification Functions / S. Miyamoto ; K. Umayahara ; T. Nemoto
Context-Free Fuzzy Sets in Data Mining Context / T. Y. Lin
Applying Fuzzy Hypothesis Testing to Medical Data / M. Last ; A. Schenker ; A. Kandel
Generating A Macroeconomic Fuzzy Forecasting System Using Evolutionary Search / R. Veliev ; A. Rubinov ; A. Stranieri
Fuzzy Control of Nonlinear Systems Using Nonlinearized Parameterization / H. Han ; H. Kawabata
Control of Chaotic Systems Using Fuzzy Model-Based Regulators / K. Watanabe ; L. Udawatta ; K. Kiguchi ; K. Izumi
Fuzzy Behavior-Based Control for the Obstacle Avoidance of Multi-Link Manipulators / P. Dassanayake
Fuzzy Future Value and Annual Cash Flow Analyses / N. Cetin ; C. Kahraman
Semi-Linear Equation with Fuzzy Parameters / S. Melliani
Non-Classical Logic and Approximate Reasoning
First Order Rough Logic-Revisited / Q. Liu
A Generalized Decision Logic in Interval-set-valued Information Tables
Many-Valued Dynamic Logic for Qualitative Decision Theory / C. J. Liau
Incorporating Fuzzy Set Theory and Matrix Logic in Multi-Layer Logic / H. Yamauchi
Fuzzy Logic as Interfacing Media for Constraint Propagation Based on Theories of Chu Space and Information Flow / K. Sato ; T. Horiuchi ; T. Hiraoka ; H. Kawakami ; O. Katai
Pattern Reasoning: A New Solution for Knowledge Acquisition Problem / H. Tsukimoto
Probabilistic Inference and Bayesian Theorem Based on Logical Implication / Y. Yamauchi ; M. Mukaidono
Reasoning with Neural Logic Networks / R. Yasdi
The Resolution for Rough Propositional Logic with Lower (L) and Upper (H) Approximate Operators
Information Granulation and Granular Computing
Information Granules in Distributed Environment / J. Stepaniuk
Evolving Granules for Classification for Discovering Difference in the Usage of Words / T. Yoshida ; T. Kondo ; S. Nishida
Interval Evaluation by AHP with Rough Sets Concept / K. Sugihara ; Y. Maeda ; H. Tanaka
Interval Density Functions in Conflict Analysis / K. Senoo
Incorporating Personal Databases by Granular Computing / Y. Kakemoto
Data Mining and Knowledge Discovery
Knowledge-Driven Discovery of Operational Definitions / J. M. Żytkow
A Closest Fit Approach to Missing Attribute Values in Preterm Birth Data / J. W. Grzymala-Busse ; W. J. Grzymala-Busse ; L. K. Goodwin
Visualizing Discovered Rule Sets with Visual Graphs Based on Compressed Entropy Density / E. Suzuki ; H. Ishihara
A Distance-Based Clustering and Selection of Association Rules on Numeric Attributes / X. Du ; S. Suzuki ; N. Ishii
Knowledge Discovery for Protein Tertiary Substructures / C. K. Chen ; D. Y. Y. Yun
Integrating Classification and Association Rule Mining: A Concept Lattice Framework / K. Hu ; Y. Lu ; L. Zhou ; C. Shi
Using Rough Genetic and Kohonen's Neural Network for Conceptual Cluster Discovery in Data Mining / H. Kiem ; D. Phuc
Towards Automated Optimal Equity Portfolios Discovery in A Knowledge Sharing Financial Data Warehouse / Y. C. Lu ; H. Cheng
Rule-Evolver: An Evolutionary Approach for Data Mining / C. Lopes ; M. Pacheco ; M. Vellasco ; E. Passos
Machine Learning
Decision Making with Probabilistic Decision Tables / W. Ziarko
The Iterated Version Space Learning / J. J. Zhang ; N. Cercone
An Empirical Study on Rule Quality Measures / A. An
Rules as Attributes in Classifier Construction / M. S. Szczuka
An Algorithm to Find the Optimized Network Structure in An Incremental Learning / J. C. Lee ; W. D. Lee ; M. S. Han
Patterns in Numerical Data: Practical Approximations to Kolmogorov Complexity
Performance Prediction for Classification Systems / F. Sun
Intelligent Agents and Systems
Flexible Optimization and Evolution of Underwater Autonomous Agents / E. Eberbach ; R. Brooks ; S. Phoha
Ontology-Based Multi-Agent Model of An Information Security System / V. I. Gorodetski ; L. J. Popyack ; I. V. Kotenko ; V. A. Skormin
Optimal Multi-Scale Time Series Decomposition for Financial Forecasting Using Wavelet Thresholding Techniques / T. Shin ; I. Han
Computerized Spelling Recognition of Words Expressed in the Sound Approach / M. Higgins
An Adaptive Handwriting Recognition System / G. Qian
Author Index
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
3.

図書

図書
Christoph Meinel, Sophie Tison (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1563
所蔵情報: loading…
4.

図書

図書
Michel Morvan, Christoph Meinel, Daniel Krob (eds.)
出版情報: Berlin ; New York : Springer, c1998  xv, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1373
所蔵情報: loading…
5.

図書

図書
Mogens Nielsen, Wolfgang Thomas (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1414
所蔵情報: loading…
6.

図書

図書
Rolf H. Möhring (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997  x, 376 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1335
所蔵情報: loading…
目次情報:
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions
The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions
The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc
7.

図書

図書
R.K. Shyamasundar, K. Ueda (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xiii, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1345
所蔵情報: loading…
8.

図書

図書
Setsuo Arikawa, Koichi Furukawa (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1721 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
出版情報: Berlin : Springer, c1999  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1738
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
Dynamic Compressed Hyperoctrees with Application to the N-body Problem / Srinivas Aluru ; Fatih E. Sevilgen
Largest Empty Rectangle among a Point Set / Jeet Chaudhuri ; Subhas C. Nandy
Session 1(b)
Renaming Is Necessary in Timed Regular Expressions / Philippe Herrmann
Product Interval Automata: A Subclass of Timed Automata / Deepak D'Souza ; P. S. Thiagarajan
Session 2(a)
The Complexity of Rebalancing a Binary Search Tree / Rolf Fagerberg
Fast Allocation and Deallocation with an Improved Buddy System / Erik D. Demaine ; Ian J. Munro
Session 2(b)
Optimal Bounds for Transformations of ω-Automata / Christof Löding
CTL+ Is Exponentially More Succinct than CTL / Thomas Wilke
A Top-Down Look at a Secure Message / Martín Abadi ; Cédric Fournet ; Georges Gonthier
Session
Explaining Updates by Minimal Sums / Jürgen Dix ; Karl Schlechta
A Foundation for Hybrid Knowledge Bases / James J. Lu ; Neil V. Murray ; Erik Rosenthal
Hoare Logic for Mutual Recursion and Local Variables / David von Oheimb
Explicit Substitutions and Programming Languages / Jean-Jacques Lévy ; Luc Maranget
Session 5(a)
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings / Luca Becchetti ; Miriam Di Ianni ; Alberto Marchetti-Spaccamela
A Randomized Algorithm for Flow Shop Scheduling / Naveen Garg ; Sachin Jain ; Chaitanya Swamy
Session 5(b)
Synthesizing Distributed Transition Systems from Global Specifications / Ilaria Castellani ; Madhavan Mukund
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata / Supratik Mukhopadhyay ; Andreas Podelski
Implicit Temporal Query Languages: Towards Completeness / Nicole Bidoit ; Sandra de Amo
On the Undecidability of Some Sub-classical First-Order Logics / Matthias Baaz ; Agata Ciabattoni ; Christian Fermüller ; Helmut Veith
How to Compute with DNA* / Lila Kari ; Mark Daley ; Greg Gloor ; Rani Siromoney ; Laura F. Landweber
Session 7(a)
A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles / L. Sunil Chandran
Protecting Facets in Layered Manufacturing / Jörg Schwerdt ; Michiel Smid ; Ravi Janardan ; Eric Johnson ; Jayanth Majhi
Session 7(b)
The Receptive Distributed π-Calculus (Extended Abstract) / Roberto M. Amadio ; Gérard Boudol ; Cédric Lhoussaine
Series and Parallel Operations on Pomsets / Zoltán Ésik ; Satoshi Okawa
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus / Achour Mostéfaoui ; Michel Raynal
Graph Isomorphism: Its Complexity and Algorithms / Seinosuke Toda
Session 9(a)
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables / Martin Sauerhoff
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extended Abstract) / Detlef Sieling
Session 9(b)
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems / Michael Huth
Graded Modalities and Resource Bisimulation / Flavio Corradini ; Rocco De Nicola ; Anna Labella
Session 10(a)
The Non-recursive Power of Erroneous Computation / Christian Schindelhauer ; Andreas Jakoby
Analysis of Quantum Functions (Preliminary Version) / Tomoyuki Yamakami
Session 10(b)
On Sets Growing Continuously / Bernhard Heinemann
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) / Ron van der Meyden ; Nikolay V. Shilov
FST&TCS - ISAAC Joint Session Talks
The Engineering of Some Bipartite Matching Programs / Kurt Mehlhorn
Author Index
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
10.

図書

図書
P.S. Thiagarajan, R. Yap (eds.)
出版情報: Berlin : Springer, c1999  xi, 395 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1742
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond
Emerging Application Domains and the Computing Fabric / K. V. Palem
Regular Papers
The Game of the Name in Cryptographic Tables / R. M. Amadio ; S. Prasad
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs / T. Calamoneri ; I. Finocchi ; Y. Manoussakis ; R. Petreschi
Rapid Prototyping Techniques for Fuzzy Controllers / C. Chantrapornchai ; S. Tongsima ; E. Sha
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments / I. Chung ; C.-S. Hwang
Observable Sharing for Functional Circuit Description / K. Claessen ; D. Sands
Relating May and Must Testing Semantics for Discrete Timed Process Algebras / L. F. L. Díaz ; D. de Frutos Escrig
A Framework for Formal Reasoning about Open Distributed Systems / a. Fredlund ; D. Gurov
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic / D. Galmiche ; D. Larchey-Wendling
Verifying Probabilistic Programs Using a Hoare like Logic / J. I. den Hartog
An Expressive Extension of TLC / J. G. Henriksen
Completeness and Decidability of a Fragment of Duration Calculus with Iteration / D. V. Hung ; D. P. Guelev
Logical Relations in Circuit Verification / M. Indrika
Lemma Generalization and Non-unit Lemma Matching for Model Elimination / K. Iwanuma ; K. Kishino
On Automating Inductive and Non-inductive Termination Methods / F. Kamareddine ; F. Monin
Asynchronous Links in the PBC and M-Nets / H. Klaudel ; F. Pommereau
Demand-Driven Model Checking for Context-Free Processes / J. Knoop
Programming the Mobility Behaviour of Agents by Composing Itineraries / S. W. Loke ; H. Schmidt ; A. Zaslavsky
Faster Model Checking for Open Systems / M. Mukund ; K. N. Kumar ; S. A. Smolka
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance / E. Nantajeewarawat ; V. Wuwongse
Entailment of Non-structural Subtype Constraints / J. Niehren ; T. Priesnitz
A CPS-Transform of Constructive Classical Logic / I. Ogata
Formal Verification of the MCS List-Based Queuing Lock / K. Ogata ; K. Futatsugi
BDD-Nodes Can Be More Expressive / F. Reffel
Formal Verification of Descriptions with Distinct Order of Memory Operations / G. Ritter ; H. Hinrichsen ; H. Eveking
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs / A. Roychoudhury ; C. R. Ramakrishnan ; I. V. Ramakrishnan
Separators Are as Simple as Cutsets / A. Seth ; H. Shen ; K. Li ; S.-Q. Zheng
Ant Colony Optimization for the Ship Berthing Problem / C. J. Tong ; H. C. Lau ; A. Lim
Poster Session Abstracts
Security Modeling and Evaluation for the Mobile Code Paradigm / A. H. W. Chan ; M. R. Lyu
CASA - Structured Design of a Specification Language for Intelligent Agents / S. Flake ; C. Geiger
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks / J.-M. Gil
Programming with Explicit Regions / K. Kagawa
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic / M. Majster-Cederbaum ; F. Salger
Formal Verification of Secret Sharing Protocol Using Coq / K. M. Yew ; M. Z. Rahman ; S. P. Lee
Deduction in Logic of Association Rules / N. D. Quang ; J. Rauch
Asynchronous Migration in Parallel Genetic Programming / S. Tongchim ; P. Chongstitvatana
Verification Results for a Multimedia Protocol / T. Tsang ; R. Lai
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks / Q. Yu ; D. B. Hoang
Author Index
Invited Talks
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond
Emerging Application Domains and the Computing Fabric / K. V. Palem
11.

図書

図書
Setsuo Arikawa, Hiroshi Motoda (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1532 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Philosophical Aspects of Scientific Discovery : A Historical Survey / Keiichi Noé
Learning, Mining, or Modeling? A Case Study from Paleoecology / Heikki Mannila ; Hannu Toivonen ; Atte Korhola ; Heikki Olander
The Computer-Aided Discovery of Scientific Knowledge / Pat Langley
On Classification and Regression / Shinichi Morishita
Knowledge Discovery in Biological and Chemical Domains / Stephen Muggleton
Random Case Analysis of Inductive Learning Algorithms / Kuniaki Uehara
On Variants of Iterative Learning / Steffen Lange ; Gunter Grieser
Uniform Characterizations of Polynomial-Query Learnabilities / Yosuke Hayashi ; Satoshi Matsumoto ; Ayumi Shinohara ; Masayuki Takeda
Inferring a Rewriting System from Examples / Yasuhito Mukouchi ; Ikuyo Yamaue ; Masako Sato
Toward Genomic Hypothesis Creator: View Designer for Discovery / Osamu Maruyama ; Tomoyuki Uchida ; Takayoshi Shoudai ; Satoru Miyano
Visualization of Community Knowledge Interaction Using Associative Rep-resentation / Takashi Hirata ; Harumi Maeda ; Toyoaki Nishida
Discovering Characteristic Patterns from Collections of Classical Japanese Poems / Mayumi Yamasaki ; Tomoko Fukuda ; Ichirō Nanri
Approximate Retrieval of High-dimensional Data by Spatial Indexing / Takeshi Shinohara ; Jiyuan An ; Hiroki Ishizaka
Practical Algorithms for On-line Sampling / Carlos Domingo ; Ricard Gavaldà ; Osamu Watanabe
Discovering Conceptual Differences among People from Cases / Tetsuya Yoshida ; Teruyuki Kondo
Discovery of Unknown Causes from Unexpected Co-occurrence of Inferred Known Causes / Yukio Ohsawa ; Masahiko Yachida
Refining Search Expression by Discovering Hidden User's Interests / Wataru Sunayama ; Yuji Nomura
The Discovery of Rules from Brain Images / Hiroshi Tsukimoto ; Chie Morita
Instance Guided Rule Induction / Nobuhiro Yugami ; Yuiko Ohta ; Seishi Okamoto
Learning with Globally Predictive Tests / Michael J. Pazzani
Query-Initiated Discovery of Interesting Association Rules / Jongpil Yoon ; Larry Kerschberg
Boosting Cost-Sensitive Trees / Kai Ming Ting ; Zijian Zheng
On the Boosting Algorithm for Multiclass Functions based on Information-Theoretic Criterion for Approximation / Eiji Takimoto ; Akira Maruoka
The Continuous-Function Attribute Class in Decision Tree Induction / Michael Boronowsky
Feature Transformation and Multivariate Decision Tree Induction / Huan Liu ; Rudy Setiono
Formal Logics of Discovery and Hypothesis Formation by Machine / Petr Hájek ; Martin Holeňa
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses / Kimihito Ito ; Akihiro Yamamoto
On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion / Koichi Furukawa
Biochemical Knowledge Discovery Using Inductive Logic Programming / Ashwin Srinivasan ; R.D. King ; M.J.E. Sternberg
Computational Characteristics of Law Discovery Using Neural Networks / Ryohei Nakano ; Kazumi Saito
Development of SDS2: Smart Discovery System for Simultaneous Equation Systems / Takashi Washio ; Hiroshi Motoda
Discovery of Differential Equations from Numerical Data / Koichi Niijima ; Hidemi Uchida ; Eiju Hirowatari ; Setsuo Arikawa
Automatic Transaction of Signal via Statistical Modeling / Genshiro Kitagawa ; Tomoyuki Higuchi
Empirical Comparison of Competing Query Learning Methods / Naoki Abe ; Hiroshi Mamitsuka ; Atsuyoshi Nakamura
Abstracting a Human's Decision Process by PRISM / Yoshitaka Kameya ; Taisuke Sato
Mechanisms of Self-Organized Renormalizability / Hiroshi H. Hasegawa ; Yoshikazu Ohtaki
An Efficient Tool for Discovering Simple Combinatorial Patterns from Large Text Databases / Hiroki Arimura ; Atsushi Wataki ; Ryoichi Fujino ; Shinichi Shimozono
A Similarity Finding System under a Goal Concept / Makoto Haraguchi ; Tokuyasu Kakuta
Parallel Induction Algorithms for Large Samples / Tohgoroh Matsui ; Nobuhiro Inuzuka ; Hirohisa Seki ; Hidenori Itoh
Toward Effective Knowledge Acquisition with First Order Logic Induction / Xiaolong Zhang ; Tetsuo Narita ; Masayuki Numao
A Logic of Discovery / Jānis Bārzdiņ&sbreve; ; Rūsiņš Freivalds ; Carl H. Smith
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery / Jingde Cheng
Four-Fold Table Calculi for Discovery Science / Jan Ranch
Parallel Organization Algorithm for Graph Matching and Subgraph Isomorphism Detection / Yoshinori Nakanishi
Visualizing Semantic Clusters in the Internet Information Space / Etsuya Shibayama ; Jun Yabe ; Shin Takahashi ; Mitsuru Matsuda
KN on ZK - Knowledge Network on Network Note Pad ZK / Sachio Hirokawa ; Tsuyoshi Taguchi
Virtual Integration of Distributed Database by Multiple Agents / Takao Mohri ; Yuji Takada
Development of Some Methods and Tools for Discovering ConceptualKnowledge / Tu Bao Ho ; Trong Dung Nguyen ; Ngoc Binh Nguyen ; Takuya Ito
Reducing the Dimensions of Attributes by Selection and Aggregation / Akiko Aizawa
On the Number of Clusters in Cluster Analysis / Atsuhiro Takasu
Geometric Clustering Models in Feature Space / Mary Inaba ; Hiroshi Imai
Efficient Mining of Association Rules with Item Constraints / Shin-Mu Tseng
GDT-RS: A Probabilistic Rough Induction Approach / Juzhen Dong ; Ning Zhong ; Setsuo Ohsuga
A Constructive Fuzzy NGE Learning System / Maria do Carmo Nicoletti ; Flavia Oliveira Santos
Composing Inductive Applications Using Ontologies for Machine Learning / Akihiro Suyama ; Naoya Negishi ; Takahira Yamagchi
TDDA, a Data Mining Tool for Text Databases: A Case History in a Lung Cancer Text Database / Jeffrey A. Goldman ; Wesley Chu ; D. Stott Parker ; Robert M. Goldman
Crowww Classification and Retrieval on WWW / Phyllis Anwyl ; Atsushi Itoh ; Ayako Oono
Extracting Knowledge Patterns from Ticket Data / Maria de Fatima Rodrigues ; Carlos Ramos ; Pedro Rangel Henriques
Automatic Acquisition of Phoneme Models and Its Application to Phoneme Labeling of a Large Size of Speech Corpus / Motoyuki Suzuki ; Teruhiko Maeda ; Hiroki Mori ; Shozo Makino
An Experimental Agricultural Data Mining System / Kazunori Matsumoto
Data Mining Oriented System for Business Applications / Yukinobu Hamuro ; Naoki Katoh ; Katsutoshi Yada
Moving Object Recognition Using Wavelets and Learning of Eigenspaces / Shigeru Takano ; Teruya Minamoto
Search for New Methods for Assignment of Complex Molecular Spectra and a Program Package for Simulation of Molecular Spectra / Takehiko Tanaka ; Takashi Imajo
Computer Aided Hypotheses Based Drug Discovery Using CATALYSTRTM and PC GUHA Software Systems (A Case Study of Catechol Analogs Against Malignant Melanoma) / Jaroslava Halova ; Oldrich Strouf ; Premysl Zak ; Anna Sochorova ; Noritaka Uchida ; Hiroshi Okimoto ; Tomoaki Yuzuri ; Kazuhisa Sakakibara ; Minora Hirota
Knowledge Discovery through the Navigation Inside the Human Body / Toyofumi Saito ; Jun-ichiro Toriwaki ; Kensaku Mori
Application of Discovery Science to Solar-Terrestrial Physics / Tohru Araki ; Toshihiko Iyemori ; Masahito Nose ; Takaaki Wada ; Yoshifumi Futaana ; Genta Ueno ; Toyohisa Kamei ; Akinori Saito
Incorporating a Navigation Tool into a WWW Browser / Hiroshi Sawai ; Hayato Ohwada ; Fumio Mizoguchi
Author Index
Philosophical Aspects of Scientific Discovery : A Historical Survey / Keiichi Noé
Learning, Mining, or Modeling? A Case Study from Paleoecology / Heikki Mannila ; Hannu Toivonen ; Atte Korhola ; Heikki Olander
The Computer-Aided Discovery of Scientific Knowledge / Pat Langley
12.

図書

図書
Claude Puech, Rüdiger Reischuk (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1996  xii, 690 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1046
所蔵情報: loading…
13.

図書

図書
Juraj Hromkovic̆, Ondrej Sýkora (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  x, 383 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1517
所蔵情報: loading…
目次情報: 続きを見る
Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width / B. Courcelle ; J.A. Makowsky ; U. Rotics
Minus Domination in Small-Degree Graphs / Peter Damaschke
The Vertex-Disjoint Triangles Problem / V. Guruswami ; C.P. Rangan ; M.S. Chang ; G.J. Chang ; C.K. Wong
Communication in the Two-Way Listen-in Vertex-disjoint Paths Mode / Hans-Joachim Böckenhauer
Broadcasting on Anonymous Unoriented Tori / S. Dobrev ; P. Ru icka
Families of Graphs Having Broadcasting and Gossiping Properties / Guillaume Fertin ; André Raspaud
Optical All-to-All Communication in Inflated Networks / Olivier Togni
A Generalization of AT-free Graphs and a Generic Algorithm for Sol- ving Treewidth, Minimum Fill-In and Vertex Ranking / Hajo Broersma ; Ton Kloks ; Dieter Kratsch ; Haiko Müller
A Polynomial-Time Algorithm for Finding Total Colorings of Partial k-Trees / Shuji Isobe ; Xiao Zhou ; Takao Nishizeki
Rankings of Directed Graphs / Jan Kratochv'il ; Zsolt Tuza
Drawing Planar Partitions II: HH-Drawings / Therese Biedl ; Michael Kaufmann ; Petra Mutzel
Triangles in Euclidean Arrangements / Stefan Felsner ; Klaus Kriegel
Internally Typed Second-OrderTerm Graphs / Wolfram Kahl
Compact Implicit Representation of Graphs / Maurizio Talamo ; Paola Vocca
Graphs with Bounded Induced Distance / Serafino Cicerone ; Gabriele Di Stefano
Diameter Determination on Restricted Graph Families / Derek G. Corneil ; Feodor F. Dragan ; Michel Habib ; Christophe Paul
Independent Tree Spanners / Dagmar Handke
Upgrading Bottleneck Constrained Forests / S. O. Krumke ; M. V. Marathe ; H. Noltemeier ; S. S. Ravi ; H.-C. Wirth
Routing in Recursive Circulant Graphs: Edge Forwarding Index and Hamiltonian Decomposition / G. Gauyacq ; C. Micheneau ; A. Raspaud
Improved Compressions of Cube-Connected Cycles Networks / Ralf Klasing
Efficient Embeddings of Grids into Grids / Markus Röttger ; Ulf-Peter Schroeder
Integral Uniform Flows in Symmetric Networks / Farhad Shahrokhi ; László A. Székely
Splitting Number is NP-complete / L. Faria ; C. M. H. de Figueiredo ; C. F. X. Mendonça
Tree Spanners in Planar Graphs / Sandor P. Fekete ; Jana Kremer
A Linear-Time Algorithm to Find Four Independent Spanning Trees in Four-Connected Planar Graphs / Kazuyuki Miura ; Daishiro Takahashi ; Shin-ichi Nakano
Linear Algorithms for a k-partition Problem of Planar Graphs without Specifying Bases / Koichi Wada ; Wei Chen
Domination and Steiner Tree Problems on Graphs with Few P4s / Luitpold Babel ; Stephan Olariu
Minimum Fill-in and Treewidth for Graphs Modularly Decomposable into Chordal Graphs / Elias Dahlhaus
Interval Completion with the Smallest Max-degree / Fedor V. Fomin ; Petr A. Golovach
An Estimate of the Tree-Width of a Planar Graph Which Has Not a Given Planar Grid as a Minor / K.Yu. Gorbunov
Author Index
Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width / B. Courcelle ; J.A. Makowsky ; U. Rotics
Minus Domination in Small-Degree Graphs / Peter Damaschke
The Vertex-Disjoint Triangles Problem / V. Guruswami ; C.P. Rangan ; M.S. Chang ; G.J. Chang ; C.K. Wong
14.

図書

図書
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 471 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: loading…
15.

図書

図書
Tao Jiang, D.T. Lee (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xii, 522 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1276
所蔵情報: loading…
16.

図書

図書
Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
出版情報: Berlin : Springer-Verlag, c1996  xvii, 446 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1181
所蔵情報: loading…
17.

図書

図書
Fabrizio d'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xi, 410 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1197
所蔵情報: loading…
18.

図書

図書
Rüdiger Reischuk, Michel Morvan (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xiii, 614 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1200
所蔵情報: loading…
19.

図書

図書
Ding-Zhu Du, Ming Li (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  xiii, 654 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 959
所蔵情報: loading…
20.

図書

図書
Manfred Nagl (ed.)
出版情報: Berlin ; Tokyo : Springer, c1995  xi, 406 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1017
所蔵情報: loading…
21.

図書

図書
Hans Kleine Büning, (ed.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 485 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1092
所蔵情報: loading…
22.

図書

図書
Jin-Yi Cai, Chak Kuen Wong, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  x, 419 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1090
所蔵情報: loading…
23.

図書

図書
Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  ix, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1120
所蔵情報: loading…
24.

図書

図書
P. Enjalbert, E.W. Mayr, K.W. Wagner, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xiv, 782 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 775
所蔵情報: loading…
25.

図書

図書
Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 394 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 776
所蔵情報: loading…
26.

図書

図書
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995  viii, 221 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 909
所蔵情報: loading…
27.

図書

図書
Leszek Pacholski, Jerzy Tiuryn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  ix, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 933
所蔵情報: loading…
28.

図書

図書
Ernst W. Mayr, Claude Puech (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1995  xiii, 654 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 900
所蔵情報: loading…
29.

図書

図書
Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer (eds.)
出版情報: Berlin : Springer, c1995  ix, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 903
所蔵情報: loading…
30.

図書

図書
Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete, (eds.)
出版情報: Berlin : Springer, c1995  ix, 523 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 911
所蔵情報: loading…
31.

図書

図書
Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 336 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 832
所蔵情報: loading…
32.

図書

図書
Jan van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  ix, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 790
所蔵情報: loading…
33.

図書

図書
R.K. Shyamasundar (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xiv, 453 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 761
所蔵情報: loading…
34.

図書

図書
P. Enjalbert, A. Finkel, K.W. Wagner (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xiv, 723 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 665
所蔵情報: loading…
35.

図書

図書
E. Börger ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 439 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 702
所蔵情報: loading…
36.

図書

図書
I. Simon (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 544 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 583
所蔵情報: loading…
37.

図書

図書
G. Schmidt, R. Berghammer (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  viii, 252 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 570
所蔵情報: loading…
38.

図書

図書
A. Finkel, M. Jantzen (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xiv, 620 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 577
所蔵情報: loading…
39.

図書

図書
C. Choffrut, M. Jantzen, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 548 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 480
所蔵情報: loading…
40.

図書

図書
S.G. Akl, F. Fiala, W.W. Koczkodaj (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990  vii, 529 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 468
所蔵情報: loading…
41.

図書

図書
A. Fuhrmann, M. Morreau, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 334 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 465 . Lecture notes in artificial intelligence
所蔵情報: loading…
42.

図書

図書
E. Börger ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992  viii, 428 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 626
所蔵情報: loading…
43.

図書

図書
A. Bensoussan, J.-P. Verjus (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xv, 371 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 653
所蔵情報: loading…
44.

図書

図書
R. Shyamasundar (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xiii, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 652
所蔵情報: loading…
45.

図書

図書
E. Börger ... [et al.], eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 399 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 533
所蔵情報: loading…
46.

図書

図書
R.H. Möhring, ed
出版情報: Berlin ; New York : Springer-Verlag, c1991  ix, 358 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 484
所蔵情報: loading…
47.

図書

図書
Arndt Bode, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xi, 506 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 487
所蔵情報: loading…
48.

図書

図書
F. Dehne, F. Fiala, W.W. Koczkodaj, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 744 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 497
所蔵情報: loading…
49.

図書

図書
E.W. Mayr, ed
出版情報: Berlin ; New York : Springer-Verlag, c1993  viii, 349 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 657
所蔵情報: loading…
50.

図書

図書
H. Maurer (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 402 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 555
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼