close
1.

図書
図書
1. Local search for planning and scheduling : ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 : revised papers
Alexander Nareyek (ed.)
出版情報: Berlin ; New York : Springer, c2001  vi, 169 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2148 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Meta-heuristics: The State of the Art / Stefan Voß
Combinatorial Optimization
Solving the Sports League Scheduling Problem with Tabu Search / Jean-Philippe Hamiez ; Jin-Kao Hao
Lagrange Multipliers for Local Search on Planning Graphs / Alfonso Gerevini ; Ivan Serina
Planning with Resources
Beyond the Plan-Length Criterion / Alexander Nareyek
An Empirical Evaluation of the Effectiveness of Local Search for Replanning / Steve Chien ; Russell Knight ; Gregg Rabideau
Board-Laying Techniques Improve Local Search in Mixed Planning and Scheduling
Empirical Evaluation of Local Search Methods for Adapting Planning Policies in a Stochastic Environment / Barbara Engelhardt
Related Approaches
The GRT Planner: New Results / Ioannis Refanidis ; Ioannis Vlahavas
Incremental Local Search for Planning Problems / Eva Onaindia ; Laura Sebastia ; Eliseo Marzal
Map Drawing Based on a Resource-Constrained Search for a Navigation System / Hironori Hiraishi ; Fumio Mizoguchi
Author Index
Invited Paper
Meta-heuristics: The State of the Art / Stefan Voß
Combinatorial Optimization
2.

図書
図書
2. Algorithms and Computation : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 : proceedings
Peter Eades, Tadao Takaoka (eds.)
出版情報: Berlin : Springer, c2001  xiv, 780 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2223
所蔵情報: loading…
3.

図書
図書
3. Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers
Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov (eds.)
出版情報: Berlin : Springer, c2001  xi, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2179
所蔵情報: loading…
4.

図書
図書
4. Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, July 1-4, 2001 : proceedings
Amihood Amir, Gad M. Landau (eds.)
出版情報: Berlin : Springer, c2001  viii, 271 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2089
所蔵情報: loading…
目次情報: 続きを見る
Regular Expression Searching over Ziv-Lempel Compressed Text / Gonzalo Navarro
Parallel Lempel Ziv Coding (Extended Abstract) / Shmuel Tomi Klein ; Yair Wiseman
Approximate Matching of Run-Length Compressed Strings / Veli Mäkinen ; Esko Ukkonen
What to Do with All this Hardware? (Invited Lecture) / Uzi Vishkin
Efficient Experimental String Matching by Weak Factor Recognition / Cyril Allauzen ; Maxime Crochemore ; Mathieu Raffinot
Better Filtering with Gapped q-Grams / Stefan Burkhardt ; Juha Kärkkäinen
Fuzzy Hamming Distance: A New Dissimilarity Measure (Extended Abstract) / Abraham Bookstein ; Timo Raita
An Extension of the Periodicity Lemma to Longer Periods (Invited Lecture) / Aviezri S. Fraenkel ; Jamie Simpson
A Very Elementary Presentation of the Hannenhalli-Pevzner Theory / Anne Bergeron
Tandem Cyclic Alignment / Gary Benson
An Output-Sensitive Flexible Pattern Discovery Algorithm / Laxmi Parida ; Isidore Rigoutsos ; Dan Platt
Episode Matching / Zdenek Tronícek
String Resemblance Systems: A Unifying Framework for String Similarity with Applications to Literature and Music / Masayuki Takeda
Efficient Discovery of Proximity Patterns with Suffix Arrays (Extended Abstract) / Hiroki Arimura ; Hiroki Asaka ; Hiroshi Sakamoto ; Setsuo Arikawa
On-Line Construction of Compact Directed Acyclic Word Graphs / Jean-Marc Champarnaud ; Djelloul Ziadi ; Shunsuke Inenaga ; Hiromasa Hoshino ; Ayumi Shinohara ; Giancarlo Mauri ; Giulio Pavesi
Linear-Time Longest-Common-Prefix Computation in Suffix Arrays and Its Applications / Toru Kasai ; Gunho Lee ; Kunsoo Park
Multiple Pattern Matching Algorithms on Collage System / Takuya Kida ; Tetsuya Matsumoto
Finding All Common Intervals of k Permutations / Steffen Heber ; Jens Stoye
Generalized Pattern Matching and the Complexity of Unavoidability Testing / Christine E. Heitsch
Balanced Suffix Trees (Invited Lecture) / S. Rao Kosaraju
A Fast Algorithm for Optimal Alignment between Similar Ordered Trees / Jesper Jansson ; Andrzej Lingas
Minimum Quartet Inconsistency Is Fixed Parameter Tractable / Jens Gramm ; Rolf Niedermeier
Optimally Compact Finite Sphere Packings - Hydrophobic Cores in the FCC / Rolf Backofen ; Sebastian Will
Author Index
Regular Expression Searching over Ziv-Lempel Compressed Text / Gonzalo Navarro
Parallel Lempel Ziv Coding (Extended Abstract) / Shmuel Tomi Klein ; Yair Wiseman
Approximate Matching of Run-Length Compressed Strings / Veli Mäkinen ; Esko Ukkonen
5.

図書
図書
5. Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings
Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  xii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2125
所蔵情報: loading…
6.

図書
図書
6. Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 18-20, 2001 : proceedings
Michel Goemans ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  ix, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2129
所蔵情報: loading…
7.

図書
図書
7. Algorithm engineering : 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings
Stefan Näher, Dorothea Wagner (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  viii, 241 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1982
所蔵情報: loading…
目次情報: 続きを見る
Invited Lectures
On the Differences between "Practical" and "Applied" / Karsten Weihe
Contributed Papers
An Experimental Study of Online Scheduling Algorithms / Susanne Albers ; Bianca Schröder
Implementation of O(nmlog n) Weighted Matchings in General Graphs. The Power of Data Structures / Kurt Mehlhorn ; Guido Schäfer
Pushing the Limits in Sequential Sorting / Stefan Edelkamp ; Patrick Stiegeler
Efficient Sorting Using Registers and Caches / Lars Arge ; Jeff Chase ; Jeffrey S. Vitter ; Rajiv Wickremesinghe
Lattice Basis Reduction with Dynamic Approximation / Werner Backes ; Susanne Wetzel
Clustering Data without Prior Knowledge / Javed Aslam ; Alain Leblanc ; Clifford Stein
Recognizing Bundles in Time Table Graphs - A Structural Approach / Annegret Liebers
Analysis and Experimental Evaluation of an Innovative and Efficient Routing Protocol for Ad-hoc Mobile Networks / I. Chatzigiannakis ; S. Nikoletseas ; P. Spirakis
Portable List Ranking: An Experimental Study / Isabelle Guérin Lassous ; Jens Gustedt
Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM / Kazuo Iwama ; Daisuke Kawai ; Shuichi Miyazaki ; Yasuo Okabe ; Jun Umemoto
Asymptotic Complexity from Experiments? A Case Study for Randomized Algorithms / Peter Sanders ; Rudolf Fleischer
Visualizing Algorithms over the Web with the Publication-Driven Approach / Camil Demetrescu ; Irene Finocchi ; Giuseppe Liotta
Interchanging Two Segments of an Array in a Hierarchical Memory System / Jesper Bojesen ; Jyrki Katajainen
Two-Dimensional Arrangements in CGAL and Adaptive Point Location for Parametric Curves / Iddo Hanniel ; Dan Halperin
Planar Point Location for Large Data Sets: To Seek or Not to Seek / Jan Vahrenhold ; Klaus H. Hinrichs
Implementation of Approximation Algorithms for Weighted and Unweighted Edge-Disjoint Paths in Bidirected Trees / Thomas Erlebach ; Klaus Jansen
Dynamic Maintenance Versus Swapping: An Experimental Study on Shortest Paths Trees / Guido Proietti
Maintaining Shortest Paths in Digraphs with Arbitrary Arc Weights: An Experimental Study / Daniele Frigioni ; Alberto Marchetti-Spaccamela ; Umberto Nanni
New Algorithms for Examination Timetabling / Massimiliano Caramia ; Paolo Dell'Olmo ; Giuseppe F. Italiano
Author Index
Invited Lectures
On the Differences between "Practical" and "Applied" / Karsten Weihe
Contributed Papers
8.

図書
図書
8. Algorithms in bioinformatics : First International Workshop, WABI 2001, Århus, Denmark, August 28-31, 2001 : proceedings
Olivier Gascuel, Bernard M.E. Moret (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  x, 306 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2149
所蔵情報: loading…
目次情報: 続きを見る
An Improved Model for Statistical Alignment / Istvan Miklós ; Zoltán Toroczkai
Improving Profile-Profile Alignments via Log Average Scoring / Niklas von Öhsen ; Ralf Zimmer
False Positives in Genomic Map Assembly and Sequence Validation / Thomas Anantharaman ; Bud Mishra
Boosting EM for Radiation Hybrid and Genetic Mapping / Thomas Schiex ; Patrick Chabrier ; Martin Bouchez ; Denis Milan
Placing Probes along the Genome Using Pairwise Distance Data / Will Casey ; Mike Wigler
Comparing a Hidden Markov Model and a Stochastic Context-Free Grammar / Arun Jagota ; Rune B. Lyngsø ; Christian N.S. Pedersen
Assessing the Statistical Significance of Overrepresented Oligonucleotides / Alain Denise ; Mireille Régnier ; Mathias Vandenbogaert
Pattern Matching and Pattern Discovery Algorithms for Protein Topologies / Juris Viksna ; David Gilbert
Computing Linking Numbers of a Filtration / Herbert Edelsbrunner ; Afra Zomorodian
Side Chain-Positioning as an Integer Programming Problem / Olivia Eriksson ; Yishao Zhou ; Arne Elofsson
A Chemical-Distance-Based Test for Positive Darwinian Selection / Tal Pupko ; Roded Sharan ; Masami Hasegawa ; Ron Shamir ; Dan Graur
Finding a Maximum Compatible Tree for a Bounded Number of Trees with Bounded Degree Is Solvable in Polynomial Time / Ganeshkumar Ganapathysaravanabavan ; Tandy Warnow
Experiments in Computing Sequences of Reversals / Anne Bergeron ; François Strasbourg
Exact-IEBP: A New Technique for Estimating Evolutionary Distances between Whole Genomes / Li-San Wang
Finding an Optimal Inversion Median: Experimental Results / Adam C. Siepel ; Bernard M.E. Moret
Analytic Solutions for Three-Taxon MLMC Trees with Variable Rates Across Sites / Benny Chor ; Michael Hendy ; David Penny
The Performance of Phylogenetic Methods on Trees of Bounded Diameter / Luay Nakhleh ; Usman Roshan ; Katherine St. John ; Jerry Sun
(1=?)-Approximation of Sorting by Reversals and Transpositions / Niklas Eriksen
On the Practical Solution of the Reversal Median Problem / Alberto Caprara
Algorithms for Finding Gene Clusters / Steffen Heber ; Jens Stoye
Determination of Binding Amino Acids Based on Random Peptide Array Screening Data / Peter J. van der Veen ; L.F.A. Wessels ; J.W. Slootstra ; R.H. Meloen ; M.J.T. Reinders ; J. Hellendoorn
A Simple Hyper-Geometric Approach for Discovering Putative Transcription Factor Binding Sites / Yoseph Barash ; Gill Bejerano ; Nir Friedman
Comparing Assemblies Using Fragments and Mate-Pairs / Daniel H. Huson ; Aaron L. Halpern ; Zhongwu Lai ; Eugene W. Myers ; Knut Reinert ; Granger G. Sutton
Author Index
An Improved Model for Statistical Alignment / Istvan Miklós ; Zoltán Toroczkai
Improving Profile-Profile Alignments via Log Average Scoring / Niklas von Öhsen ; Ralf Zimmer
False Positives in Genomic Map Assembly and Sequence Validation / Thomas Anantharaman ; Bud Mishra
9.

図書
図書
9. Algorithm engineering : 5th International Workshop, WAE 2001, Århus, Denmark, August 28-31, 2001 : proceedings
Gerth Stølting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  x, 197 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2141
所蔵情報: loading…
目次情報: 続きを見る
Compact DFA Representation for Fast Regular Expression Search / Gonzalo Navarro ; Mathieu Raffinot
The Max-Shift Algorithm for Approximate String Matching / Costas S. Iliopoulos ; Laurent Mouchard ; Yoan J. Pinzon
Fractal Matrix Multiplication: A Case Study on Portability of Cache Performance / Gianfranco Bilardi ; Paolo D'Alberto ; Alex Nicolau
Experiences with the Design and Implementation of Space-Efficient Deques / Jyrki Katajainen ; Bjarke Buur Mortensen
Designing and Implementing a General Purpose Halfedge Data Structure / Hervé Brönnimann
Optimised Predecessor Data Structures for Internal Memory / Naila Rahman ; Richard Cole ; RajeevRaman
An Adaptable and Extensible Geometry Kernel / Susan Hert ; Michael Hoffmann ; Lutz Kettner ; Sylvain Pion ; Michael Seel
Efficient Resource Allocation with Noisy Functions / Arne Andersson ; Per Carlsson ; Fredrik Ygge
Improving the Efficiency of Branch and Bound Algorithms for the Simple Plant Location Problem / Boris Goldengorin ; Diptesh Ghosh ; Gerard Sierksma
Exploiting Partial Knowledge of Satisfying Assignments / Kazuo Iwama ; Suguru Tamaki
Using PRAM Algorithms on a Uniform-Memory-Access Shared-Memory Architecture / David A. Bader ; Ajith K. Illendula ; Bernard M.E. Moret ; Nina R. Weisse-Bernstein
An Experimental Study of Data Migration Algorithms / Eric Anderson ; Joe Hall ; Jason Hartline ; Michael Hobbs ; Anna R. Karlin ; Jared Saia ; Ram Swaminathan ; John Wilkes
An Experimental Study of Basic Communication Protocols in Ad-hoc Mobile Networks / Ioannis Chatzigiannakis ; Sotiris Nikoletseas ; Nearchos Paspallis ; Paul Spirakis ; Christos Zaroliagis
Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry / Chris Barrett ; Doug Cook ; Gregory Hicks ; Vance Faber ; Achla Marathe ; Madhav Marathe ; Aravind Srinivasan ; Yoram J. Sussmann and
Heidi Thornquist Pareto Shortest Paths is Often Feasible in Practice / Matthias Muller-Hannemann ; Karsten Weihe
Author Index
Compact DFA Representation for Fast Regular Expression Search / Gonzalo Navarro ; Mathieu Raffinot
The Max-Shift Algorithm for Approximate String Matching / Costas S. Iliopoulos ; Laurent Mouchard ; Yoan J. Pinzon
Fractal Matrix Multiplication: A Case Study on Portability of Cache Performance / Gianfranco Bilardi ; Paolo D'Alberto ; Alex Nicolau
10.

図書
図書
10. Algorithmic learning theory : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001 : proceedings
Naoki Abe, Roni Khardon, Thomas Zeugmann (eds.)
出版情報: Berlin ; New York : Springer, c2001  xi, 377 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2225 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
EditorsÆ Introduction / N. Abe ; R. Khardon ; T. Zeugmann
Invited Papers
The Discovery Science Project in Japan / S. Arikawa
Queries Revisited / D. Angluin
Robot Baby 2001 / P.R. Cohen ; T. Oates ; N. Adams ; C.R. Beal
Discovering Mechanisms: A Computational Philosophy of Science Perspective / L. Darden
Inventing Discovery Tools: Combining Information Visualization with Data Mining / B. Shneiderman
Complexity of Learning
On Learning Correlated Boolean Functions Using Statistical Queries / K. Yang
A Simpler Analysis of the Multi-way Branching Decision Tree Boosting Algorithm / K. Hatano
Minimizing the Quadratic Training Error of a Sigmoid Neuron Is Hard / J. &Scron;ima
Support Vector Machines
Learning of Boolean Functions Using Support Vector Machines / K. Sadohara
A Random Sampling Technique for Training Support Vector Machines (For Primal-Form Maximal-Margin Classifiers) / J. Balcázar ; Y. Dai ; O. Watanabe
New Learning Models
Learning Coherent Concepts / A. Garg ; D. Roth
Learning Intermediate Concepts / S.S. Kwek
Real-Valued Multiple-Instance Learning with Queries / D.R. Dooly ; S.A. Goldman
Online Learning
Loss Functions, Complexities, and the Legendre Transformation / Y. Kalnishkan ; M.V. Vyugin ; V. Vovk
Non-linear Inequalities between Predictive and Kolmogorov Complexities / V.V. V'yugin
Inductive Inference
Learning by Switching Type of Information / S. Jain ; F. Stephan
Learning How to Separate
Learning Languages in a Union / Y.K. Ng ; T.S. Tay
On the Comparison of Inductive Inference Criteria for Uniform Learning of Finite Classes / S. Zilles
Refutable Inductive Inference
Refutable Language Learning with a Neighbor System / Y. Mukouchi ; M. Sato
Learning Recursive Functions Refutably / E. Kinber ; R. Wiehagen
Refuting Learning Revisited / W. Merkle
Learning Structures and Languages
Efficient Learning of Semi-structured Data from Queries / H. Arimura ; H. Sakamoto
Extending Elementary Formal Systems / S. Lange ; G. Grieser ; K.P. Jantke
Learning Regular Languages Using RFSA / F. Denis ; A. Lemay ; A. Terlutte
Inference of ?-Languages from Prefixes / C. de la Higuera ; J.-C. Janodet
Author Index
EditorsÆ Introduction / N. Abe ; R. Khardon ; T. Zeugmann
Invited Papers
The Discovery Science Project in Japan / S. Arikawa
11.

図書
図書
11. Algorithms - ESA 2001 : 9th Annual European Symposium, Århus, Denmark, August 28-31, 2001 : proceedings
Friedhelm Meyer auf der Heide (ed.)
出版情報: Berlin : Springer, c2001  xii, 538 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2161
所蔵情報: loading…
12.

図書
図書
12. Algorithm engineering and experimentation : Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 : revised papers
Adam L. Buchsbaum, Jack Snoeyink (eds.)
出版情報: Berlin : Springer, c2001  viii, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2153
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼