close
1.

図書

図書
Herwig Unger, Thomas Böhme, Armin Mikler (eds.)
出版情報: Berlin : Springer, c2002  viii, 249 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2346
所蔵情報: loading…
2.

図書

図書
Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2509
所蔵情報: loading…
3.

図書

図書
Alon Halevy, Avigdor Gal (eds.)
出版情報: Berlin : Springer, c2002  viii, 168 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2382
所蔵情報: loading…
4.

図書

図書
Sven Koenig, Robert C. Holte (eds.)
出版情報: Berlin : Springer, c2002  xi, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2371 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Oscar H. Ibarra, Louxin Zhang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 606 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2387
所蔵情報: loading…
6.

図書

図書
Helmut Alt, Afonso Ferreira (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 660 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2285
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Hyper-Encryption and Everlasting Security / Y.Z. Ding ; M.O. Rabin
Models and Techniques for Communication in Dynamic Networks / C. Scheideler
What Is a Theory? / G. Dowek
Algorithms
A Space Lower Bound for Routing in Trees / P. Fraigniaud ; C. Gavoille
Labeling Schemes for Dynamic Tree Networks / A Korman ; D. Peleg ; Y. Rodeh
Tight Bounds for the Performance of Longest-in-System on DAGs / M. Adler ; A. Rosén
Approximate Strong Separation with Application in Fractional Graph Coloring and Preemptive Scheduling / K. Jansen
Balanced Coloring: Equally Easy for All Numbers of Colors? / B. Doerr
The Complexity of Graph Isomorphism for Colored Graphs with Color Classes of Size 2 and 3 / J. Köbler ; J. Torán
On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets / E. Boros ; V. Gurvich ; L. Khachiyan ; K. Makino
On Dualization in Products of Forests / K.M. Elbassioni
An Asymptotic <$>{\cal O}<$>(ln ρ/ ln ln ρ)-Approximation Algorithm for the Scheduling Problem with Duplication on Large Communication Delay Graphs / R. Lepere ; C. Rapine
Scheduling at Twilight the Easy Way / H. Bast
Complexity of Multi-dimensional Loop Alignment / A. Darte ; G. Huard
A Probabilistic 3-SAT Algorithm Further Improved / T. Hofmeister ; U. Schöning ; R. Schuler ; O. Watanabe
The Secret of Selective Game Tree Search, When Using Random-Error Evaluations / U. Lorenz ; B. Monien
Randomized Acceleration of Fundamental Matrix Computations / V.Y. Pan
Approximations for ATSP with Parametrized Triangle Inequality / L. Sunil Chandran ; L. Shankar Ram
A New Diagram from Disks in the Plane / J. Giesen ; M. John
Computing the Maximum Detour and Spanning Ratio of Planar Paths, Trees, and Cycles / S. Langerman ; P. Morin ; M. Soss
Current Challenges
On the Parameterized Intractability of Closest Substring and Related Problems / M.R. Fellows ; J. Gramm ; R. Niedermeier
On the Complexity of Protein Similarity Search under mRNA Structure Constraints / R. Backofen ; N.S. Narayanaswamy ; F. Swidan
Pure Dominance Constraints / M. Bodirsky ; M. Kutz
Improved Quantum Communication Complexity Bounds for Disjointness and Equality / P. Høyer ; R. de Wolf
On Quantum Computation with Some Restricted Amplitudes / H. Nishimura
A Quantum Goldreich-Levin Theorem with Cryptographic Applications / M. Adcock ; R. Cleve
On Quantum and Approximate Privacy / H. Klauck
On Quantum Versions of the Yao Principle / M. de Graaf
Computational and Structural Complexity
Describing Parameterized Complexity Classes / J. Flum ; M. Grohe
On the Computational Power of Boolean Decision Lists / M. Krause
How Many Missing Answers Can Be Tolerated by Query Learners? / H.U. Simon
Games with a Uniqueness Property / S. Aida ; M. Crasmaru ; K. Regan
Bi-Immunity Separates Strong NP-Completeness Notions / A. Pavan ; A.L. Selman
Complexity of Semi-algebraic Proofs / D. Grigoriev ; E.A. Hirsch ; D.V. Pasechnik
A Lower Bound Technique for Restricted Branching Programs and Applications / P. Woelfel
The Complexity of Constraints on Intervals and Lengths / A. Krokhin ; P. Jeavons ; P. Jonsson
Automata and Formal Languages
Nesting Until and Since in Linear Temporal Logic / D. Thérien ; T. Wilke
Comparing Verboseness for Finite Automata and Turing Machines / T. Tantau
On the Average Parallelism in Trace Monoids / D. Krob ; J. Mairesse ; I. Michos
A Further Step towards a Theory of Regular MSC Languages / D. Kuske
Existential and Positive Theories of Equations in Graph Products / V. Diekert ; M. Lohrey
The Membership Problem for Regular Expressions with Intersection Is Complete in LOGCFL / H. Petersen
Recognizable Sets of Message Sequence Charts / R. Morin
Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard / J. Srba
On the Enumerative Sequences of Regular Languages on k Symbols / M.-P. Béal ; D. Perrin
Logic in Computer Science
Ground Tree Rewriting Graphs of Bounded Tree Width / C. Löding
Timed Control Synthesis for External Specifications / D. D'Souza ; P. Madhusudan
Axiomatizing GSOS with Termination / J.C.M. Baeten ; E.P. de Vink
Axiomatising Tree-Interpretable Structures / A. Blumensath
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity / E. Kieroński
A Parametric Analysis of the State Explosion Problem in Model Checking / S. Demri ; F. Laroussinie ; P. Schnoebelen
Generalized Model-Checking over Locally Tree-Decomposable Classes / M. Frick
Learnability and Definability in Trees and Similar Structures / G. Turán
Author Index
Invited Papers
Hyper-Encryption and Everlasting Security / Y.Z. Ding ; M.O. Rabin
Models and Techniques for Communication in Dynamic Networks / C. Scheideler
7.

図書

図書
Setsuo Arikawa, Ayumi Shinohara (eds.)
出版情報: Berlin ; New York : Springer, c2002  xiv, 684 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2281 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Searching for Mutual Exclusion Algorithms Using BDDs / Koichi Takahashi ; Masami Hagiya
Reducing Search Space in Solving Higher-Order Equations / Tetsuo Ida ; Mircea Marin ; Taro Suzuki
The Structure of Scientific Discovery: From a Philosophical Point of View / Keiichi Noé
Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert / Mitsuhiro Okada
Theory of Judgments and Derivations / Masahiko Sato
Efficient Data Mining from Large Text Databases / Hiroki Arimura ; Hiroshi Sakamoto ; Setsuo Arikawa
A Computational Model for Children's Language Acquisition Using Inductive Logic Programming / Ikuo Kobayashi ; Koichi Furukawa ; Tomonobu Ozaki ; Mutsumi Imai
Some Criterions for Selecting the Best Data Abstractions / Makoto Haraguchi ; Yoshimitsu Kudoh
Discovery of Chances Underlying Real Data / Yukio Ohsawa
Towards the Integration of Inductive and Nonmonotonic Logic Programming / Chiaki Sakama
EM Learning for Symbolic-Statistical Models in Statistical Abduction / Taisuke Sato
Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns / Masako Sato ; Yasuhito Mukouchi ; Mikiharu Terada
Constructing a Critical Casebase to Represent a Lattice-Based Relation / Ken Satoh
On Dimension Reduction Mappings for Approximate Retrieval of Multi-dimensional Data / Takeshi Shinohara ; Hiroki Ishizaka
Rule Discovery from fMRI Brain Images by Logical Regression Analysis / Hiroshi Tsukimoto ; Mitsuru Kakimoto ; Chie Morita ; Yoshiaki Kikuchi
A Theory of Hypothesis Finding in Clausal Logic / Akihiro Yamamoto ; Bertram Fronhöfer
Efficient Data Mining by Active Learning / Hiroshi Mamitsuka ; Naoki Abe
Data Compression Method Combining Properties of PPM and CTW / Takumi Okazaki ; Kunihiko Sadakane ; Hiroshi Imai
Discovery of Definition Patterns by Compressing Dictionary Sentences / Masatoshi Tsuchiya ; Sadao Kurohashi ; Satoshi Sato
On-Line Algorithm to Predict Nearly as Well as the Best Pruning of a Decision Tree / Akira Maruoka ; Eiji Takimoto
Finding Best Patterns Practically / Ayumi Shinohara ; Masayuki Takeda ; Masahiro Hirao ; Hiromasa Hoshino ; Shunsuke Inenaga
Classification of Object Sequences Using Syntactical Structure / Atsuhiro Takasu
Top-Down Decision Tree Boosting and Its Applications
Extraction of Primitive Motion and Discovery of Association Rules from Human Motion Data / Kuniaki Uehara ; Mitsuomi Shimada
Algorithmic Aspects of Boosting / Osamu Watanabe
Automatic Detection of Geomagnetic Jerks by Applying a Statistical TimeSeries Model to Geomagnetic Monthly Means / Hiromichi Nagao ; Tomoyuki Higuchi ; Toshihiko Iyemori ; Tohru Araki
Application of Multivariate Maxwellian Mixture Model to Plasma Velocity Distribution / Genta Ueno ; Nagatomo Nakamura ; Takashi Tsuchiya ; Shinobu Machida
Inductive Thermodynamics from Time Series Data Analysis / Hiroshi H. Hasegawa ; Takashi Washio ; Yukari Ishimiya
Mining of Topographic Feature from Heterogeneous Imagery and Its Application to Lunar Craters / Rie Honda ; Yuichi Iijima ; Osamu Konishi
Application of Neural Network Technique to Combustion Spray Dynamics Analysis / Yuji Ikeda ; Dariusz Mazurkiewicz
Computational Analysis of Plasma Waves and Particles in the Auroral Region Observed by Scientific Satellite / Yoshiya Kasahara ; Ryotaro Niitsu ; Toru Sato
A Flexible Modeling of Global Plasma Profile Deduced from Wave Data / Yoshitaka Goto
Extraction of Signal from High Dimensional Time Series: Analysis of Ocean Bottom Seismograph Data / Genshiro Kitagawa ; Tetsuo Takanami ; Asako Kuwano ; Yoshio Murai ; Hideki Shimamura
Foundations of Designing Computational Knowledge Discovery Processes / Yoshinori Tamada ; Hideo Bannai ; Osamu Maruyama ; Satoru Miyano
Computing Optimal Hypotheses Efficiently for Boosting / Shinichi Morishita
Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables / Ryohei Nakano ; Kazumi Saito
Finding of Signal and Image by Integer-Type Haar Lifting Wavelet Transform / Koichi Niijima ; Shigeru Takano
In Pursuit of Interesting Patterns with Undirected Discovery of Exception Rules / Einoshin Suzuki
Mining from Literary Texts: Pattern Discovery and Similarity Computation / Tomoko Fukuda ; Ichirō Nanri
Second Difference Method Reinforced by Grouping: A New Tool for Assistance in Assignment of Complex Molecular Spectra / Takehiko Tanaka
Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets / Shusaku Tsumoto
Toward the Discovery of First Principle Based Scientific Law Equations / Hiroshi Motoda
A Machine Learning Algorithm for Analyzing String Patterns Helps to Discover Simple and Interpretable Business Rules from Purchase History / Yukinobu Hamuro ; Hideki Kawata ; Naoki Katoh ; Katsutoshi Yada
Constructing Inductive Applications by Meta-Learning with Method Repositories / Hidenao Abe ; Takahira Yamaguchi
Knowledge Discovery from Semistructured Texts
Packet Analysis in Congested Networks / Masaki Fukushima ; Shigeki Goto
Visualization and Analysis of Web Graphs / Sachio Hirokawa ; Daisuke Ikeda
Knowledge Discovery in Auto-tuning Parallel Numerical Library / Hisayasu Kuroda ; Takahiro Katagiri ; Yasumasa Kanada
Extended Association Algorithm Based on ROC Analysis for Visual Information Navigator / Hiroyuki Kawano ; Minoru Kawahara
WWW Visualization Tools for Discovering Interesting Web Pages / Hironori Hiraishi ; Fumio Mizoguchi
Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet / Etsuya Shibayama ; Masashi Toyoda ; Jun Yabe ; Shin Takahashi
Meme Media for Re-editing and Redistributing Intellectual Assets and Their Application to Interactive Virtual Information Materialization / Yuzuru Tanaka
Author Index
Searching for Mutual Exclusion Algorithms Using BDDs / Koichi Takahashi ; Masami Hagiya
Reducing Search Space in Solving Higher-Order Equations / Tetsuo Ida ; Mircea Marin ; Taro Suzuki
The Structure of Scientific Discovery: From a Philosophical Point of View / Keiichi Noé
8.

図書

図書
Sergio Rajsbaum (ed.)
出版情報: Berlin : Springer, c2002  xiii, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2286
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks and Tutorials
Phase Transitions in Computer Science / Jennifer Chayes
The Internet, the Web, and Algorithms / Christos H. Papadimitriou
Erd&odacute;s Magic / Joel Spencer
Open Problems in Computational Geometry / Jorge Urrutia
Quantum Algorithms / Umesh Vazirani
Testing and Checking of Finite State Systems / Mihalis Yannakakis
From Algorithms to Cryptography / Fabrizio Luccio ; Linda Pagli
Dihomotopy as a Tool in State Space Analysis / Éric Goubault ; Martin Raussen
Regular Contributions
Algorithms for Local Alignment with Length Constraints / Abdullah N. Arslan ; Ömer Eğecioğlu
An Algorithm That Builds a Set of Strings Given Its Overlap Graph / Marília D.V. Braga ; João Meidanis
Conversion between Two Multiplicatively Dependent Linear Numeration Systems / Christiane Frougny
Star Height of Reversible Languages and Universal Automata / Sylvain Lombardy ; Jacques Sakarovitch
Weakly Iterated Block Products of Finite Monoids / Howard Straubing ; Denis Thérien
The Hidden Number Problem in Extension Fields and Its Applications / María Isabel González Vasco ; Mats Näslund ; Igor E. Shparlinski
The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves / Theodoulos Garefalakis
Random Partitions with Non Negative rth Differences / Rod Canfield ; Sylvie Corteel ; Pawel Hitczenko
Beta-Expansions for Cubic Pisot Numbers / Frédérique Bassino
Facility Location Constrained to a Polygonal Domain / Prosenjit Bose ; Qingda Wang
A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three / Hanno Lefmann ; Niels Schmitt
A Metric Index for Approximate String Matching / Edgar Chávez ; Gonzalo Navarro
On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm / Wojciech Rytter
On the Power of BFS to Determine a Graphs Diameter / Derek G. Corneil ; Feodor F. Dragan ; Ekkehard Köhler
k-pseudosnakes in Large Grids / Martín Matamala ; Erich Prisner ; Ivan Rapaport
L(2, 1)-Coloring Matrogenic Graphs / Tiziana Calamoneri ; Rossella Petreschi
Pipeline Transportation of Petroleum Products with No Due Dates / Ruy Luiz Milidiú ; Artur Alves Pessoa ; Eduardo Sany Laber
Ancestor Problems on Pure Pointer Machines / Enrico Pontelli ; Desh Ranjan
Searching in Random Partially Ordered Sets / Renato Carmo ; Jair Donadelli ; Yoshiharu Kohayakawa ; Eduardo Laber
Packing Arrays / Brett Stevens ; Eric Mendelsohn
Generalized Shannon Code Minimizes the Maximal Redundancy / Michael Drmota ; Wojciech Szpankowski
An Improved Algorithm for Sequence Comparison with Block Reversals / S. Muthukrishnan ; S. Cenk &Sbdot;ahinalp
Pattern Matching and Membership for Hierarchical Message Sequence Charts / Blaise Genest ; Anca Muscholl
Improved Exact Algorithms for Max-Sat / Jianer Chen ; Iyad A. Kanj
Characterising Strong Normalisation for Explicit Substitutions / Steffen van Bakel ; Mariangiola Dezani-Ciancaglini
Parameters in Pure Type Systems / Roel Bloo ; Fairouz Kamareddine ; Twan Laan ; Rob Nederpelt
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications / Rūsiņš Freivalds ; Carl H. Smith
Verification of Embedded Reactive Fiffo Systems / Frédéric Herbreteau ; Franck Cassez ; Alain Finkel ; Olivier Roux ; Grégoire Sutre
Electronic Jury Voting Protocols / Alejandro Hevia ; Marcos Kiwi
Square Roots Modulo p / Gonzalo Tornaría
Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities / Goran Konjevod ; Soohyun Oh ; Andréa W. Richa
Signals for Cellular Automata in Dimension 2 or Higher / Jean-Christophe Dubacq ; Véronique Terrier
Holographic Trees / Paolo Boldi ; Sebastiano Vigna
On the Spanning Ratio of Gabriel Graphs and β-skeletons / Luc Devroye ; William Evans ; David Kirkpatrick
In-Place Planar Convex Hull Algorithms / Hervé Brönnimann ; John Iacono ; Jyrki Katajainen ; Pat Morin ; Jason Morrison ; Godfried Toussaint
The Level Ancestor Problem Simplified / Michael A. Bender ; Martín Farach-Colton
Flow Metrics / Claudson F. Bornstein ; Santosh Vempala
On Logical Descriptions of Regular Languages
Computing Boolean Functions from Multiple Faulty Copies of Input Bits / Mario Szegedy ; Xiaomin Chen
Inapproximability Results on Stable Marriage Problems / Magnús Halldórsson ; Kazuo Iwama ; Shuichi Miyazaki ; Yasufumi Morita
Tight Bounds for Online Class-Constrained Packing / Hadas Shachnai ; Tami Tamir
On-line Algorithms for Edge-Disjoint Paths in Trees of Rings / R. Sai Anand ; Thomas Erlebach
Massive Quasi-Clique Detection / James Abello ; Mauricio G.C. Resende ; Sandra Sudarsky
Improved Tree Decomposition Based Algorithms for Domination-like Problems / Jochen Alber ; Rolf Niedermeier
Author Index
Invited Talks and Tutorials
Phase Transitions in Computer Science / Jennifer Chayes
The Internet, the Web, and Algorithms / Christos H. Papadimitriou
9.

図書

図書
Kwangjo Kim (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2288
所蔵情報: loading…
10.

図書

図書
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002  viii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼