close
1.

図書

図書
Sophie Tison (ed.)
出版情報: Berlin : Springer, c2002  xi, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2378
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society, IEEE CS Virtual Intelligence Task Force ; in cooperation with The Information Technology Research Institute, Wright State University, AIIS Inc
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 375 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Committees
Conference Schedule
Multi-Agents and Distributed AI / Session 1:
Towards Ontological Reconciliation for Agents / L. Sterling ; K. Lister
Transaction Oriented Computational Models for Multi-Agent Systems / K. Ramamohanarao ; J. Bailey ; P. Busetta
Resource Coordination in Single Agent and Multiagent Systems / G. Edwin ; M. T. Cox
Smart Cars as Autonomous Intelligent Agents / N. Bourbakis ; M. Findler
Interleaved Backtracking in Distributed Constraint Networks / Y. Hamadi
A Multi-Agent System to the Common Management of a Renewable Resource: Application to Water Sharing / M. Le Bars ; J. M. Attonaty
Using Software Agents to Avoid Collisions Among Multiple Robots / M. Jager
Reasoning / Session 2:
RaBeCa: A Hybrid Case-Based Reasoning Development Environment / R. B. Sovat ; S. M. Aluisio ; A. C. P. L. F. de Carvalho
Automatic Knowledge Acquisition from Subject Matter Experts / M. Boicu ; G. Tecuci ; B. Stanescu ; D. Marcu ; C. Cascaval
Inconsistent Requirements: An Argumentation View / L. Perrussel ; P.-J. Charrel
Perfect Sequences for Belief Networks Representation / R. Jirousek ; J. Vejnarova
A Decentralized Model-Based Diagnostic Tool for Complex Systems / Y. Pencole ; M.-O. Cordier ; L. Roze
Alma/Carne: Implementation of a Time-Situated Meta-Reasoner / K. Purang
Towards a General Theory for Qualitative Space / B. A. El-Geresy ; A. I. Abdelmonty
Genetic Algorithms / Session 3:
Dynamic Load-Balancing via a Genetic Algorithm / W. A. Greene
Parallel Genetic Programming for Decision Tree Induction / G. Folino ; C. Pizzuti ; G. Spezzano
New Hybrid Genetic Algorithms for the Frequency Assignment Problem / M. Alabau ; L. Idoumghar ; R. Schott
Planning / Session 4:
Fast Suboptimal Planning with Nexus States / W. Briggs ; B. Dawson
An Architecture for Planning in Uncertain Domains / M. E. Agueda ; P. H. Ibarguengoytia
A Metaheuristic for the Pickup and Delivery Problem with Time Windows / H. Li ; A. Lim
Machine Learning and Data Mining / Session 5:
An Effective Method for Generating Multiple Linear Regression Rules from Artificial Neural Networks / R. Setiono ; A. Azcarraga
Data Flow Coherence Criteria in ILP Tools / S. Muresan ; T. Muresan ; R. Potolea
Comparing Keyword Extraction Techniques for WEBSOM Text Archives / A. P. Azcarraga ; T. N. Yap, Jr.
Developing Collaborative Golog Agents by Reinforcement Learning / I. A. Letia ; D. Precup
Combinatorial Optimization through Statistical Instance-Based Learning / O. Telelis ; P. Stamatopoulos
Empirical Study of a Stacking State-Space / A. Ledezma ; R. Aler ; D. Borrajo
Mining First-Order Knowledge Bases for Association Rules / H. M. Jamil
Visualization Support for User-Centered Model Selection in Knowledge Discovery in Databases / T. B. Ho ; T. D. Nguyen
Generation of Propagation Rules for Intentionally Defined Constraints / S. Abdennadher ; C. Rigotti
Natural Language Processing and Information Retrieval / Session 6:
B-Course: A Web Service for Bayesian Data Analysis / P. Myllymaki ; T. Silander ; H. Tirri ; P. Uronen
An Expert Recommendation System Using Concept-Based Relevance Discernment / T. Yukawa ; K. Kasahara ; T. Kato ; T. Kita
A Robust Model for Intelligent Text Classification / R. Basili ; A. Moschitti
Corefdraw--A Tool for Annotation and Visualization of Coreference Data / S. M. Harabagiu ; R. C. Bunescu ; S. Trausan-Matu
Word Semantics for Information Retrieval: Moving One Step Closer to the Semantic Web / R. F. Mihalcea ; S. I. Mihalcea
High Precision Logic Form Transformation / V. Rus
Software Engineering / Session 7:
Loop--A Language for LP-Based AI Applications / A. Suciu ; K. Pusztai ; Z. Simon
Shamash: An AI Tool for Modeling and Optimizing Business Processes / D. Camacho ; A. Sierra-Alonso
An On-Line Repository for Embedded Software / I.-L. Yen ; L. Khan ; B. Prabhakaran ; F. B. Bastani ; J. Linn
Constraint Satisfaction / Session 8:
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts / S. Loudni ; P. Boizumault
Pickup and Delivery with Time Windows: Algorithms and Test Case Generation / H. C. Lau ; Z. Liang
Successive Search Method for Valued Constraint Satisfaction and Optimization Problems / M. Tounsi ; P. David
Applications / Session 9:
Maintaining Credible Dialogs in a VideoBot System with Special Audio Techniques / D. DeGroot
Maximizing Paper Spread in Examination Timetabling Using a Vehicle Routing Method / W.-K. Ho ; W.-C. Oon
Artificial Neural Networks in Hydrological Watershed Modeling: Surface Flow Contribution from the Ungauged Parts of a Catchment / R. Chibanga ; J. Berlamont ; J. Vandewalle
Author Index
Message from the General Chair
Message from the Program Chair
Committees
3.

図書

図書
Serdar Boztaş, Igor E. Shparlinski (eds.)
出版情報: Berlin : Springer, c2001  xii, 398 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2227
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
The Ubiquity of Reed-Muller Codes / J.L. Massey
Self-dual Codes-Theme and Variations / V. Pless
Design of Differential Space-Time Codes Using Group Theory / A. Shokrollahi
Ideal Error-Correcting Codes: Unifying Algebraic and Number-Theoretic Algorithms / M. Sudan
Block Codes
Self-dual Codes Using Image Restoration Techniques / A. Baliga ; J. Chua
Low Complexity Tail-Biting Trellises of Self-dual Codes of Length 24, 32and 40 over GF(2) and Z(4) of Large Minimum Distance / E. Cadic ; J.C. Carlach ; G. Olocco ; A. Otmani ; J.P. Tillich (Univ. Paris-Sud)
F(q)-Linear Cyclic Codes over F(q)(m) : DFT Characterization / B.K. Dey ; B.S. Rajan
Code Constructions
Cyclic Projective Reed-Muller Codes / T.P. Berger ; L. de Maximy
Codes Identifying Sets of Vertices / T. Laihonen ; S. Ranto
Duality and Greedy Weights of Linear Codes and Projective Multisets / H.G. Schaathun
Codes and Algebra: Rings and Fields
Type II Codes over F(2)(r) / K. Betsumiya ; M. Harada ; A. Munemasa
On Senary Simplex Codes / M.K. Gupta ; D.G. Glynn ; T.A. Gulliver
Optimal Double Circulant Z4-Codes
Constructions of Codes from Number Fields / V. Guruswami
On Generalized Hamming Weights for Codes over Finite Chain Rings / H. Horimoto ; K. Shiromoto
Information Rates and Weights of Codes in Structural Matrix Rings / A. Kelarev ; O. Sokratova
Codes and Algebra: Algebraic Geometry Codes
On Hyperbolic Codes / O. Geil ; T. Hoholdt
On Fast Interpolation Method for Guruswami-Sudan List Decoding of One-Point Algebraic-Geometry Codes / S. Sakata
Computing the Genus of a Class of Curves / M.C. Rodriguez-Palanquex ; L.J. Garcia-Villalba ; I. Luengo-Velasco
Sequences
Iterations of Multivariate Polynomials and Discrepancy of Pseudorandom Numbers / J. Gutierrez ; D. Gomez-Perez
Even Length Binary Sequence Families with Low Negaperiodic Autocorrelation / M.G. Parker
On the Non-existence of (Almost-)Perfect Quaternary Sequences / P. Parraud
Maximal Periods of x(2) + c in F(q) / A. Peinado ; F. Montoya ; J. Munoz ; A.J. Yuste
On the Aperiodic Correlation Function of Galois Ring m-Sequences / P. Udaya ; S. Bozta's
Euclidean Modules and Multisequence Synthesis / L. Wang
Cryptography
On Homogeneous Bent Functions / C. Charnes ; M. Rötteler ; T. Beth
Partially Identifying Codes for Copyright Protection / S. Encheva ; G. Cohen
On the Generalised Hidden Number Problem and Bit Security of XTR / I.E. Shparlinski
CRYPTIM: Graphs as Tools for Symmetric Encryption / V. Ustimenko
Algorithms
An Algorithm for Computing Cocyclic Matrices Developed over Some Semidirect Products / V. Álvarez ; J.A. Armario ; M.D. Frau ; P. Real
Algorithms for Large Integer Matrix Problems / M. Giesbrecht ; M. Jacobson, Jr. ; A. Storjohann
On the Identification of Vertices and Edges Using Cycles / I. Honkala ; M.G. Karpovsky ; S. Litsyn
Algorithms: Decoding
On Algebraic Soft Decision Decoding of Cyclic Binary Codes / V.B. Balakirsky
Lifting Decoding Schemes over a Galois Ring / E. Byrne
Sufficient Conditions on Most Likely Local Sub-codewords in Recursive Maximum Likelihood Decoding Algorithms / T. Kasami ; H. Tokushige ; Y. Kaji
A Unifying System-Theoretic Framework for Errors-and-Erasures Reed-Solomon Decoding / M. Kuijper ; M. van Dijk ; H. Hollmann ; J. Oostveen
An Algorithm for Computing Rejection Probability of MLD with Threshold Test over BSC / T. Wadayama
Algebraic Constructions
Cartan's Characters and Stairs of Characteristic Sets / F. Boulier ; S. Neut
On the Invariants of the Quotients of the Jacobian of a Curve of Genus 2 / P. Gaudry ; E. Schost
Algebraic Constructions for PSK Space-Time Coded Modulation / A.M. Guidi ; A.J. Grant ; S.S. Pietrobon|387
Author Index
Invited Contributions
The Ubiquity of Reed-Muller Codes / J.L. Massey
Self-dual Codes-Theme and Variations / V. Pless
4.

図書

図書
Kathleen Steinhöfel (ed.)
出版情報: Berlin : Springer, c2001  viii, 202 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2264
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Randomized Communication Protocols (A Survey) / Juraj Hromkovič
Optimal Mutation Rate UsingBayesian Priors for Estimation of Distribution Algorithms / Thilo Mahnig ; Heinz Mühlenbein
An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs / Stephen Fitzpatrick ; Lambert Meertens
Randomized BranchingPrograms / Martin Sauerhoff
Yet Another Local Search Method for Constraint Solving / Philippe Codognet ; Daniel Diaz
An Evolutionary Algorithm for the Sequence Coordination in Furniture Production / Carlo Meloni
Evolutionary Search for Smooth Maps in Motor Control Unit Calibration / Jan Poland ; Kosmas Knödler ; Alexander Mitterer ; Thomas Fleischhauer ; Frank Zuber-Goos ; Andreas Zell
Some Notes on Random Satisfiability / Gregory B. Sorkin
Prospects for Simulated AnnealingAlgorithms in Automatic Differentiation / Uwe Naumann ; Peter Gottschling
Optimization and Simulation: Sequential Packingof Flexible Objects Using Evolutionary Algorithms / Henning Behnke ; Michael Kolonko ; Ulrich Mertins ; Stefan Schnitter
Stochastic Finite Learning / Thomas Zeugmann
Sequential SamplingAlgorithms: Unified Analysis and Lower Bounds / Ricard Gavaldà ; Osamu Watanabe
Approximate Location of Relevant Variables under the Crossover Distribution / Peter Damaschke
Author Index
Invited Talk
Randomized Communication Protocols (A Survey) / Juraj Hromkovič
Optimal Mutation Rate UsingBayesian Priors for Estimation of Distribution Algorithms / Thilo Mahnig ; Heinz Mühlenbein
5.

図書

図書
Aart Middeldorp (ed.)
出版情報: Berlin : Springer, c2001  xii, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2051
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
Regular Papers
Universal Interaction Systems with Only Two Agents / Denis Bechet
General Recursion on Second Order Term Algebras / Alessandro Berarducci ; Corrado Bohm
Beta Reduction Constraints / Manuel Bodirsky ; Katrin Erk ; Alexander Koller ; Joachim Niehren
From Higher-Order to First-Order Rewriting / Eduardo Bonelli ; Delia Kesner ; Alejandro Ríos
Combining Pattern E-Unification Algorithms / Alexandre Boudet ; Evelyne Contejean
Matching Power / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori
Dependency Pairs for Equational Rewriting / Jurgen Giesl ; Deepak Kapur
Termination Proofs by Context-Dependent Interpretations / Dieter Hofbauer
Uniform Normalisation beyond Orthogonality / Zurab Khasidashvili ; Mizuhito Ogawa ; Vincent van Oostrom
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order / Konstantin Korovin ; Andrei Voronkov
Relating Accumulative and Non-accumulative Functional Programs / Armin Kuhnemann ; Robert Gluck ; Kazuhiko Kakehi
Context Unification and Traversal Equations / Jordi Levy ; Mateu Villaret
Weakly Regular Relations and Applications / Sebastien Limet ; Pierre Rety ; Helmut Seidl
On the Parallel Complexity of Tree Automata / Markus Lohrey
Transfinite Rewriting Semantics for Term Rewriting Systems / Salvador Lucas
Goal-Directed E-Unification / Christopher Lynch ; Barbara Morawska
The Unification Problem for Confluent Right-Ground Term Rewriting
Systems / Michio Oyamaguchi ; Yoshikatsu Ohta
On Termination of Higher-Order Rewriting / Femke van Raamsdonk
Matching with Free Function Symbols - A Simple Extension of Matching? / Christophe Ringeissen
Deriving Focused Calculi for Transitive Relations / Georg Struth
A Formalised First-Order Confluence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) / Rene Vestergaard ; James Brotherston
A Normal Form for Church-Rosser Language Systems / Jens R. Woinowski
Confluence and Termination of Simply Typed Term Rewriting Systems / Toshiyuki Yamada
System Descriptions
Parallel Evaluation of Interaction Nets with MPINE / Jorge Sousa Pinto
Stratego: A Language for Program Transformation Based on Rewriting Strategies (System Description of Stratego 0.5) / Eelco Visser
Author Index
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
6.

図書

図書
Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli (eds.)
出版情報: Berlin : Springer, c2006  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3857
所蔵情報: loading…
7.

図書

図書
Nasser Kehtarnavaz, Phillip A. Laplante, chairs/editors ; sponsored and published by IS & T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2003  v, 146 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5012
所蔵情報: loading…
8.

図書

図書
Marc Fossorier ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xiii, 510 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1719
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Codes on Graphs: A Survey for Algebraists / G. David Forney, Jr.
RA Codes Achieve AWGN Channel Capacity / Hui Jin ; Robert J. McEliece
Monomial Ideals and Planar Graphs / Ezra Miller ; Bernd Sturmfels
A Fast Program Generator of Fast Fourier Transforms / Michael Clausen ; Meinard Müller
On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms / Tadao Kasami
Curves with Many Points and Their Applications / Ian F. Blake
Codes and Iterative Decoding
New Sequences of Linear Time Erasure Codes Approaching the Channel Capacity / M. Amin Shokrollahi
On the Theory of Low-Density Convolutional Codes / Karin Engdahl ; Michael Lentmaier ; Kamil Sh. Zigangirov
Combinatorics I: Arithmetic
On the Distribution of Nonlinear Recursive Congruential Pseudorandom Numbers of Higher Orders / Frances Griffin ; Harald Niederreiter ; Igor E. Shparlinski
A New Representation of Boolean Functions / Claude Carlet ; Philippe Guillot
Combinatorics II: Graphs and Matrices
An Algorithm to Compute a Nearest Point in the Lattice <$>A_n^{\ast}<$> / I. Vaughan ; L. Clarkson
Sequences from Cocycles / Kathy J. Horadam
Block Codes I
On the Second Greedy Weight for Binary Linear Codes / Wende Chen ; Torleiv Kløve
On the Size of Identifying Codes / Uri Blass ; Iiro Honkala ; Simon Litsyn
Algebra I: Rings and Fields
Fast Quantum Fourier Transforms for a Class of Non-abelian Groups / Markus Püschel ; Martin Rötteler ; Thomas Beth
Linear Codes and Rings of Matrices / M. Greferath ; S.E. Schmidt
On <$>{\op Z}_4<$>-Simplex Codes and Their Gray Images / Mahesh C. Bhandari ; Manish K. Gupta ; Arbind K. Lal
Decoding Methods
Some Results on Generalized Concatenation of Block Codes / M. Bossert ; H. Grießer ; J. Maucher ; V. V. Zyablov
Near Optimal Decoding for TCM Using the BIVA and Trellis Shaping / Qi Wang ; Lei Wei ; Rodney A. Kennedy
An Optimality Testing Algorithm for a Decoded Codeword of Binary BlockCodes and Its Computational Complexity / Yuansheng Tang ; Toru Fujiwara
Algebra II
Recursive MDS-Codes and Pseudogeometries / Elena Couselo ; Santos Gonzalez ; Victor Markov ; Alexandr Nechaev
Strength of MISTY1 without FL Function for Higher Order Differential Attack / Hidema Tanaka ; Kazuyuki Hisamatsu ; Toshinobu Kaneko
Code Construction
Quantum Reed-Solomon Codes / Markus Grassl ; Willi Geiselmann
Capacity Bounds for the 3-Dimensional (0,1) Runlength Limited Channel / Zsigmond Nagy ; Kenneth Zeger
Rectangular Codes and Rectangular Algebra / V. Sidorenko ; J. Mancher
Codes and Algebra I: Algebraic Curves
Decoding Hermitian Codes with Sudan's Algorithm / T. Høholdt ; R. Refslund Nielsen
Computing a Basis of <$>\cal {L}<$>(D) on an Affine Algebraic Curve with One Rational Place at Infinity / Ryntaroh Matsnmoto ; Shinji Miura
Cryptography
Critical Noise for Convergence of Iterative Probabilistic Decoding with Belief Propagation in Cryptographic Applications / Marc P. C. Fossorier ; Miodrag J. Mihaljević ; Hideki Imai
An Authentication Scheme over Non-authentic Public Channel in Information-Theoretic Secret-Key Agreement / Shengli Lin ; Ynmin Wang
Codes and Decoding
A Systolic Array Architecture for Fast Decoding of One-Point AG Codesand Scheduling of Parallel Processing on It / Shojiro Sakata ; Masaznmi Knrihara
Convolutional Codes
Computing Weight Distributions of Convolutional Codes via Shift Register Synthesis / Mehul Motani ; Chris Heegard
Properties of Finite Response Input Sequences of Recursive Convolutional Codes / Didier Le Ruyet ; Hong Sun ; Han Vu Thien
Combinatorics III: Designs
Lower Bounds for Group Covering Designs / K.K.P. Chandnka
Characteristic Functions of Relative Difference Sets, Correlated Sequences and Hadamard Matrices / Garry Hnghes
Decoding of Block Codes
Double Circulant Self-Dual Codes Using Finite-Field Wavelet Transforms / F. Fekri ; S. W. McLaughlin ; R.M. Mersereau ; R.W. Schafer
Algebra III: Rings and Fields
Linear Codes and Polylinear Recurrences over Finite Rings and Modules (a Survey) / V.L. Kurakin ; A.S. Kuzmin ; V.T. Markov ; A.V. Mikhalev ; A.A. Nechaev
Calculating Generators for Invariant Fields of Linear Algebraic Groups / Jörn Müller-Quade
Constructing Elements of Large Order in Finite Fields / Joachim von zur Gathen ; Igor Shparlinski
Modulation and Codes
New Lower Bounds on the Periodic Crosscorrelation of QAM Codes with Arbitrary Energy / Serdar Boztaş
Conjectures on the Size of Constellations Constructed from Direct Sums of PSK Kernels / Matthew G. Parker
Codes and Algebra II: Gröbner Bases and AG Codes
A New Criterion for Normal Form Algorithms / B. Mourrain
Discrete Fourier Transform and Gröbner Bases / A. Poli ; M.C.Gennero ; D. Xin
Block Codes II
On the State Complexities of Ternary Codes / Sylvia Encheva ; Gérard Cohen
Binary Optimal Linear Rate 1/2 Codes / Koichi Betsumiya ; T. Aaron Gulliver ; Masaaki Harada
On Binary/Ternary Error-Correcting Codes with Minimum Distance 4 / Patric R.J. Östergård
Algebra IV: Polynomials
The Euclidean Algorithm and Primitive Polynomials over Finite Fields / James W. Bond ; Stefen Hui ; Hank Schmidt
On the Computational Hardness of Testing Square-Freeness of Sparse Polynomials / Marek Karpinski
Mastrovito Multiplier for General Irreducible Polynomials / A. Halbuto&gcaron;ullari ; Ç.K. Koç
Author Index
Invited Talks
Codes on Graphs: A Survey for Algebraists / G. David Forney, Jr.
RA Codes Achieve AWGN Channel Capacity / Hui Jin ; Robert J. McEliece
9.

図書

図書
Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.)
出版情報: Berlin : Springer, c2000  viii, 315 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1767
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
On Salesmen, Repairmen, Spiders, and Other Traveling Agents / G. Ausiello ; S. Leonardi ; A. Marchetti-Spaccamela
Computing a Diameter-Constrained Minimum Spanning Tree in Parallel / N. Deo ; A. Abdalla
Algorithms for a Simple Point Placement Problem / J. Redstone ; W.L. Ruzzo
Duality in ATM Layout Problems / S. Zaks
Regular Presentations
The Independence Number of Random Interval Graphs / W.F. de la Vega
Online Strategies for Backups / P. Damaschke
Towards the Notion of Stability of Approximation for Hard Optimization Tasks and the Traveling Salesman Problem / H.-J. Böckenhauer ; J. Hromkovic ; R. Klasing ; S. Seibert ; W. Unger
Semantical Counting Circuits / F. Noilhan ; M. Santha
The Hardness of Placing Street Names in a Manhattan Type Map
Labeling Downtown / G. Neyer ; F. Wagner
The Online Dial-a-Ride Problem under Reasonable Load / D. Hauptmeier ; S.O. Krumke ; J. Rambau
The Online-TSP against Fair Adversaries / M. Blom ; W. de Paepe ; L. Stougie
QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms / D. Cantone ; G. Cincotti
Triangulations without Minimum-Weight Drawing / C.A. Wang ; F.Y. Chin ; B. Yang
Faster Exact Solutions for Max2Sat / J. Gramm ; R. Niedermeier
Dynamically Maintaining the Widest k-Dense Corridor / S.C. Nandy ; T. Harayama ; T. Asano
Reconstruction of Discrete Sets from Three or More X-Rays / E. Barcucci ; S. Brunetti ; A. Del Lungo ; M. Nivat
Modified Binary Searching for Static Tables / D. Merlini ; R. Sprugnoli ; M.C. Verri
An Efficient Algorithm for the Approximate Median Selection Problem / S. Battiato ; D. Catalano ; M. Hofri
Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes / E. Covino ; G. Pani ; S. Caporaso
Group Updates for Red-Black Trees / S. Hanke ; E. Soisalon-Soininen
Convergence Analysis of Simulated Annealing-Based Algorithms Solving Flow Shop Scheduling Problems / I. Dinur ; K. Steinhöfel ; A. Albrecht ; C.K. Wong
On the Lovász Number of Certain Circulant Graphs / V.E. Brimkov ; B. Codenotti ; V. Crespi ; M. Leoncini
Speeding Up Pattern Matching by Text Compression / Y. Shibata ; T. Kida ; S. Fukamachi ; M. Takeda ; A. Shinohara ; T. Shinohara ; S. Arikawa
Author Index
Invited Presentations
On Salesmen, Repairmen, Spiders, and Other Traveling Agents / G. Ausiello ; S. Leonardi ; A. Marchetti-Spaccamela
Computing a Diameter-Constrained Minimum Spanning Tree in Parallel / N. Deo ; A. Abdalla
10.

図書

図書
sponsored by IEEE Computer Society ; in cooperation with AAAI Society, Virtual Intelligence Task Force, BU-CIS Center
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xvii, 446 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼