close
1.

図書

図書
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
2.

図書

図書
Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
出版情報: Berlin : Springer, c2002  xiv, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2299
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I:
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II:
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III:
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV:
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V:
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI:
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
3.

図書

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

図書

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

図書

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

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
7.

図書

図書
Ubbo Visser
出版情報: Berlin : Springer, c2004  xiv, 150 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3159 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction and Related Work / Part I:
Introduction / 1:
Semantic Web Vision / 1.1:
Research Topics / 1.2:
Search on the Web / 1.3:
Integration Tasks / 1.4:
Organization / 1.5:
Related Work / 2:
Approaches for Terminological Representation and Reasoning / 2.1:
The Role of Ontologies / 2.1.1:
Use of Mappings / 2.1.2:
Approaches for Spatial Representation and Reasoning / 2.2:
Spatial Representation / 2.2.1:
Spatial Reasoning / 2.2.2:
More Approaches / 2.2.3:
Approaches for Temporal Representation and Reasoning / 2.3:
Temporal Theories Based on Time Points / 2.3.1:
Temporal Theories Based on Intervals / 2.3.2:
Summary of Recent Approaches / 2.3.3:
Evaluation of Approaches / 2.4:
Terminological Approaches / 2.4.1:
Spatial Approaches / 2.4.2:
Temporal Approaches / 2.4.3:
The Buster Approach for Terminological, Spatial, and Temporal Representation and Reasoning / Part II:
General Approach of Buster / 3:
Requirements / 3.1:
Conceptual Architecture / 3.2:
Query Phase / 3.2.1:
Acquisition Phase / 3.2.2:
Comprehensive Source Description / 3.3:
The Dublin Core Elements / 3.3.1:
Additional Element Descriptions / 3.3.2:
Background Models / 3.3.3:
Example / 3.3.4:
Relevance / 3.4:
Terminological Representation and Reasoning, Semantic Translation / 4:
Representation / 4.1:
Reasoning / 4.1.2:
Integration/Translation on the Data Level / 4.1.3:
Representation and Reasoning Components / 4.2:
Ontologies / 4.2.1:
Description Logics / 4.2.2:
Reasoning Components / 4.2.3:
Semantic Translation / 4.3:
Context Transformation by Rules / 4.3.1:
Context Transformation by Re-classification / 4.3.2:
Example: Translation ATKIS-CORINE Land Cover / 4.4:
Spatial Representation and Reasoning / 5:
Intuitive Spatial Labeling / 5.1:
Place Names, Gazetteers and Footprints / 5.1.2:
Place Name Structures / 5.1.3:
Spatial Relevance / 5.1.4:
Polygonal Tessellation / 5.1.5:
Place Names / 5.2.2:
Spatial Relevance Reasoning / 5.2.3:
Temporal Representation and Reasoning / 5.4:
Intuitive Labeling / 6.1:
Time Interval Boundaries / 6.1.2:
Structures / 6.1.3:
Explicit Qualitative Relations / 6.1.4:
Period Names / 6.2:
Boundaries / 6.2.3:
Relations / 6.2.4:
Temporal Relevance / 6.3:
Distance Between Time Intervals / 6.3.1:
Overlapping of Time Periods / 6.3.2:
Relations Between Boundaries / 6.4:
Relations Between Two Time Periods / 6.4.2:
Relations Between More Than Two Time Periods / 6.4.3:
Qualitative Statements / 6.5:
Quantitative Statements / 6.5.2:
Inconsistencies (Quantitative/Qualitative) / 6.5.3:
Inconsistencies (Reasoner Implicit/Qualitative) / 6.5.4:
Inconsistencies (Qualitative/Quantitative) / 6.5.5:
Implementation, Conclusion, and Future Work / Part III:
Implementation Issues and System Demonstration / 7:
Architecture / 7.1:
Single Queries / 7.2:
Terminological Queries / 7.2.1:
Spatial Queries / 7.2.2:
Temporal Queries / 7.2.3:
Combined Queries / 7.3:
Spatio-terminological Queries / 7.3.1:
Temporal-Terminological Queries / 7.3.2:
Spatio-temporal-terminological Queries / 7.3.3:
Conclusion and Future Work / 8:
Conclusion / 8.1:
Semantic Web / 8.1.1:
BUSTER Approach and System / 8.1.2:
Future Work / 8.2:
Terminological Part / 8.2.1:
Spatial Part / 8.2.2:
Temporal Part / 8.2.3:
References
Introduction and Related Work / Part I:
Introduction / 1:
Semantic Web Vision / 1.1:
8.

図書

図書
Rod Downey, Michael Fellows, Frank Dehne (eds.)
出版情報: Berlin : Springer, c2004  x, 290 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3162
所蔵情報: loading…
目次情報: 続きを見る
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
Computing Small Search Numbers in Linear Time / Hans L. Bodlaender ; Dimitrios M. Thilikos
Bounded Fixed-Parameter Tractability: The Case 2poly(k) / Mark Weyer
Refined Memorisation for Vertex Cover / L. Sunil Chandran ; Fabrizio Grandoni
Parameterized Graph Separation Problems / Dániel Marx
Parameterized Coloring Problems on Chordal Graphs
On Decidability of MSO Theories of Representable Matroids / Petr Hliněný ; Detlef Seese
On Miniaturized Problems in Parameterized Complexity Theory / Yijia Chen ; Jörg Flum
Smaller Kernels for Hitting Set Problems of Constant Arity / Naomi Nishimura ; Prabhakar Ragde
Packing Edge Disjoint Triangles: A Parameterized View / Luke Mathieson ; Elena Prieto ; Peter Shaw
Looking at the Stars / Christian Sloper
Moving Policies in Cyclic Assembly-Line Scheduling / Matthias Müller-Hannemann ; Karsten Weihe
A Structural View on Parameterizing Problems: Distance from Triviality / Jiong Guo ; Falk Hüffner ; Rolf Niedermeier
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable / Jens Gramm ; Till Nierhoff ; Till Tantau
Simplifying the Weft Hierarchy / Jonathan F. Buss ; Tarique Islam
The Minimum Weight Triangulation Problem with Few Inner Points / Yoshio Okamoto
A Direct Algorithm for the Parameterized Face Cover Problem / Faisal N. Abu-Khzam ; Michael A. Langston
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets / Michael R. Fellows ; Stefan Szeider ; Graham Wrightson
Parameterized Algorithms for Feedback Vertex Set / Iyad Kanj ; Michael Pelsmajer ; Marcus Schaefer
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms / Sergey S. Fedin ; Alexander S. Kulikov
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments / Venkatesh Raman ; Saket Saurabh
Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover / Frank Dehne ; Mike Fellows ; Frances Rosamond
Space and Time Complexity of Exact Algorithms: Some Open Problems (Invited Talk) / Gerhard J. Woeginger
Practical FPT Implementations and Applications (Invited Talk) / Mike Langston
Author Index
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
9.

図書

図書
Ana L.C. Bazzan, Sofiane Labidi (eds.)
出版情報: Berlin : Springer, c2004  xvii, 548 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3171 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
Using Relevance to Speed Up Inference. Some Empirical Results / Joselyto Riani ; Renata Wassermann
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic / Gabriel Aguilera ; Pablo Cordero ; Manuel Enciso ; Angel Mora ; Inmaculada Perez de Guzmán
Reasoning About Requirements Evolution Using Clustered Belief Revision / Odinaldo Rodrigues ; Artur d'Avila Garcez ; Alessandra Russo
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach / Peep Küngas
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning / Silvio do Lago Pereira ; Leliane Nunes de Barros
High-Level Robot Programming: An Abductive Approach Using Event Calculus
Search, Reasoning, and Uncertainty
Word Equation Systems: The Heuristic Approach / César Luis Alonso ; Fátima Drubi ; Judith Gómez-García ; José Luis Montaña
A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation / Carlos Castro ; Michael Moossen ; María Cristina Riff
Machine Learned Heuristics to Improve Constraint Satisfaction / Marco Correia ; Pedro Barahona
Towards a Natural Way of Reasoning / José Carlos Loureiro Ralha ; Célia Ghedini Ralha
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? / Ricardo S. Silvestre ; Tarcísio H. C. Pequeno
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests / Julio Michael Stern
Knowledge Representation and Ontologies
An Ontology for Quantities in Ecology / Virgínia Brilhante
Using Color to Help in the Interactive Concept Formation / Vasco Furtado ; Alexandre Cavalcante
Propositional Reasoning for an Embodied Cognitive Model / Jerusa Marchi ; Guilherme Bittencourt
A Unified Architecture to Develop Interactive Knowledge Based Systems / Vládia Pinheiro ; Elizabeth Furtado
Natural Language Processing
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts / Helena de Medeiros Caseli ; Aline Maria da Paz Silva ; Maria das Graças Volpe Nunes
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections / Marcirio Silveira Chaves ; Vera Lúcia Strube de Lima
Dialog with a Personal Assistant / Fabrício Enembreck ; Jean-Paul Barthès
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing / Valéria D. Feltrim ; Jorge M. Pelizzoni ; Simone Teufel ; Sandra M. Aluísio
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese / Thiago Alexandre Salgueiro Pardo ; Lucia Helena Machado Rino
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese / Carlos Nascimento Silla Jr. ; Celso Antônio Alves Kaestner ; Michael Pombo
Machine Learning, Knowledge Discovery, and Data Mining
Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning / Reinaldo A.C. Bianchi ; Carlos H.C. Ribeiro ; Anna H.R. Costa
Using Concept Hierarchies in Knowledge Discovery / Marco Eugênio Madeira Di Beneditto
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances / Francisco de A.T. de Carvalho ; Renata M.C.R. de Souza ; Fabio C.D. Silva
An Efficient Clustering Method for High-Dimensional Data Mining / Jae- Woo Chang ; Yong-Ki Kim
Learning with Drift Detection / João Gama ; Pedro Medas ; Gladys Castillo ; Pedro Rodrigues
Learning with Class Skews and Small Disjuncts / Ronaldo C. Prati ; Gustavo E.A.P.A. Batista ; Maria Carolina Monard
Making Collaborative Group Recommendations Based on Modal Symbolic Data / Sérgio R. de M. Queiroz
Search-Based Class Discretization for Hidden Markov Model for Regression / Kate Revoredo ; Gerson Zaverucha
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries / Marcelino Pereira dos Santos Silva ; Jacques Robin
Evolutionary Computation, Artificial Life, and Hybrid Systems
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life / Angelo Loula ; Ricardo Gudwin ; João Queiroz
What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms / Rui Mendes ; José Neves
Splinter: A Generic Framework for Evolving Modular Finite State Machines / Ricardo Nastas Acras ; Silvia Regina Vergilio
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs / Ana Carolina Lorena ; André C. Ponce de Leon F. de Carvalho
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms / Joaquín Pérez O. ; Rodolfo A. Pazos R. ; Graciela Mora O. ; Guadalupe Castilla V. ; José A. Martínez. ; Vanesa Landero N. ; Héctor Fraire H. ; Juan J. González B.
Detecting Promising Areas by Evolutionary Clustering Search / Alexandre C.M. Oliveira ; Luiz A.N. Lorena
A Fractal Fuzzy Approach to Clustering Tendency Analysis / Sarajane Marques Peres ; Márcio Luiz de Andrade Netto
On Stopping Criteria for Genetic Algorithms / Martín Safe ; Jessica Carballido ; Ignacio Ponzoni ; Nélida Brignole
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules / Pablo Alberto de Castro ; Heloisa A. Camargo
Using Rough Sets Theory and Minimum Description Length Principle to Improve a β-TSK Fuzzy Revision Method for CBR Systems / Florentino Fdez-Riverola ; Fernando Díaz ; Juan M. Corchado
Robotics and Computer Vision
Forgetting and Fatigue in Mobile Robot Navigation / Luís Correia ; António Abreu
Texture Classification Using the Lempel-Ziv-Welch Algorithm / Leonardo Vidal Batista ; Moab Mariz Meira
A Clustering-Based Possibilistic Method for Image Classification / Isabela Drummond ; Sandra Sandri
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results / Hemerson Pistori ; João José Neto
Autonomous Agents and Multi-agent Systems
Recent Advances on Multi-agent Patrolling / Alessandro Almeida ; Geber Ramalho ; Hugo Santana ; Patrícia Tedesco ; Talita Menezes ; Vincent Corruble ; Yann Chevaleyre
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games / Eduardo Camponogara
Norm Consistency in Electronic Institutions / Marc Esteva ; Wamberto Vasconcelos ; Carles Sierra ; Juan A. Rodríguez-Aguilar
Using the <$>{\cal M}<$>oise+ for a Cooperative Framework of MAS Reorganisation / Jomi Fred Hübner ; Jaime Simão Sichman ; Olivier Boissier
A Paraconsistent Approach for Offer Evaluation in Negotiations / Fabiano M. Hasegawa ; Bráulio C. Ávila ; Marcos Augusto H. Shmeil
Sequential Bilateral Negotiation / Orlando Pinho Jr. ; Gustavo de Paula
Towards to Similarity Identification to Help in the Agents' Negotiation / Andreia Malucelli ; Eugénio Oliveira
Author Index
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
10.

図書

図書
Thomas Gschwind, Cecilia Mascolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3437
所蔵情報: loading…
11.

図書

図書
Raouf Boutaba ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xxx, 1483 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3462
所蔵情報: loading…
12.

図書

図書
Hans W. Gellersen, Roy Want, Albrecht Schmidt (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiii, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3468
所蔵情報: loading…
13.

図書

図書
Ronald Cramer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiv, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3494
所蔵情報: loading…
14.

図書

図書
Satoru Miyano ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xvii, 632 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3500 . Lecture notes in bioinformatics
所蔵情報: loading…
15.

図書

図書
Vladimír Mařík, Werner Retschitzegger, Olga Štĕpánková (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xx, 945 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2736
所蔵情報: loading…
16.

図書

図書
Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2737
所蔵情報: loading…
17.

図書

図書
Kurt Bauknecht, A Min Tjoa, Gerald Quirchmayr (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2738
所蔵情報: loading…
18.

図書

図書
Vasile Palade, Robert J. Howlett, Lakhmi Jain (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2773-2774 . Lecture notes in artificial intelligence
所蔵情報: loading…
19.

図書

図書
Michael Beetz
出版情報: Berlin : Springer, 2000  xvi, 213 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1772 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Abstract
Acknowledgements
List of Figures
Introduction / 1:
The Approach / 1.1:
Technical Challenges / 1.2:
Introductory Example / 1.3:
Motivation / 1.4:
Relevance for Autonomous Robot Control / 1.4.1:
Relevance for AI Planning / 1.4.2:
The Computational Problem and Its Solution / 1.5:
The Computational Problem / 1.5.1:
The Computational Model / 1.5.2:
Contributions / 1.6:
Outline of the Book / 1.7:
Reactivity / 2:
The DeliveryWorld / 2.1:
The World / 2.1.1:
Commands and Jobs / 2.1.2:
The Robot / 2.1.3:
Justification of the DeliveryWorld / 2.1.4:
The Implementation of Routine Activities / 2.2:
Plan Steps vs. Concurrent Control Processes / 2.2.1:
Interfacing Continuous Control Processes / 2.2.2:
Coordinating Control Processes / 2.2.3:
Synchronization of Concurrent Control Threads / 2.2.4:
Failure Recovery / 2.2.5:
Perception / 2.2.6:
State, Memory, and World Models / 2.2.7:
The Structure of Routine Activities / 2.2.8:
The Structured Reactive Controller / 2.3:
Behavior and Planning Modules / 2.3.1:
The Body of the Structured Reactive Controller / 2.3.2:
Global Fluents, Variables, and the Plan Library / 2.3.3:
The RPL Runtime System / 2.3.4:
Summary and Discussion / 2.4:
Planning / 3:
The Structured Reactive Plan / 3.1:
Plans as Syntactic Objects / 3.1.1:
RPL as a Plan Language / 3.1.2:
The Computational Structure / 3.2:
The "Criticize-Revise" Cycle / 3.2.1:
The "Criticize" Step / 3.2.2:
The "Revise" Step / 3.2.3:
The XFRM Planning Framework / 3.3:
Anticipation and Forestalling of Behavior Flaws / 3.4:
The Detection of Behavior Flaws / 3.4.1:
Behavior Flaws and Plan Revisions / 3.4.2:
The Diagnosis of Behavior Flaws / 3.4.3:
Transparent Reactive Plans / 3.5:
Declarative Statements / 4.1:
RPL Construct Descriptions / 4.1.1:
Achievement Goals / 4.1.2:
Perceptions / 4.1.3:
Beliefs / 4.1.4:
Other Declarative Statements / 4.1.5:
Using Declarative Statements / 4.1.6:
Routine Plans / 4.2:
The Plan Library / 4.3:
Behavior Modules / 4.3.1:
Low-level Plans / 4.3.2:
High-level Plans / 4.3.3:
Discussion / 4.4:
Representing Plan Revisions / 5:
Conceptualization / 5.1:
Making Inferences / 5.2:
Some Examples / 5.2.1:
Accessing Code Trees / 5.2.2:
Predicates on Plan Interpretations / 5.2.3:
Predicates on Timelines / 5.2.4:
Timelines and Plan Interpretation / 5.2.5:
Expressing Plan Revisions / 5.3:
XFRML - The Implementation / 5.4:
Forestalling Behavior Flaws / 5.5:
FAUST / 6.1:
The Behavior Critic / 6.1.1:
Detecting Behavior Flaws: Implementation / 6.1.2:
Diagnosing the Causes of Behavior Flaws: Implementation / 6.1.3:
The Bug Class "Behavior-Specification Violation" / 6.1.4:
The Elimination of Behavior Flaws / 6.1.5:
The Plan Revisions for the Example / 6.2:
Some Behavior Flaws and Their Revisions / 6.3:
Perceptual Confusion / 6.3.1:
Missed Deadlines / 6.3.2:
Planning Ongoing Activities / 6.4:
Extending RPL / 7.1:
The RUNTIME-PLAN Statement / 7.1.1:
Plan Swapping / 7.1.2:
Making Planning Assumptions / 7.1.3:
Deliberative Controllers / 7.2:
Improving Iterative Plans by Local Planning / 7.2.1:
Plan Execution a la Shakey / 7.2.2:
Execution Monitoring and Replanning / 7.2.3:
Recovering from Execution Failures / 7.2.4:
Some Robot Control Architectures / 7.2.5:
The Controller in the Experiment / 7.3:
Evaluation / 7.4:
Analysis of the Problem / 8.1:
Assessment of the Method / 8.2:
Description of the Method / 8.2.1:
Evaluation of the Method / 8.2.2:
Demonstration / 8.3:
Evaluating SRCs in Standard Situations / 8.3.1:
Comparing SRCs with the Appropriate Fixed Controller179 / 8.3.2:
Problems that Require SRCs / 8.3.3:
Related Work / 8.4:
Control Architectures for Competent Physical Agents / 8.4.1:
Control Languages for Reactive Control / 8.4.2:
Robot Planning / 8.4.3:
Conclusion / 9:
What Do Structured Reactive Controllers Do? / 9.1:
Why Do Structured Reactive Controllers Work? / 9.2:
Do Structured Reactive Controllers Work for Real Robots? / 9.3:
References
Abstract
Acknowledgements
List of Figures
20.

図書

図書
Ricardo Caferra, Gernot Salzer (eds.)
出版情報: Berlin : Springer, c2000  viii, 297 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1761 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
utomated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory / Gilles Dowek
Higher-Order Modal Logic-A Sketch / Melvin Fitting
Proving Associative-Commutative Termination Using RPO-Compatible Orderings / Deepak Kapur ; G. Sivakumar
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction / Alexander Leitsch
Replacement Rules with Definition Detection / David A. Plaisted ; Yunshan Zhu
Contributed Papers
On the Comlexity of Finite Sorted Algebras / Thierry Boy de la Tour
A Further and Effective Liberalization of the d-Rule in Free Variable Semantic Tableaux / Domenico Cantone ; Marianna Nicolosi Asmundo
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory / Calogero G. Zarba
Interpretation of a Mizar-Like Logic in First-Order Logic / Ingo Dahn
An <$>{\call O}$((n log n)3)-Time Transformationfrom Grz into Decidable Fragments of Classical First-Order Logic / Stéphane Demri ; Rajeev Goré
Implicational Completeness of Signed Resolution / Christian G. Fermüller
An Equational Re-engineering of Set Theories / Andrea Formisano ; Eugenio Omodeo
Issues of Decidability for Description Logics in the Framework of Resolution / Ullrich Hustadt ; Renate A. Schmidt
Extending Decidable Clause Classes via Constraints / Reinhard Pichler
Completeness and Redundancy in Constrained Clause Logic
Effective Properties of Some First-Order Intuitionistic Modal Logics / Aida PliuÜkeviciene
Hidden Congruent Deduction / Grigore Rosu ; Joseph Goguen
Resolution-Based Theorem Proving for SHn-Logics / Viorica Sofronie-Stokkermans
Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized d-Rule but without Skolemization / Claus-Peter Wirth
Author Index
Invited Papers
utomated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory / Gilles Dowek
Higher-Order Modal Logic-A Sketch / Melvin Fitting
21.

図書

図書
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
22.

図書

図書
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002  xi, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: loading…
目次情報: 続きを見る
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Compiler Construction Using LOTOS NT / Hubert Garavel ; Frédéric Lang ; Radu Mateescu
Analysis and Optimization
Data Compression Transformations for Dynamically Allocated Data Structures / Youtao Zhang ; Rajiv Gupta
Evaluating a Demand Driven Technique for Call Graph Construction / Gagan Agrawal ; Jinqian Li ; Qi Su
A Graph-Free Approach to Data-Flow Analysis / Markus Mohnen
A Representation for Bit Section Based Analysis and Optimization / Eduard Mehofer
Low-Level Analysis
Online Subpath Profiling / David Oren ; Yossi Matias ; Mooly Sagiv
Precise Exception Semantics in Dynamic Compilation / Michael Gschwind ; Erik Altman
Decompiling Java Bytecode: Problems, Traps and Pitfalls / Jerome Miecznikowski ; Laurie Hendren
Grammars and Parsing
Forwarding in Attribute Grammars for Modular Language Design / Eric Van Wyk ; Oege de Moor ; Kevin Backhouse ; Paul Kwiatkowski
Disambiguation Filters for Scannerless Generalized LR Parsers / Mark G. J. van den Brand ; Jeroen Scheerder ; Jurgen J. Vinju ; Eelco Visser
Invited Talk
Modular Static Program Analysis / Patrick Cousot ; Radhia Cousot
Domain-Specific Languages and Tools
StreamIt: A Language for Streaming Applications / William Thies ; Michal Karczmarek ; Saman Amarasinghe
Compiling Mercury to High-Level C Code / Fergus Henderson ; Zoltan Somogyi
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs / George C. Necula ; Scott McPeak ; Shree P. Rahul ; Westley Weimer
Energy Consumption Optimizations
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints / Hanspeter Mössenböck ; Michael Pfeiffer
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation / Andrea G. M. Cilio ; Henk Corporaal
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors / Siddharth Rele ; Santosh Pande ; Soner Onder
Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems / Mahmut Kandemir ; Ibrahim Kolcu ; Ismail Kadayif
Loop and Array Optimizations
Effective Enhancement of Loop Versioning in Java / Vitaly V. Mikheev ; Stanislav A. Fedoseev ; Vladimir V. Sukharev ; Nikita V. Lipsky
Value-Profile Guided Stride Prefetching for Irregular Code / Youfeng Wu ; Mauricio Serrano ; Rakesh Krishnaiyer ; Wei Li ; Jesse Fang
A Comprehensive Approach to Array Bounds Check Elimination for Java / Feng Qian ; Clark Verbrugge
Author Index
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
23.

図書

図書
Fabio Crestani, Mark Girolami, Cornelis Joost van Rijsbergen (eds.)
出版情報: Berlin : Springer, c2002  xiii, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2291
所蔵情報: loading…
目次情報: 続きを見る
Multimedia
Evaluating a Melody Extraction Engine / Thomas Sødring ; Alan F. Smeaton
Organising and Searching Partially Indexed Image Databases / Gérald Duffing ; Malika Smaïl
Combining Features for Content-Based Sketch Retrieval - A Comparative
Evaluation of Retrieval Performance / Daniel Heesch ; Stefan Rüger
The Web
Combining Web Document Representations in a Bayesian Inference
Network Model Using Link and Content-Based Evidence / Theodora Tsikrika ; Mounia Lalmas
An Improved Computation of the PageRank Algorithm / Sung Jin Kim ; Sang Ho Lee
Serving Enhanced Hypermedia Information / George Lepouras ; Costas Vassilakis ; George R.S. Weir
Query Modification
The Use of Implicit Evidence for Relevance Feedback in Web Retrieval / Ryen W. White ; Ian Ruthven ; Joemon M. Jose
Subject Knowledge, Source of Terms, and Term Selection in Query
Expansion: An Analytical Study / Pertti Vakkari
Automatic Profile Reformulation Using a Local Document Analysis / Anis Benammar ; Gilles Hubert ; Josiane Mothe
Soft Computing
A Study on Using Genetic Niching for Query Optimisation in
Document Retrieval / Mohand Boughanem ; Lynda Tamine
Concept Based Adaptive IR Model Using FCA-BAM Combination for
Concept Representation and Encoding / R.K. Rajapakse ; M. Denham
Models
A Layered Bayesian Network Model for Document Retrieval / Luis M. de Campos ; Juan M. Fernández-Luna ; Juan F. Huete
Term Frequency Normalization via Pareto Distributions / Gianni Amati ; Cornelis Joost van Rijsbergen
Optimal Mixture Models in IR / Victor Lavrenko
Categorization
Text Categorization: An Experiment Using Phrases / Madhusudhan Kongovi ; Juan Carlos Guzman ; Venu Dasigi
A Hierarchical Model for Clustering and Categorising Documents / E. Gaussier ; C. Goutte ; K. Popat ; F. Chen
Uncertainty-Based Noise Reduction and Term Selection in
Text Categorization / C. Peters ; C.H.A. Koster
Structured Documents
A Graphical User Interface for Structured Document Retrieval / Jesus Vegas ; Pablo de la Fuente ; Fabio Crestani
The Accessibility Dimension for Structured Document Retrieval / Thomas Roelleke ; Gabriella Kazai ; Stefan Quicker
Cross-Language
Building Bilingual Dictionaries from Parallel Web Documents / Craig J.A. McEwan ; Iadh Ounis
Translation-Based Indexing for Cross-Language Retrieval / Douglas W. Oard ; Funda Ertunc
Interactive Systems
A Retrospective Evaluation Method for Exact-Match and Best-Match
Queries Applying an Interactive Query Performance Analyser / Eero Sormunen
Genre Classification and Domain Transfer for Information Filtering / Aidan Finn ; Nicholas Kushmerick ; Barry Smyth
Author Index
Multimedia
Evaluating a Melody Extraction Engine / Thomas Sødring ; Alan F. Smeaton
Organising and Searching Partially Indexed Image Databases / Gérald Duffing ; Malika Smaïl
24.

図書

図書
Gregory D. Hager ...[et al.] (eds.)
出版情報: Berlin : Springer, c2002  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2238
所蔵情報: loading…
25.

図書

図書
Christian Schulte
出版情報: Berlin : Springer, c2002  xii, 176 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2302 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Constraint Programming / 1.1:
Motivation / 1.2:
Approach / 1.3:
Outline / 1.4:
Source Material / 1.5:
Constraints / 2:
Search / 2.2:
Programming / 2.3:
Introducing Oz Light / 3:
Overview / 3.1:
Oz Light: Basics / 3.2:
The Store / 3.2.1:
Threads / 3.2.2:
Statements / 3.2.3:
Oz Light Continued / 3.3:
Primitive Operations / 3.3.1:
Exceptions / 3.3.2:
Ports and Active Services / 3.3.3:
Finite Domain Constraints / 3.3.4:
Syntactic Convenience / 3.4:
Relation to Full Oz / 3.5:
Spaces for Search / 4:
Local Computation Spaces / 4.1:
Space Manipulation / 4.3:
Space Creation / 4.3.1:
Merging Spaces / 4.3.2:
Injecting into Spaces / 4.3.3:
Control and Status / 4.4:
Alternatives / 4.5:
Distributable Spaces / 4.5.2:
Synchronizing on Stability / 4.5.3:
Committing to Alternatives / 4.5.4:
Cloning Spaces / 4.5.5:
Refining Commit / 4.5.6:
Situated Procedure Calls: Services Reconsidered / 4.6:
Previous Work: Solve Combinator / 4.7:
Summary / 4.8:
Search Engines / 5:
Depth-First Search / 5.1:
Simplifying Control: Exceptions / 5.2:
Binarization / 5.3:
Multiple Solutions / 5.4:
Explicit State Representation / 5.5:
Limited Discrepancy Search / 5.6:
Best-First Search / 5.7:
Best-Solution Search / 6:
Constraining Spaces / 6.1:
Iterative Best-Solution Search / 6.2:
Branch-and-Bound Best-Solution Search / 6.3:
An Alternative Formulation of BAB / 6.4:
Prune-Search: Generalizing BAB / 6.5:
Recomputation / 7:
Full Recomputation / 7.1:
Fixed Recomputation / 7.3:
Why Recomputation Matters / 7.4:
Adaptive Recomputation / 7.5:
Oz Explorer: Visual Search / 8:
Development of Constraint Programs / 8.1:
Example: Aligning for a Photo / 8.2:
Features / 8.3:
Implementation / 8.4:
Evaluation / 8.5:
Related Work / 8.6:
Distributed Search / 9:
Distributed Oz / 9.1:
Architecture / 9.3:
Cooperation / 9.3.1:
Worker / 9.3.2:
Manager / 9.3.3:
Distributed Search Engines / 9.3.4:
Spaces for Combinators / 9.5:
Space Tree / 10.1:
Space Tree Manipulation / 10.3:
Stability / 10.3.1:
Status Variable / 10.4.2:
Debugging Support / 10.4.3:
Choice of Programming Language / 10.5:
Constraint Combinators / 11:
Concurrent Negation / 11.1:
Generic Reification / 11.3:
Disjunction / 11.4:
Conditional / 11.5:
Andorra-Style Disjunction / 11.6:
Discussion and Evaluation / 11.7:
Implementing Oz Light / 12:
Synchronization / 12.1:
Store / 12.3:
Scheduler / 12.4:
Implementing Spaces / 13:
Nodes and Links / 13.1:
The Store: Model / 13.2.2:
The Store: Implementation / 13.2.4:
Runnable Threads / 13.3:
Globally Suspended Threads / 13.3.2:
Speculative Constraints / 13.3.3:
Local Threads / 13.3.4:
Checking Stability / 13.3.5:
Merge / 13.4:
Choose and Commit / 13.5:
Richer Basic Constraints / 13.5.2:
Variable Aliasing / 13.6.1:
Tree Constraints / 13.6.2:
Ports / 13.6.3:
Performance Overview / 13.8:
Other Approaches to Search / 14:
Other Constraint Programming Systems / 14.1:
Comparison with Trailing / 14.2:
Expressiveness / 14.2.1:
Implementation Issues / 14.2.2:
Criteria and Examples / 14.2.3:
Copying / 14.2.4:
Copying versus Trailing / 14.2.5:
Recomputation versus Trailing / 14.2.6:
System Comparison / 14.3:
Conclusion / 15:
Main Contributions / 15.1:
Future Work / 15.2:
Benchmark Problems and Platforms / A:
Benchmark Problems / A.1:
Sequential Platform / A.2:
Distributed Platform / A.3:
References
Index
Introduction / 1:
Constraint Programming / 1.1:
Motivation / 1.2:
26.

図書

図書
Barbara Dunin-Kȩplicz, Edward Nawarecki (eds.)
出版情報: Berlin : Springer, c2002  ix, 340 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2296 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書

図書
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版情報: Berlin : Springer, c2002  xiii, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2283
所蔵情報: loading…
目次情報: 続きを見る
Elementary Techniques / Part I:
The Basics / 1:
Introduction / 1.1:
Theories / 1.2:
Types, Terms, and Formulae / 1.3:
Variables / 1.4:
Interaction and Interfaces / 1.5:
Getting Started / 1.6:
Functional Programming in HOL / 2:
An Introductory Theory / 2.1:
An Introductory Proof / 2.2:
Some Helpful Commands / 2.3:
Datatypes / 2.4:
Lists / 2.4.1:
The General Format / 2.4.2:
Primitive Recursion / 2.4.3:
Case Expressions / 2.4.4:
Structural Induction and Case Distinction / 2.4.5:
Case Study: Boolean Expressions / 2.4.6:
Some Basic Types / 2.5:
Natural Numbers / 2.5.1:
Pairs / 2.5.2:
Datatype option / 2.5.3:
Definitions / 2.6:
Type Synonyms / 2.6.1:
Constant Definitions / 2.6.2:
The Definitional Approach / 2.7:
More Functional Programming / 3:
Simplification / 3.1:
What Is Simplification? / 3.1.1:
Simplification Rules / 3.1.2:
The simp Method / 3.1.3:
Adding and Deleting Simplification Rules / 3.1.4:
Assumptions / 3.1.5:
Rewriting with Definitions / 3.1.6:
Simplifying let-Expressions / 3.1.7:
Conditional Simplification Rules / 3.1.8:
Automatic Case Splits / 3.1.9:
Tracing / 3.1.10:
Induction Heuristics / 3.2:
Case Study: Compiling Expressions / 3.3:
Advanced Datatypes / 3.4:
Mutual Recursion / 3.4.1:
Nested Recursion / 3.4.2:
The Limits of Nested Recursion / 3.4.3:
Case Study: Tries / 3.4.4:
Total Recursive Functions / 3.5:
Defining Recursive Functions / 3.5.1:
Proving Termination / 3.5.2:
Simplification and Recursive Functions / 3.5.3:
Induction and Recursive Functions / 3.5.4:
Presenting Theories / 4:
Concrete Syntax / 4.1:
Infix Annotations / 4.1.1:
Mathematical Symbols / 4.1.2:
Prefix Annotations / 4.1.3:
Syntax Translations / 4.1.4:
Document Preparation / 4.2:
Isabelle Sessions / 4.2.1:
Structure Markup / 4.2.2:
Formal Comments and Antiquotations / 4.2.3:
Interpretation of Symbols / 4.2.4:
Suppressing Output / 4.2.5:
Logic and Sets / Part II:
The Rules of the Game / 5:
Natural Deduction / 5.1:
Introduction Rules / 5.2:
Elimination Rules / 5.3:
Destruction Rules: Some Examples / 5.4:
Implication / 5.5:
Negation / 5.6:
Interlude: The Basic Methods for Rules / 5.7:
Unification and Substitution / 5.8:
Substitution and the subst Method / 5.8.1:
Unification and Its Pitfalls / 5.8.2:
Quantifiers / 5.9:
The Universal Introduction Rule / 5.9.1:
The Universal Elimination Rule / 5.9.2:
The Existential Quantifier / 5.9.3:
Renaming an Assumption: rename_tac / 5.9.4:
Reusing an Assumption: frule / 5.9.5:
Instantiating a Quantifier Explicitly / 5.9.6:
Description Operators / 5.10:
Definite Descriptions / 5.10.1:
Indefinite Descriptions / 5.10.2:
Some Proofs That Fail / 5.11:
Proving Theorems Using the blast Method / 5.12:
Other Classical Reasoning Methods / 5.13:
Forward Proof: Transforming Theorems / 5.14:
Modifying a Theorem Using of and THEN / 5.14.1:
Modifying a Theorem Using OF / 5.14.2:
Forward Reasoning in a Backward Proof / 5.15:
The Method insert / 5.15.1:
The Method subgoal_tac / 5.15.2:
Managing Large Proofs / 5.16:
Tacticals, or Control Structures / 5.16.1:
Subgoal Numbering / 5.16.2:
Proving the Correctness of Euclid's Algorithm / 5.17:
Sets, Functions, and Relations / 6:
Sets / 6.1:
Finite Set Notation / 6.1.1:
Set Comprehension / 6.1.2:
Binding Operators / 6.1.3:
Finiteness and Cardinality / 6.1.4:
Functions / 6.2:
Function Basics / 6.2.1:
Injections, Surjections, Bijections / 6.2.2:
Function Image / 6.2.3:
Relations / 6.3:
Relation Basics / 6.3.1:
The Reflexive and Transitive Closure / 6.3.2:
A Sample Proof / 6.3.3:
Well-Founded Relations and Induction / 6.4:
Fixed Point Operators / 6.5:
Case Study: Verified Model Checking / 6.6:
Propositional Dynamic Logic - PDL / 6.6.1:
Computation Tree Logic - CTL / 6.6.2:
Inductively Defined Sets / 7:
The Set of Even Numbers / 7.1:
Making an Inductive Definition / 7.1.1:
Using Introduction Rules / 7.1.2:
Rule Induction / 7.1.3:
Generalization and Rule Induction / 7.1.4:
Rule Inversion / 7.1.5:
Mutually Inductive Definitions / 7.1.6:
The Reflexive Transitive Closure / 7.2:
Advanced Inductive Definitions / 7.3:
Universal Quantifiers in Introduction Rules / 7.3.1:
Alternative Definition Using a Monotone Function / 7.3.2:
A Proof of Equivalence / 7.3.3:
Another Example of Rule Inversion / 7.3.4:
Case Study: A Context Free Grammar / 7.4:
Advanced Material / Part III:
More about Types / 8:
Numbers / 8.1:
Numeric Literals / 8.1.1:
The Type of Natural Numbers, nat / 8.1.2:
The Type of Integers, int / 8.1.3:
The Type of Real Numbers, real / 8.1.4:
Pairs and Tuples / 8.2:
Pattern Matching with Tuples / 8.2.1:
Theorem Proving / 8.2.2:
Records / 8.3:
Record Basics / 8.3.1:
Extensible Records and Generic Operations / 8.3.2:
Record Equality / 8.3.3:
Extending and Truncating Records / 8.3.4:
Axiomatic Type Classes / 8.4:
Overloading / 8.4.1:
Axioms / 8.4.2:
Introducing New Types / 8.5:
Declaring New Types / 8.5.1:
Defining New Types / 8.5.2:
Advanced Simplification, Recursion, and Induction / 9:
Advanced Features / 9.1:
How the Simplifier Works / 9.1.2:
Advanced Forms of Recursion / 9.2:
Beyond Measure / 9.2.1:
Recursion over Nested Datatypes / 9.2.2:
Partial Functions / 9.2.3:
Advanced Induction Techniques / 9.3:
Massaging the Proposition / 9.3.1:
Beyond Structural and Recursion Induction / 9.3.2:
Derivation of New Induction Schemas / 9.3.3:
CTL Revisited / 9.3.4:
Case Study: Verifying a Security Protocol / 10:
The Needham-Schroeder Public-Key Protocol / 10.1:
Agents and Messages / 10.2:
Modelling the Adversary / 10.3:
Event Traces / 10.4:
Modelling the Protocol / 10.5:
Proving Elementary Properties / 10.6:
Proving Secrecy Theorems / 10.7:
Appendix / A:
Bibliography
Index
Elementary Techniques / Part I:
The Basics / 1:
Introduction / 1.1:
28.

図書

図書
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c2002  ix, 388 p. ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2295
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Ésik
Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter ; G. Gottlob ; T. Schwentick
Decision Questions on Integer Matrices / T. Harju
Some Petri Net Languages and Codes / M. Ito ; Y. Kunimoch
Words, Permutations, and Representations of Numbers / H. Prodinger
Proof Complexity of Pigeonhole Principles / A.A. Razborov
Words and Patterns / A. Restivo ; S. Salemi
A Short Introduction to Infinite Automata / W. Thomas
Contributions
The Power of One-Letter Rational Languages / T. Cachat
The Entropy of Lukasiewicz-Languages / L. Staiger
Collapsing Words vs. Synchronizing Words / D.S. Ananichev ; M.V. Volkov
A Note on Synchronized Automata and Road Coloring Problem / K. Culik ; J. Karhumäki ; J. Kari
Shuffle Quotient and Decompositions / C. Câmpeanu ; K. Salomaa ; S. Vágvölgyi
The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages / G. Niemann ; J.R. Woinowski
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable / D. Kuske
Automata on Series-Parallel Biposets / Z.L. Németh
Hierarchies of String Languages Generated by Deterministic Tree Transducers / J. Engelfriet ; S. Maneth
Partially-Ordered Two-Way Automata: A New Characterization of DA / D. Thérien ; H. Vollmer
Level 5/2 of the Straubing-Therien Hierarchy for Two-Letter Alphabets / C. Glaβer ; H. Schmitz
On the Power of Randomized Pushdown Automata / J. Hromkovič ; G. Schnitger
The Root of a Language and Its Complexity / G. Lischke
Valuated and Valence Grammars: An Algebraic View / H. Fernau ; R. Stiebe
Context-Free Valence Grammars - Revisited / H.J. Hoogeboom
An Undecidability Result Concerning Periodic Morphisms / V. Halava
A Universal Turing Machine with 3 States and 9 Symbols / M. Kudlek ; Y. Rogozhin
Minimal Covers of Formal Languages / M. Domaratzki ; J. Shallit ; S. Yu
Some Regular Languages That Are Church-Rosser Congruential / J. Waldmann
On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy / M. Beaudry ; M. Holzer ; F. Otto
Forbidden Factors and Fragment Assembly / F. Mignosi ; M. Sciortino
Parallel Communicating Grammar Systems with Incomplete Information Communication / E. Csuhaj-Varjú ; G. Vaszil
Eliminating Communication by Parallel Rewriting / B. Rovan ; M. SlaÜt'an
String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosík ; R. Freund
Author Index
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
29.

図書

図書
Hellenic Conference on AI(2nd : 2002 : Thessaloniki, Greece) ; Vlahavas, Ioannis P. ; Spyropoulos, Constantine D., 1951-
出版情報: Berlin ; New York : Springer, c2002  xiv, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2308 . Lecture notes in artificial intelligence
所蔵情報: loading…
30.

図書

図書
David Bustard, Weiru Liu, Roy Sterritt (eds.)
出版情報: Berlin ; New York : Springer, c2002  xi, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2311
所蔵情報: loading…
目次情報: 続きを見る
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1:
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
Enabling Multimedia QoSControl with Black-Box Modelling / Gianluca Bontempi ; Gauthier Lafruit
Using Markov Chains for Link Prediction in Adaptive Web Sites / Jianhan Zhu ; Jun Hong ; John G. HughesTechnical Session 2:
Classification of Customer Call Data in the Presence of Concept Drift and Noise / Michaela Black ; Ray Hickey
A Learning System for Decision Support in Telecommunications / Filip Äelezný ; Jiří Zídgek ; Olga ètepánkova
Adaptive User Modelling in an Intelligent Telephone Assistant / Trevor P. Martin ; Benham Azvine
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning / Rolf HaenniTechnical Session 3:
Proof Length as an Uncertainty Factor in ILP / Gilles Richard ; Fatima Zohra Kettaf
Paraconsistency in Object-Oriented Databases / Rajiv Bagai ; Shellene J. Kelley
Decision Support with Imprecise Data for Consumers / Gergely Lukács
Genetic Programming: A Parallel Approach / Wolfgang Golubski
Software Uncertainty / Manny M. Lehman ; J.F. Ramil
Technical Session 4
Temporal Probabilistic Concepts from Heterogeneous Data Sequences / Sally McClean ; Bryan Scotney ; Fiona Palmer
Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy / Adele Marshall ; David Bell
Sequential Diagnosis in the Independence Bayesian Framework / David McSherry
Static Field Approach for Pattern Classification / Dymitr Ruta ; Bogdan Gabrys
Inferring Knowledge from Frequent Patterns / Marzena Kryszkiewicz
Anytime Possibilistic Propagation Algorithm / Nahla Ben Amor ; Salem Benferhat ; Khaled Mellouli
Technical Session 5
Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences / Carl Adams ; David E. Avison
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities / Isabel Ramos ; Daniel M. Berry ; João Á. Carvalho
Managing Evolving Requirements Using eXtreme Programming / Jim Tomayko
Text Summarization in Data Mining / Colleen E. Crangle
Invited Speakers
Industrial Applications of Intelligent Systems at BTexact
Intelligent Control of Wireless and Fixed Telecom Networks / John Bigham
Assertions in Programming: From Scientific Theory to Engineering Practice / Tony Hoare
Hybrid Soft Computing for Classification and Prediction Applications / Piero Bonissone
Why Users Cannot `Get What They Want' / Ray Paul
Systems Design with the Reverend Bayes / Derek McAuley
Formalism and Informality in Software Development / Michael Jackson
Industrial Panel
An Industrial Perspective on Soft Issues: Successes, Opportunities, and Challenges
Author Index
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1:
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
31.

図書

図書
Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.)
出版情報: Berlin : Springer, c2002  xiv, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2317 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書

図書
Cristina Gacek (ed.)
出版情報: Berlin : Springer, c2002  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2319
所蔵情報: loading…
33.

図書

図書
Vladimír Mařík ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xii, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2322 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書

図書
Stephan Diehl (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2269
所蔵情報: loading…
目次情報: 続きを見る
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1:
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
Animating Algorithms Live and Post Mortem / Stephan Diehl ; Carsten Görg
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership / James Noble
Algorithm Animation Using Data FlowTracing / Jaroslaw Francik
GeoWin: A Generic Tool for Interactive Visualization of Geometric Algorithms / Matthias Bäsken ; Stefan Näher
Algorithm Animation Systems for Constrained Domains / Ayellet Tal
Algorithm Animation for Teaching / Rudolf Fleischer ; Luděk Kučera
Software Engineering with an Introduction / Rym Mili ; Renee Steiner2:
Software Visualization for Reverse Engineering / Rainer Koschke
Visualizing the Execution of Java Programs / Wim De Pauw ; Erik Jensen ; Nick Mitchell ; Gary Sevitsky ; John Vlissides ; Jeaha Yang
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs / Katharina Mehner
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) / Rainer Oechsle ; Thomas Schmitt
Visualizing Memory Graphs / Thomas Zimmermann ; Andreas Zeller
Software Visualization and Education with an Introduction / John Domingue3:
Structure and Constraints in Interactive Exploratory Algorithm Learning / Nils Faltin
A Language and System for Constructing and Presenting LowFidelity Algorithm Visualizations / Christopher Hundhausen ; Sarah Douglas
Towards a Taxonomy of Network Protocol Visualization Tools / Pilu Crescenzi ; Gaia Innocenti
Understanding Algorithms by Means of Visualized Path Testing / Ari Korhonen
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web / Rockford J. Ross ; Michael T. Grinder
Graphs in Software Visualization with an Introduction / Petra Mutzel ; Peter Eades4:
On the Visualization of Java Programs / Holger Eichelberger ; J. Wolff von Gudenberg
Graph Drawing Algorithm Engineering with AGD / Carsten Gutwenger ; Michael Junger ; Gunnar W. Klau ; Sebastian Leipert
An Overviewof the GXL Graph Exchange Language / Andreas Winter ; Bernt Kullbach ; Volker Riediger
Call Graph and Control FlowGraph Visualization for Developers of Embedded Applications / Alexander A. Evstiougov-Babaev
Future Perspectives with an Introduction / 5:
Visualization for the MindÆs Eye / Nelson Baloian ; Wolfram Luther
The rube Framework for Personalized 3-D Software Visualization / John F. Hopkins ; Paul A. Fishwick
Algorithm Explanation: Visualizing Abstract States and Invariants / Reinhard Wilhelm ; Tomasz Muldner ; Raimund Seidel
Visualisation and Debugging of Decentralised Information Ecosystems / Rolf Hendrik van Lengen ; Jan-Thies Bahr
Author Index
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1:
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
35.

図書

図書
Frank van der Linden (ed.)
出版情報: Berlin : Springer, c2002  x, 416 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2290
所蔵情報: loading…
36.

図書

図書
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002  viii, 330 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: loading…
37.

図書

図書
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
出版情報: Berlin : Springer, c2002  xiv, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2297
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Roy CroleChapter 1:
Preliminaries / 1:
Assumed Knowledge / 1.1:
Volume Overview / 1.2:
A Mathematical History Tour / 2:
Fixed Points / 2.1:
Induction and Coinduction / 2.2:
Types and Categories / 2.3:
Algebras and Coalgebras / 2.4:
Mathematics in ACMMPC / 3:
Chapter 2: Ordered Sets and Complete Lattices / 3.1:
Chapter 3: Introducing Algebras and Coalgebras / 3.2:
Chapter 4: Galois Connections and Fixed Point Calculus / 3.3:
Chapter 5: Calculating Functional Programs / 3.4:
Chapter 6: Algebra of Program Termination / 3.5:
Chapter 7: Exercises in Coalgebraic Specification / 3.6:
Chapter 8: Algebraic Methods for Optimization Problems / 3.7:
Chapter 9: Temporal Algebra / 3.8:
Ordered Sets and Complete Lattices / Hilary A. PriestleyChapter 2:
From Binary Relations to Diagrams
A Fundamental Example: Powersets
Input-Output Relations Pictorially
Exercise
Binary Relations and Their Polars
Summing Up So Far / 2.5:
Order, Order, Order
Partial Order
Information Orderings
Diagrams
Duality: Buy One, Get One Free
Bottom and Top
Lifting
New Posets from Old: Sums and Products
Maps between Posets
Pointwise Ordering of Maps / 3.9:
Up-Sets: An Inbred Example / 3.10:
Monotone Maps and Up-Sets / 3.11:
Exercise (More on Monotone Maps and Up-Sets) / 3.12:
Down Is Nice Too / 3.13:
Exercise (Turning Things Upside Down) / 3.14:
The Down-Set Operator, ↓, and the Up-Set Operator, ↑ / 3.15:
Exercise (A Context Explored) / 3.16:
Maximal and Minimal Elements / 3.17:
Stocktaking / 3.18:
Lattices in General and Complete Lattices in Particular / 4:
Lattices / 4.1:
Examples of Lattices / 4.2:
Distributive Lattices / 4.3:
Boolean Algebras / 4.4:
Lattices in Logic / 4.5:
Upper Bounds and Sups, Lower Bounds and Infs / 4.6:
Much Ado about Nothing, and about Everything / 4.7:
Complete Lattices / 4.8:
Completeness on the Cheap / 4.9:
A Special Class of Complete Lattices / 4.10:
Suprema, Infima, and Monotone Maps / 4.11:
Complete Lattices, Concretely: Closure Systems and Closure Operators / 5:
A Useful Technical Remark / 5.1:
Complete Lattices of Sets / 5.2:
Closure Systems / 5.3:
Examples / 5.4:
From a Complete Lattice to a Closure System / 5.6:
Defining Closure Operators / 5.7:
New Complete Lattices from Old: From a Closure Operator to a Complete Lattice / 5.8:
Closure Operators more Concretely / 5.9:
Galois Connections: Basics / 6:
Lattice Representation via Galois Connections / 6.1:
Galois Connections from Binary Relations: Method I / 6.3:
Galois Connections and Algebras-A Fleeting Glimpse / 6.4:
Galois Connections by Sectioning / 6.5:
Galois Connections from Binary Relations: Method II / 6.6:
Galois Connections: Basic Properties / 6.7:
<$>{}^\triangleright<$> and <$>{}^\triangleleft<$> Have Isomorphic Images / 6.8:
Equivalent Definitions for Galois Connections / 6.9:
The Good (and Less Good) Behaviour of Galois Maps / 6.10:
Uniqueness of Adjoints: <$>{}^\triangleright<$> from <$>{}^\triangleleft<$> and <$>{}^\triangleleft<$> from <$>{}^\triangleright<$> / 6.11:
Exercise (Surjective and Injective Galois Maps) / 6.12:
A Look Ahead / 6.13:
Existence of Adjoints: A Technical Lemma / 6.14:
Existence Theorem for Adjoints / 6.15:
Postscript / 6.16:
Making Connections, Conceptually / 7:
From a Galois Connection to a Closure Operator / 7.1:
From a Closure Operator to a Galois Connection / 7.2:
Contexts and Concepts: Re-setting the Scene / 7.3:
Ordering Concepts / 7.4:
Three for the Price of One: A Trinity of Complete Lattices / 7.5:
Manufacturing Concepts / 7.6:
Density: Generating all Concepts via γ or μ / 7.7:
From a Complete Lattice to a Concept Lattice / 7.8:
The Case for the Defence / 7.9:
Summing Up / 7.10:
The Existence of Fixed Points / 8:
Fixed Points and Least Fixed Points: Definitions / 8.1:
Characterizing Least Fixed Points via Least Prefix Points / 8.2:
The Knaster-Tarski Fixed Point Theorem / 8.3:
From Complete Lattices to CPOs / 8.4:
A Sense of Direction / 8.7:
Exercise (Sups and Directed Sups Related) / 8.8:
CPOs / 8.9:
Directed Sets and Continuity / 8.10:
New CPOs from Old / 8.11:
Fixed Point Theorem for a Continuous Function on a CPO / 8.12:
From Continuity to Monotonicity / 8.13:
An Assumption: Zorn's Lemma (ZL), CPO Form / 8.14:
The Fixed Point Theorem for a Monotone Endofunction on a CPO / 8.15:
Concluding Remarks / 8.16:
Speaking Categorically / 9:
Categories / 9.1:
Terms / Peter AczelChapter 3:
Variable-Free Terms
Terms as Set Theoretical Objects
Terms with Variables
Initial (F,X)-Algebras
Substitution
Trees
Variable-Free Trees
Representing Terms as Well-Founded Trees
Corecursion
Set Theoretical Representation of Trees
Trees with Variables
Solution Property
The Monad of a Substitution System
Galois Connections and Fixed Point Calculus / Roland BackhouseChapter 4:
Fixed Point Equations
Languages
Functions / 1.3:
Datatypes / 1.4:
Galois Connections / 1.5:
Basic Assumptions / 1.6:
Issues and Applications / 1.7:
Galois Connections - Introductory Examples
Simple Examples
The Floor Function
Identifying Galois Connections
Symmetric Definitions
Universal Property
Commutativity Properties
Pair Algebras
Infima and Suprema
Extremum Preservation Properties
Existence Theorem
Prefix Points
A First Example
Kleene Algebra
Fixed Point Calculus
Basic Rules
Fusion
Uniqueness
Parameterised Prefix Points
Mutual Recursion
An Illustration - Arithmetic Expressions
Further Reading
Calculating Functional Programs / Jeremy GibbonsChapter 5:
Why Calculate Programs?
Functional Programming
Universal Properties
The Categorical Approach to Datatypes
The Pair Calculus
Bibliographic Notes
Exercises
Recursive Datatypes in the Category Set
Overview
Monomorphic Datatypes
Folds
Polymorphic Datatypes
Properties of Folds
Co-datatypes and Unfolds
... and Never the Twain Shall Meet / 2.7:
Recursive Datatypes in the Category Cpo / 2.8:
The Category Cpo
Continuous Algebras
The Pair Calculus Again
Hylomorphisms
Applications
A Simple Compiler
Monads andComonads
Breadth-First Traversal
Appendix: Implementation in Haskell
Products
Sums
Functors
Folds and Unfolds
Lists
Quicksort
Algebra of Program Termination / Henk DoornbosChapter 6:
Imperative Programming and Well-Founded Relations
Relation Algebra
Imperative Programming
Domains and Division
Well-Foundedness Defined
Totality of While Statements
Induction Principles
Admits-Induction Implies Well-Founded
Hylo Equations
Relators and Hylos
Hylo Programs
Intermediate Data Structures
The Hylo Theorem
Reducing Problem Size
A Calculus of F-Reductivity
Exercises in Coalgebraic Specification / Bart JacobsChapter 7:
Mathematical Preliminaries
Specification of Groups and Vector Spaces
A First Coalgebraic Specification: Binary Trees
Elements of Binary Trees
Bisimulations and Bisimilarity
Invariants
Temporal Logic for Coalgebras
A Concrete Description of <$>\box<$> and <$>\diamondsuit<$> for Binary Trees
Using <$>\box<$> and <$>\diamondsuit<$> for Specification and Verification of Binary Trees
Towards a μ-Calculus for Coalgebras
A Case Study: Peterson's Mutual Exclusion Algorithm
Peterson's Solution for Mutual Exclusion
Dealing with Time in Coalgebraic Specification / 9.2:
Class-Valued Methods / 9.3:
Peterson's Algorithm in Coalgebraic Specification / 9.4:
Refinements between Coalgebraic Specifications / 10:
Conclusion / 11:
Algebraic Methods for Optimization Problems / Richard Bird ; Shin-Cheng MuChapter 8:
The Algebra of Relations
Relations
Special Kinds of Relation
Breadth
BibliographicNotes
Optimization Problems
The Eilenberg-Wright Lemma
Preorders
Monotonicity
Minimum
The GreedyTheorem
Thinning
Optimal Bracketing
Representation
The Converse-of-a-Function Theorem
Spines
An Application of Thinning
An Application of Greediness
Refinement of the Greedy Algorithm to a Program
Summary
The Haskell Program
Temporal Algebra / Burghard von KargerChapter 9:
Boolean Algebra
Regular Algebra
Iteration
Repetition
Galois Algebra
Definition and Basic Properties
New Algebrasfrom Old
Diamonds and Boxes
`Until' and `Since'
Confluence
Linearity
Infinity
Sequential Algebra
Observations
Lifting to Sets
Sequential Set Algebras
Abstract Sequential Algebras
Time-Wise Duality
Relational Laws of Sequential Algebra
Basic Laws
Predicates
Left and Right Domain
Interval Calculi
Somewhere and Everywhere
Importability
Engineer's Induction
Finite and Infinite Observations
Measuring Time
Phase Calculus
Duration Calculus
Author Index
Introduction / Roy CroleChapter 1:
Preliminaries / 1:
Assumed Knowledge / 1.1:
38.

図書

図書
Pierre Collet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2310
所蔵情報: loading…
39.

図書

図書
Josep Domingo-Ferrer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2316
所蔵情報: loading…
40.

図書

図書
Tomas Sander (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2320
所蔵情報: loading…
41.

図書

図書
Lars Knudsen (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 545 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2332
所蔵情報: loading…
目次情報: 続きを見る
Cryptanalysis I
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
Extending the GHS Weil Descent Attack / Steven D. Galbraith ; Florian Hess ; Nigel P. Smart
Public-Key Encryption
Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption / Ronald Cramer ; Victor Shoup
Key-Insulated Public Key Cryptosystems / Yevgeniy Dodis ; Jonathan Katz ; Shouhuai Xu ; Moti Yung
On the Security of Joint Signature and Encryption / Jee Hea An ; Tal Rabin
Invited Talk
AES and the Wide Trail Design Strategy / Joan Daemen ; Vincent Rijmen
Information Theory & New Models
Indistinguishability of Random Systems / Ueli Maurer
How to Fool an Unbounded Adversary with a Short Key / Alexander Russell ; Hong Wang
Cryptography in an Unbounded Computational Model / David P. Woodruff ; Marten van Dijk
Implementational Analysis
Performance Analysis and Parallel Implementation of Dedicated Hash Functions / Junko Nakajima ; Mitsuru Matsui
Fault Injection and a Timing Channel on an Analysis Technique / John A. Clark ; Jeremy L. Jacob
Speeding Up Point Multiplication on Hyperelliptic Curves with Efficiently-Computable Endomorphisms / Young-Ho Park ; Sangtae Jeong ; Jongin Lim
Stream Ciphers
Fast Correlation Attacks: An Algorithmic Point of View / Philippe Chose ; Antoine Joux ; Michel Mitton
BDD-Based Cryptanalysis of Keystream Generators / Matthias Krause
Linear Cryptanalysis of Bluetooth Stream Cipher / Jovan Dj. Golić ; Vittorio Bagini ; Guglielmo Morgari
Digital Signatures I
Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups / Ivan Damgård ; Maciej Koprowski
Optimal Security Proofs for PSS and Other Signature Schemes / Jean-Sébastien Coron
Cryptanalysis II
Cryptanalysis of SFLASH / Henri Gilbert ; Marine Minier
Cryptanalysis of the Revised NTRU Signature Scheme / Craig Gentry ; Mike Szydlo
Key Exchange
Dynamic Group Diffie-Hellman Key Exchange under Standard Assumptions / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
Universally Composable Notions of Key Exchange and Secure Channels / Ran Canetti ; Hugo Krawczyk
On Deniability in Quantum Key Exchange / Donald Beaver
Modes of Operation
A Practice-Oriented Treatment of Pseudorandom Number Generators / Anand Desai ; Alejandro Hevia ; Yiqun Lisa Yin
A Block-Cipher Mode of Operation for Parallelizable Message Authentication / John Black ; Phillip Rogaway
Rethinking PKI: What's Trust Got to Do with It? / Stephen Kent
Digital Signatures II
Efficient Generic Forward-Secure Signatures with an Unbounded Number of Time Periods / Tal Malkin ; Sara Miner
From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security / Michel Abdalla ; Mihir Bellare ; Chanathip Namprempre
Security Notions for Unconditionally Secure Signature Schemes / Junji Shikata ; Goichiro Hanaoka ; Yuliang Zheng ; Hideki Imai
Traitor Tracking & Id-Based Encryption
Traitor Tracing with Constant Transmission Rate / Aggelos Kiayias
Toward Hierarchical Identity-Based Encryption / Jeremy Horwitz ; Ben Lynn
Multiparty and Multicast
Unconditional Byzantine Agreement and Multi-party Computation Secure against Dishonest Minorities from Scratch / Matthias Fitzi ; Nicolas Gisin ; Oliver von Rotz
Perfectly Secure Message Transmission Revisited / Yvo Desmedt ; Yongge Wang
Symmetric Cryptology
Degree of Composition of Highly Nonlinear Functions and Applications to Higher Order Differential Cryptanalysis / Anne Canteaut ; Marion Videau
Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS / Serge Vaudenay
Author Index
Cryptanalysis I
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
42.

図書

図書
Georg Carle, Martina Zitterbart (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2334
所蔵情報: loading…
43.

図書

図書
Yang Xiang, Brahim Chaib-draa (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 642 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2671 . Lecture notes in artificial intelligence
所蔵情報: loading…
44.

図書

図書
Radhia Cousot (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2694
所蔵情報: loading…
45.

図書

図書
[Masami Ito, Masafumi Toyama (eds.)]
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 427 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2450
所蔵情報: loading…
46.

図書

図書
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: loading…
47.

図書

図書
Christian Freksa ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2685 . Lecture notes in artificial intelligence
所蔵情報: loading…
48.

図書

図書
Marc-Philippe Huget (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 322 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2650 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書

図書
Anand Rangarajan, Mário Figueiredo, Josiane Zerubia (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2683
所蔵情報: loading…
50.

図書

図書
[Concettina Guerra, Sorin Istrail (eds.)]
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 157 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2666 . Lecture notes in bioinformatics
所蔵情報: loading…
目次情報: 続きを見る
Protein Structure Comparison: Algorithms and Applications / Giuseppe Lancia ; Sorin Istrail
Introduction / 1:
Preliminaries / 2:
Applications of Structure Comparisons / 3:
Software and Algorithms for Structure Comparison / 4:
Problems Based on Contact Map Representations / 5:
Acknowledgements / 6:
References
Spatial Pattern Detection in Structural Bionformatics / Haim J. Wolfson
Protein Shape Representation
Protein Structural Alignment
Protein-Protein Docking
Summary
Geometric Methods for Protein Structure Comparison / Carlo Ferrari ; Concettina Guerra
Protein Description
Structural Comparison: Problem Formulation
Representation of Rigid Transformations
Determination of 3D Rigid Transformations
Geometric Pattern Matching
Indexing Techniques / 7:
Graph-Theoretic Approaches / 8:
Integration of Methods for Protein Comparison Using Different Representations / 9:
Conclusions / 10:
Identifying Flat Regions and Slabs in Protein Structures / Mary Ellen Bock11:
A Geometric Algorithm
An Improved Geometric Algorithm
Hough Transform
Performances of the Two Algorithms
Plane Detection in Proteins
Optima: A New Score Function for the Detection of Remote Homologs / Maricel Kann ; Richard A. Goldstein
Abstract
Methods
A Comparison of Methods for Assessing the Structural Similarity of Proteins / Dean C. Adams ; Gavin J.P. Naylor
The DALI Algorithm
The Root Mean Square Algorithm
Geometric Morphometrics
Comparison of Methods
Discussion
Prediction of Protein Secondary Structure at High Accuracy Using a Combination of Many Neural Networks / Claus Lundegaard ; Thomas Nordahl Petersen ; Morten Nielsen ; Henrik Bohr ; Jacob Bohr ; Soren Brunak ; Garry Gippert ; Ole Lund
Results
Self-consistent Knowledge-Based Approach to Protein Design / Andrea Rossi ; Cristian Micheletti ; Flavio Seno ; Amos Maritan
The Design Strategy
Results and Discussion
Protein Structure from Solid-State NMR / John R. Quine ; Timothy A. Cross
Discrete Curves
Tensors and NMR
Structure from Orientational Constraints
Acknowledgment
Learning Effective Amino-Acid Interactions / Jayanth R. Banavar
Models and Techniques
Proteinlike Properties of Simple Models / Yves-Henri Sanejouand ; Georges Trinquier
The 3x3x3 Cubic Lattice Model
N-Soft-Spheres Models
List of participants
Protein Structure Comparison: Algorithms and Applications / Giuseppe Lancia ; Sorin Istrail
Introduction / 1:
Preliminaries / 2:
51.

図書

図書
Wojciech Burakowski, Berthold Koch, Andrzej Bęben (eds. )
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2698
所蔵情報: loading…
52.

図書

図書
Martin V. Butz, Olivier Sigaud, Pierre Gérard (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 301 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2684 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Anticipatory Behavior: Exploiting Knowledge About the Future toImprove Current Behavior / Martin V. Butz ; Olivier Sigaud ; Pierre Gerard
Philosophical Considerations
Whose Anticipations? / Alexander Riegler
Not Everything We Know We Learned / Mihai Nadin
From Cognitive Psychology to Cognitive Systems Anticipatory Behavioral Control / Joachim Hoffmann
Towards a Four Factor Theory of Anticipatory Learning / Mark Witkowski
Formulations, Distinctions, and Characteristics Internal Models and Anticipations in Adaptive Learning Systems
Mathematical Foundations of Discrete and Functional Systems with Strong and Weak Anticipations / Daniel M. Dubois
Anticipation Driven Artificial Personality: Building on Lewin and Loehlin / Stevo Bozinovski
A Framework for Preventive State Anticipation / Paul Davidsson
Symbols and Dynamics in Embodied Cognition: Revisiting a Robot Experiment / Jun Tani
Systems, Evaluations, and Applications Forward and Bidirectional Planning Based on Reinforcement Learning and Neural Networks in a Simulated Robot / Gianluca Baldassarre
Sensory Anticipation for Autonomous Selection of Robot Landmarks / Jason Fleischer ; Stephen Marsland ; Jonathan Shapiro
Representing Robot-Environment Interactions by Dynamical Features of Neuro-controllers / Martin Hülse ; Keyan Zahedi ; Frank Pasemann ; Sankt Augustin
Anticipatory Guidance of Plot / Jarmo Laaksolahti ; Magnus Boman
Exploring the Value of Prediction in an Artificial Stock Market / Bruce Edmonds
Generalized State Values in an Anticipatory Learning Classifier System / David E. Goldberg
Author Index
Introduction
Anticipatory Behavior: Exploiting Knowledge About the Future toImprove Current Behavior / Martin V. Butz ; Olivier Sigaud ; Pierre Gerard
Philosophical Considerations
53.

図書

図書
Rei Safavi-Naini, Jennifer Seberry (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2727
所蔵情報: loading…
54.

図書

図書
Josef Bigun, Tomas Gustavsson (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxii, 1173 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2749
所蔵情報: loading…
55.

図書

図書
Zoltán Ésik, Zoltán Fülöp (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2710
所蔵情報: loading…
56.

図書

図書
Jean-Marc Champarnaud, Denis Maurel (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 306 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2608
所蔵情報: loading…
57.

図書

図書
Rick Reed, Jeanne Reed (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2708
所蔵情報: loading…
58.

図書

図書
Erwin M. Bakker ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 512 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2728
所蔵情報: loading…
59.

図書

図書
Taner Bilgiç, Bernard De Baets, Okyay Kaynak (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 735 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2715 . Lecture notes in artificial intelligence
所蔵情報: loading…
60.

図書

図書
Mário Marques Freire, Pascal Lorenz, Mike Myung-Ok Lee (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2720
所蔵情報: loading…
目次情報: 続きを見る
Integrated and Differentiated Services
Dynamic Mapping between the Controlled-Load IntServ Service and the Assured Forward DiffServ PHB / A. Pereira ; E. Monteiro
Analytical Approach and Verification of a DiffServ-Based Priority Service / C. Bouras ; A. Sevasti
Evaluation of Integrated Services Support on Linux / E. Reis
End-to-End QoS Mapping in IntServ-over-DiffServ Architectures / Z. Mammeri
Multicasting
A RTT-based Partitioning Algorithm for a Multi-rate Reliable Multicast Protocol / M. Maimour ; C.-D. Pham
Towards Multi-class Based Multicast Routing / M.J. Nicolau ; A. Costa ; A. Santos ; V. Freitas
ECN-capable Multicast Multimedia Delivery / R.R. Chodorek
Peer-to-Peer Networking
Providing Fault Tolerance for Peer-to-Peer Streaming Service / S.Kang ; H.Kim ; H. Y.Yeom
Efficient and Scalable Client-Clustering for Proxy Cache / K. Kim ; W.J. Kim ; D. Park
Diversity Protected, Cache Based Reliable Content Distribution Building on Scalable, P2P, and Multicast Based Content Discovery / C. Bachmeir ; J. Peng ; H.-J. Vögel ; C. Wallace ; G. Conran
A Measurement Study of Storage Resource and Multimedia Contents on a High-Performance Research and Education Network / H.-c. Kim ; D. Lee ; J. Lee ; J.J.W. Suh ; K. Chon
Quality of Service
Deployment of Class-Based Routing in Wide Area Networks: Cost and Performance Assessment / M. Curado ; O. Reis ; J. Brito ; G. Quadros
Prediction-Based Dynamic QoS Assurance for Multicast Multimedia Delivery / A. Chodorek
A QoS Based Routing Algorithm for Multi-class Optimization in DiffServ Networks / W. Zhou ; P. Zhang ; X. Bai ; R. Kantola
An Open Modular Router with QoS Capabilities / G. Calarco ; C. Raffaelli
Network and Information Management Issues
A SMIng Based Policy Access Control for SNMPv3 / R. State ; E. Nataf ; O. Festor
An Innovative Resource Management Scheme for Multi-gigabit Networking Systems / G. Kornaros ; I. Papaefstathiou
Rate-Based Active Queue Management with Token Buckets / A. Kind ; B. Metzler
Towards Web-Based Information and Knowledge Management in Higher Education Institutions / J.J.P.C. Rodrigues ; M.J. Barrulas
WDM Networks
A Bi-initiation-Based Path Restoration Mechanism for Wavelength-Routed WDM Networks / J. Zheng ; H. T. Mouftah
A Resource Efficient Optical Protection Scheme for IP-over-WDM Networks / N.S.C. Correia ; M.C.R. Medeiros
A Service and Network Management Framework for Providing Guaranteed QoS IP Services over WDM / D. Kagklis ; L.Raptis ; Y. Patikis ; G.Hatzilias ; M.Ellinas ; D. Giannakopoulos ; E. Sykas
The Study on the Traffic Modeling with PI and the Design for the All Optical Network Modeling with WDM in Korea / M. Jang ; H. Choi
Mobile and Wireless Networks
Multihoming with Mobile IP / C. Ã…hlund ; A. Zaslavsky
Dynamic Proportional Delay Differentiation Scheduling over IEEE 802.11 Wireless Network / K. Yoon ; J.W. Kim
Bluetooth Throughput Improvement Using a Slave to Slave Piconet Formation / C. Lafon ; T.S. Durrani
Video
User-Assisted Segmentation and Tracking of Video Objects / Y. Nam ; E. Hwang ; S.-H. Hong ; M.M.-O. Lee
An Efficient Rate-Distortion Analysis Model for MPEG Video
Multiple Description Coding for Quincunx Images. Application to Satellite Transmission / M. Pereira ; A. Gouze ; M. Antonini ; M. Barlaud
CDMA
Base Station Joint Scheduling for Downlink Throughput Maximization in CDMA Packet Data Networks / C. Makaya ; S. Aïssa
Implementation of Digital Transceiver for Multiple CDMA Signals / J.H. Jung ; K.C. Lee ; D.S. Lyu
The Implementation of 256 QAM CDMA Modulator / J.W. Shin ; H.J. Park ; D.S. Cho ; C.W. Yoo ; Y.O. Park
Real Time Issues and Protocols for IP Networks
HIDRA: HIstory Directed Routing Algorithm for IP Networks / P. Fafali ; C.Z. Patrikakis ; E.N. Protonotarios
A Dimensioning Strategy for Almost Guaranteed Quality of Service in Voice over IP Networks / S. Sharafeddine ; A. Riedl ; J. Totzke
An Admission Control Scheme for Voice Traffic over IP Networks / H. T. Tran ; T. Ziegler
IP Concatenation: The Method for Enhancement of IPsec Performance / J. Moon ; H.Y. Yeom
Multimedia Streaming
Analysis Tool for a Video-on-Demand Service Based in Streaming Technology / X. G. Pañeda ; D. Melendi ; M. García ; V. García|CR. García ; E. Riesgo
Extending an Open MPEG-4 Video Streaming Platform to Exploit a Differentiated Services Network / S. Zoi ; D. Loukatos ; L. Sarakis ; P. Stathopoulos ; N. Mitrou
Multiple Description Coding for Video Streaming over Wireless Networks
A Playout Time Oriented Retransmission Scheme for Multimedia Streaming Systems / H. Hagino ; Y. Miyazaki ; Y. Onoe ; Y. Atsumi ; H. Komak ; M. Taniguchi ; N. Yamanouchi
Optical Switching and Performance Monitoring
On the Capacity Requirements of ASONs versus OTNs / S. De Maesschalck ; D. Colle ; D. Willems ; M. Pickavet ; P. Demeester
Crosstalk Effects in Large Strictly Non-blocking Optical Switches Based on Directional Couplers / L. Cancela ; J. Pires
Multiplexers and Demultiplexers Based on Fibre Bragg Gratings and Optical Circulators for DWDM Systems / R. Romero ; O.Frazão ; F. Floreani ; L. Zhang ; P.V.S. Marques ; H.M. Salgado
Optical Performance Monitoring in High Speed Transparent DWDM Networks through Asynchronous Sampling / P.S. André ; A.L.J. Teixeira ; M.J.N. Lima ; R.N. Nogueira ; J.F. da Rocha ; J.L. Pinto
TCP Performance
Performance Comparison between TCP-Reno and Freeze-Snoop TCP/SACK over cdma2000 Network Environments|CS.-H Lee / H.-G. Ahn ; J.-S Lim ; S. Kim ; S.-Y. Lee ; M.-S. Lee
RD-TCP: Reorder Detecting TCP / A. Sathiaseelan ; T. Radzik
Explicit Loss Notification to Improve TCP Performance over Wireless Networks / G. Buchholcz ; A. Gricser ; T.V. Do
Comparing Performance of SRAMT-LE Vs. Other Layered Encoding Schemes Regarding TCP Friendliness / A. Gkamas
Voice over IP
Design and Development of a SIP-based Video Conferencing Application / B. Tulu ; T. Abhichandani ; S. Chatterjee ; H. Li
Optimal On-Demand VoIP Quality in an H.323 Network / R. Estepa ; A. Estepa ; R. Rivero ; J.M. Vozmediano
VAD for VoIP Using Cepstrum / R.V. Prasad ; H.S. Jamadagni ; A. Sangwan ; Chiranth M.C.
Development of a Voice over IP Applications for a Metropolitan Area Network / A. Heck ; P. Lorenz ; H. Bloch
Traffic Models
Traffic Model Characterization of an HFC Network / M. Garcia ; D.F. Garcia ; V.G. Garcia ; R. Bonis
Modeling Self-similar Traffic through Markov Modulated Poisson Processes over Multiple Time Scales / A. Nogueira ; P. Salvador ; R. Valadas ; A. Pacheco
Evaluation of Steady-State Probability of Pareto/M/1/K Experiencing Tail-Raising Effect / Y. Koh
A Comparative Study on Simulation Models for Self-similar Traffic / R. Girnão-Silva ; J. Craveirinha
Author Index
Integrated and Differentiated Services
Dynamic Mapping between the Controlled-Load IntServ Service and the Assured Forward DiffServ PHB / A. Pereira ; E. Monteiro
Analytical Approach and Verification of a DiffServ-Based Priority Service / C. Bouras ; A. Sevasti
61.

図書

図書
Thanasis Hadzilacos ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 524 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2750
所蔵情報: loading…
62.

図書

図書
Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 608 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2711 . Lecture notes in artificial intelligence
所蔵情報: loading…
63.

図書

図書
Minyi Guo, Laurence Tianruo Yang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2745
所蔵情報: loading…
64.

図書

図書
Petra Perner, Azriel Rosenfeld (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2734 . Lecture notes in artificial intelligence
所蔵情報: loading…
65.

図書

図書
Nuno J. Mamede ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 268 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2721 . Lecture notes in artificial intelligence
所蔵情報: loading…
66.

図書

図書
Edwin Hancock, Mario Vento (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2726
所蔵情報: loading…
67.

図書

図書
Joan Feigenbaum (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 220 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2696
所蔵情報: loading…
68.

図書

図書
Tandy Warnow, Binhai Zhu (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 560 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2697
所蔵情報: loading…
69.

図書

図書
Anne James, Brian Lings, Muhammad Younas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2712
所蔵情報: loading…
70.

図書

図書
Juan Manuel Cueva Lovelle ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xix, 554 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2722
所蔵情報: loading…
71.

図書

図書
Bernhard Schölkopf, Manfred K. Warmuth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 746 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2777 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Target Area: Computational Game Theory
Tutorial: Learning Topics in Game-Theoretic Decision Making / Michael L. Littman
Invited Talk
A General Class of No-Regret Learning Algorithms and Game-Theoretic Equilibria / Amy Greenwald ; Amir Jafari
Contributed Talks
Preference Elicitation and Query Learning / Avrim Blum ; Jeffrey C. Jackson ; Tuomas Sandholm ; Martin Zinkevich
Efficient Algorithms for Online Decision Problems / Adam Kalai ; Santosh Vempala
Kernel Machines
Positive Definite Rational Kernels / Corinna Cortes ; Patrick Haffner ; Mehryar Mohri
Bhattacharyya and Expected Likelihood Kernels / Tony Jebara ; Risi Kondor
Maximal Margin Classification for Metric Spaces / Matthias Hein ; Olivier Bousquet
Maximum Margin Algorithms with Boolean Kernels / Roni Khardon ; Rocco A. Servedio
Knowledge-Based Nonlinear Kernel Classifiers / Glenn M. Fung ; Olvi L. Mangasarian ; Jude W. Shavlik
Fast Kernels for Inexact String Matching / Christina Leslie ; Rui Kuang
On Graph Kernels: Hardness Results and Efficient Alternatives / Thomas Gärtner ; Peter Flach ; Stefan Wrobel
Kernels and Regularization on Graphs / Alexander J. Smola
Data-Dependent Bounds for Multi-category Classification Based on Convex Losses / Ilya Desyatnikov ; Ron Meir
Poster Session 1
Comparing Clusterings by the Variation of Information / Marina Meila
Multiplicative Updates for Large Margin Classifiers / Fei Sha ; Lawrence K. Saul ; Daniel D. Lee
Simplified PAC-Bayesian Margin Bounds / David McAllester
Sparse Kernel Partial Least Squares Regression / Michinari Momma ; Kristin P. Bennett
Sparse Probability Regression by Label Partitioning / Shantanu Chakrabartty ; Gert Cauwenberghs ; Jayadeva
Learning with Rigorous Support Vector Machines / Jinbo Bi ; Vladimir N. Vapnik
Robust Regression by Boosting the Median / Balázs Kégl
Boosting with Diverse Base Classifiers / Sanjoy Dasgupta ; Philip M. Long
Reducing Kernel Matrix Diagonal Dominance Using Semi-definite Programming / Jaz Kandola ; Thore Graepe ; John Shawe-Taylor
Statistical Learning Theory
Optimal Rates of Aggregation / Alexandre B. Tsybakov
Distance-Based Classification with Lipschitz Functions / Ulrike von Luxburg
Random Subclass Bounds / Shahar Mendelson ; Petra Philips
PAC-MDL Bounds / John Langford
Online Learning
Universal Well-Calibrated Algorithm for On-Line Classification / Vladimir Vovk
Learning Probabilistic Linear-Threshold Classifiers via Selective Sampling / Nicolò Cesa-Bianchi ; Alex Conconi ; Claudio Gentile
Learning Algorithms for Enclosing Points in Bregmanian Spheres / Koby Crammer ; Yoram Singer
Internal Regret in On-Line Portfolio Selection / Gilles Stoltz ; Gadbor Lugosi
Other Approaches
Lower Bounds on the Sample Complexity of Exploration in the Multi-armed Bandit Problem / Shie Mannor ; John N. Tsitsiklis
Smooth e-Insensitive Regression by Loss Symmetrization / Ofer Dekel ; Shai Shalev-Shwartz
On Finding Large Conjunctive Clusters / Nina Mishra ; Dana Ron ; Ram Swaminathan
Learning Arithmetic Circuits via Partial Derivatives / Adam R. Klivans ; Amir Shpilka
Poster Session 2
Using a Linear Fit to Determine Monotonicity Directions / Malik Magdon-Ismail ; Joseph Sill
Generalization Bounds for Voting Classifiers Based on Sparsity and Clustering / Vladimir Koltchinskii ; Dmitry Panchenko ; Savina Andonova
Sequence Prediction Based on Monotone Complexity / Marcus Hutter
How Many Strings Are Easy to Predict? / Yuri Kalnishkan ; Michael V. Vyugin
Polynomial Certificates for Propositional Classes / Marta Arias
On-Line Learning with Imperfect Monitoring / Nahum Shimkin
Exploiting Task Relatedness for Multiple Task Learning / Shai Ben-David ; Reba Schuller
Approximate Equivalence of Markov Decision Processes / Eyal Even-Dar ; Yishay Mansour
An Information Theoretic Tradeoff between Complexity and Accuracy / Ran Gilad-Bachrach ; Amir Navot ; Naftali Tishb
Learning Random Log-Depth Decision Trees under the Uniform Distribution
Projective DNF Formulae and Their Revision / Robert H. Sloan ; Balázs Szöarènyi ; György Turán
Learning with Equivalence Constraints and the Relation to Multiclass Learning / Aharon Bar-Hillel ; Daphna Weinshall
Target Area: Natural Language Processing
Tutorial: Machine Learning Methods in Natural Language Processing / Michael Collins
Invited Talks
Learning from Uncertain Data
Learning and Parsing Stochastic Unification-Based Grammars / Mark Johnson
Inductive Inference Learning
Generality's Price: Inescapable Deficiencies in Machine-Learned Programs / John Case ; Keh-Jiann Chen ; Sanjay Jain ; Wolfgang Merkle ; James S. Royer
On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms / Franco Montagna ; Giulia Simi ; Andrea Sorbi
Learning All Subfunctions of a Function / Efim Kinber ; RolfWiehagen
Open Problems
When Is Small Beautiful? / Amiran Ambroladze
Learning a Function of r Relevant Variables
Subspace Detection: A Robust Statistics Formulation
How Fast Is k Means?
Universal Coding of Zipf Distributions / Yoav Freund ; Alon Orlitsky ; Prasad Santhanam ; Junan Zhang
An Open Problem Regarding the Convergence of Universal A Priori Probability
Entropy Bounds for Restricted Convex Hulls
Compressing to VC Dimension Many Points / Manfred K. Warmuth
Author Index
Target Area: Computational Game Theory
Tutorial: Learning Topics in Game-Theoretic Decision Making / Michael L. Littman
Invited Talk
72.

図書

図書
Walt Truszkowski, Chris Rouff, Mike Hinchey (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 476 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2564 . Lecture notes in artificial intelligence
所蔵情報: loading…
73.

図書

図書
Ute Schmid
出版情報: Berlin ; Tokyo : Springer, c2003  xxii, 398 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2654 . Lecture notes in artificial intelligence
所蔵情報: loading…
74.

図書

図書
Roberto Amadio, Denis Lugiez (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 524 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2761
所蔵情報: loading…
75.

図書

図書
Reidar Conradi, Alf Inge Wang (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 278 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2765
所蔵情報: loading…
76.

図書

図書
Luca Chittaro (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 494 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2795
所蔵情報: loading…
77.

図書

図書
Hiroshi Arisawa ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xvii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2465
所蔵情報: loading…
目次情報: 続きを見る
HUMACS 2001
Participation: The Key to Intelligent Manufacturing Improvement / Peter Vink ; Frans M. van Eijnatten
Challenges in Dealing with Human Factors Issues in Manufacturing Activities / Shunji Yamada
Extracting E-R Models from Collaboration Analysis Methods, MCM, and CLM / Manabu Kamimura ; Naoyuki Kato ; Ryo Kawabata ; Satoshi Kumagai ; Kiyoshi Itoh
Living Manufacturing Systems with Living Organizations / Noriaki Kurosu
A Study on Human-Centric Real-Time Scheduling for PWB Assembly Line / Machiko Chikano ; Yoshitaka Tomita ; Yasuhiko Hiraide ; Eiji Arai
The E/S Tool IT-Support for Ergonomic and Sociotechnical System Design / Martin Van De Bovenkamp ; Ruben Jongkind ; Gu Van Rhijn ; Frans M. Van Eijnatten ; Gudela Grote ; Jouni Lehtelä ; Timo Leskinen ; Scott Little ; Toni Wäfler
Construction of Virtual Working Environment and Evaluation of the Workers / Kageyu Noro ; Ryohei Tanaka
Human Models and Data in the Ubiquitous Information Infrastructure / Frank Berkers ; Jan Goossenaerts ; Dieter Hammer ; Hans Wortmann
Motion Simulation of the Human Workers for the Integrated Computer-Aided Manufacturing Process Simulation Based on Info-Ergonomics Concept / Sayaka Imai ; Takashi Tomii ; Hiroshi Arisawa
Human-Body Motion Simulation Using Bone-Based Human Model and Construction of Motion Database / Takako Sato
Ontological Commitment for Participative Simulation / Christine Pelletier
Dynamic Management Architecture for Human Oriented Production System / Keiichi Shirase ; Hidefumi Wakamatsu ; Akira Tsumaya
DASWIS 2001
GeoCosm: A Semantics-Based Approach for Information Integration of Geospatial Data / Sudha Ram ; Vijay Khatri ; Limin Zhang ; Daniel Dajun Zeng
Imposing Modeling Rules on Industrial Applications through Meta-modeling / Peter Fröhlich ; Zaijun Hu ; Manfred Schoelzke
Modelling Ubiquitous Web Applications - The WUML Approach / Gerti Kappel ; B. Pröll ; Werner Retschitzegger ; Wieland Schwinger
Structuring Web Sites Using Audience Class Hierarchies / Sven Casteleyn ; Olga De Troyer
On the Automatic Extraction of Data from the Hidden Web / Stephen W. Liddle ; Sai Ho Yau ; David W. Embley
MIDAS/BD: A Methodological Framework for Web Database Design / E. Marcos ; P. Cáceres ; B. Vela ; J.M. Cavero
Translating XQuery into XSLT / Stephan Lechner ; Gunter Preuner ; Michael Schrefl
Web Site Evaluation: Methodology and Case Study / Paolo Atzeni ; Paolo Merialdo ; Giuseppe Sindoni
Automatic Web Information Extraction in the roadRunner System / Valter Crescenzi ; Giansalvatore Mecca
Querying Relational Databases without Explicit Joins / Ramon Lawrence ; Ken Barker
NF-SS: A Normal Form for Semistructured Schema / Xiaoying Wu ; Tok Wang Ling ; Sin Yeung Lee ; Mong Li Lee ; Gillian Dobbie
A Formal Analysis of the Lightweight Directory Access Protocol / Fang Wei ; Georg Lausen
An XML Document Retrieval System Supporting Structure- and Content-Based Queries / Jae-Woo Chang
Extraction of Partial XML Documents Using IR-Based Structure and Contents Analysis / Kenji Hatano ; Hiroko Kinutani ; Masatoshi Yoshikawa ; Shunsuke Uemura
XDoC-WFMS: A Framework for Document Centric Workflow Management System / Rupa Krishnan ; Lalitha Munaga ; Kamalakar Karlapalem
eCOMO 2001
Active XML Schemas / Martin Bernauer
Behavior Abstraction in Semantic B2B Integration / Christoph Bussler
OIL Ontologies for Collaborative Task Performance in Coalitions of Self-Interested Actors / Vadim Ermolayev ; Natalya Keberle ; Vyachyslav Tolok
A Multi-perspective Methodology for Modelling Inter-enterprise Business Processes / Kuldar Taveter ; Gerd Wagner
Process Patterns to Generate E-commerce Systems / Prasad Jayaweera ; Paul Johannesson ; Petia Wohed
Formalising Feasibility and Correctness of Distributed Business Processes / Tomasz Janowski ; Adegboyega Ojo
Modeling Products for Versatile E-commerce Platforms - Essential Requirements and Generic Design Alternatives / Ulrich Frank
Seamless Personalization of E-commerce Applications / Juan Cappi ; Gustavo Rossi ; Andrés Fortier ; Daniel Schwabe
Discovery of User Preference through Genetic Algorithm and Bayesian Categorization for Recommendation / SuJeong Ko ; JungHyun Lee
DAMA 2001
Using the Quantum Data Model to Develop Shareable Definitions / Harry Ellis
Author Index
HUMACS 2001
Participation: The Key to Intelligent Manufacturing Improvement / Peter Vink ; Frans M. van Eijnatten
Challenges in Dealing with Human Factors Issues in Manufacturing Activities / Shunji Yamada
78.

図書

図書
Andrea Corradini ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 457 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2505
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
Bigraphs as a Model for Mobile Interaction / Robin Milner
Contributed Papers
Approximating the Behaviour of Graph Transformation Systems / Paolo Baldan ; Barbara König
Transforming Specification Architectures by GenGED / Roswitha Bardohl ; Claudia Ermel ; Julia Padberg
Decomposing Graphs with Symmetries / Michel Bauderon ; Fréderiqué Carrère
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck ; Patrick Prosser ; Evgeny Selensky
Call-by-Value ?-Graph Rewriting Without Rewriting / Maribel Fernández ; Ian Mackie
Transformation: The Missing Link of MDA / Anna Gerber ; Michael Lawley ; Kerry Raymond ; Jim Steel ; Andrew Wood
Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard ; Yves Mátivier ; Mohamed Mosbah ; Afif Sellami
Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay ; Reiko Heckel ; Dániel Varró
Relabelling in Graph Transformation / Annegret Habel ; Detlef Plump
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage ; Tero Harju ; Emo Welzl
Confluence of Typed Attributed Graph Transformation Systems / Jochen Malte Kuüster ; Gabriele Taentzer
Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann
Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs
Distributed Graph Transformation Units / Peter Knirsch ; Sabine Kuske
Describing Policies with Graph Constraints and Rules / Manuel Koch ; Francesco Parisi-Presicce
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara ; Hans Vangheluwe
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis ; Rodrigo Quites Reis ; Marcelo M. de Abreu ; Heribert Schlebbe ; Daltro J. Nunes
Graph-Based Reengineering of Telecommunication Systems / Andre Marburger ; Bernhard Westfechtel
Formalising Behaviour Preserving Program Transformations / Tom Mens ; Serge Demeyer ; Dirk Janssens
Unparsing of Diagrams with DiaGen / Mark Minas ; Frank Struber
Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari ; Leila Ribeiro
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Bettina E. Enders
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz
GraCAD - Graph-Based Tool for Conceptual Design / Janusz Szuba ; Andy Schürr ; Adam Borkowski
A Formal Semantics of UML Statecharts by Model Transition Systems
Hierarchical Vertex Ordering / Sung-Ho Woo ; Sung-Bong Yang
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates / Ion Petre ; Grzegorz Rozenberg
TERMGRAPH 2002 - Workshop Survey
Workshop on Graph-Based Tools
Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Michel Wermelinger
Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle ; Pascal Weil
Author Index
Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
79.

図書

図書
Matthias Baaz, Andrei Voronkov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 463 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2514 . Lecture notes in artificial intelligence
所蔵情報: loading…
80.

図書

図書
Stefania Bandini, Bastien Chopard, Marco Tomassini (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 367 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2493
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Spontaneous Coalition Forming. Why Some Are Stable? / Serge Galam
Simulating Spatial Dynamics by Probabilistic Cellular Automata / Olga Bandman
Cellular Automata Models for Transportation Applications / Kai Nagel
Contributed Papers
An Evolutionary Approach to the Study of Non-trivial Collective Behavior in Cellular Automata / Francisco Jimenez-Morales
Artificially Evolved Asynchronous Cellular Automata for the Density Task / Marco Tomassini ; Mattias Venzi
Evolving Cellular Automata as Pattern Classifier / Niloy Ganguly ; Pradipta Maji ; Sandip Dhar ; Biplab K. Sikdar ; P. Pal Chaudhuri
An Efficient Mapping Scheme for Embedding Any One-Dimensional Firing Squad Synchronization Algorithm onto Two-Dimensional Arrays / Hiroshi Umeo ; Masashi Maeda ; Norio Fujiwara
Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity / Gianpiero Cattaneo ; Alberto Dennunzio
Stochastic Analysis of Cellular Automata and the Voter Model / Heinz Muhlenbein ; Robin Hons
Universality Class of Probabilistic Cellular Automata / Danuta Makowiec ; Piotr Gnacinski
Kinetic Approach to Lattice Quantum Mechanics / Sauro Succi
Emergence of Self-Replicating Loops in an Interactive, Hardware-Implemented Game-of-Life Environment / Andre Stauffer ; Moshe Sipper
Spontaneous Emergence of Robust Cellular Replicators / Iker Azpeitia ; Jesus Ibanez
Emergence of Macro Spatial Structures in Dissipative Cellular Automata / Andrea Roli ; Franco Zambonelli
Enhancing Cellular Spaces by Multilayered Multi Agent Situated Systems / Stefania Bandini ; Sara Manzoni ; Carla Simone
Perturbing the Regular Topology of Cellular Automata: Implications for the Dynamics / Roberto Serra ; Marco Villani
A Path-Planner for Mobile Robots of Generic Shape with Multilayered Cellular Automata / Fabio M. Marchese
Dynamics of Populations in Extended Systems / Michel Droz ; Andrzej Pekalski
Simulation of Vegetable Populations Dynamics Based on Cellular Automata / Giulio Pavesi
A Fish Migration Model / Birgitt Schonfisch ; Michael Kinder
A Parallel Cellular Ant Colony Algorithm for Clustering and Sorting / Paul Albuquerque ; Alexandre Dupuis
A Multiparticle Lattice Gas Automata Model for a Crowd / Stefan Marconi ; Bastien Chopard
CA Approach to Collective Phenomena in Pedestrian Dynamics / Andreas Schadschneider ; Ansgar Kirchner ; Katsuhiro Nishinari
Opinion Formation and Phase Transitions in a Probabilistic Cellular Automaton with Two Absorbing States / Franco Bagnoli ; Fabio Franci ; Raul Rechtman
Cellular Automata Based Authentication (CAA) / Monalisa Mukherjee
Cellular Automata Machine for Pattern Recognition / Sourav Saha ; Anup K. Roy
Cellular Automata Model of Drug Therapy for HIV Infection / Peter Sloot ; Fan Chen ; Charles Boucher
Cellular Automata Approaches to Enzymatic Reaction Networks / Jorg R. Weimar
Modelling Surface Flows for Macroscopic Phenomena by Cellular Automata: An Application to Debris Flows / Donato D'Ambrosio ; Salvatore Di Gregorio ; Giulio Iovine ; Valeria Lupiano ; Rocco Rongo ; William Spataro
Simulation Framework for the Autobahn Traffic in North Rhine-Westphalia / Sigurdur F. Marinosson ; Roland Chrobok ; Andreas Pottmeier ; Joachim Wahle ; Michael Schreckenberg
Cellular Automata Based Temporal Process Understanding of Urban Growth / Jianquan Cheng ; Ian Masser
Playing with Automata. An Innovative Perspective for Gaming Simulation / Ivan Blecic ; Arnaldo Cecchini ; Paola Rizzi ; Giuseppe A. Trunfio
Urban Cellular Automata: The Inverse Problem / Giovanni A. Rabino ; Alessandra Laghi
Regional Controllability with Cellular Automata Models / Samira El Yacoubi ; Abdelhaq El Jai ; Nezha Ammor
Author Index
Invited Papers
Spontaneous Coalition Forming. Why Some Are Stable? / Serge Galam
Simulating Spatial Dynamics by Probabilistic Cellular Automata / Olga Bandman
81.

図書

図書
Peter Druschel, Frans Kaashoek, Antony Rowstron (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2429
所蔵情報: loading…
目次情報: 続きを見る
Workshop Report for IPTPS'02: 1st International Workshop on Peer-to-Peer Systems / Richard Clayton
Structure Overlay Routing Protocols: State of the Art and Future Directions
Observations on the Dynamic Evolution of Peer-to-Peer Networks / David Liben-Nowell ; Hari Balakrishnan ; David Karger
Brocade: Landmark Routing on Overlay Networks / Ben Y. Zhao ; Yitao Duan ; Ling Huang ; Anthony D. Joseph ; John D. Kubiatowicz
Routing Algorithms for DHTs: Some Open Questions / Sylvia Ratnasamy ; Ion Stoica ; Scott Shenker
Kademlia: A Peer-to-Peer Information System Based on the XOR Metric / Petar Maymounkov ; David Mazières
Efficient Peer-to-Peer Lookup Based on a Distributed Trie / Michael J. Freedman ; Radek Vingralek
Self-Organizing Subsets: From Each According to His Abilities, to Each According to His Needs / Amin Vahdat ; Jeffrey Chase ; Rebecca Braynard ; Dejan Kostič ; Patrick Reynolds ; Adolfo Rodriguez
Deployed Peer-to-Peer Systems
Mapping the Gnutella Network: Macroscopic Properties of Large-Scale Peer-to-Peer Systems / Matei Ripeanu ; Ian Foster
Can Heterogeneity Make Gnutella Scalable? / Qin Lv
Experiences Deploying a Large-Scale Emergent Network / Bryce Wilcox-O'Hearn
Anonymous Overlays
Anonymizing Censorship Resistant Systems / Andrei Serjantov
Introducing Tarzan, a Peer-to-Peer Anonymizing Network Layer / Emil Sit ; Josh Cates ; Robert Morris
Applications
Mnemosyne: Peer-to-Peer Steganographic Storage / Steven Hand ; Timothy Roscoe
ConChord: Cooperative SDSI Certificate Storage and Name Resolution / Sameer Ajmani ; Dwaine E. Clarke ; Chuang-Hue Moh ; Steven Richman
Serving DNS Using a Peer-to-Peer Lookup Service / Russ Cox ; Athicha Muthitacharoen ; Robert T. Morris
Network Measurement as a Cooperative Enterprise / Sridhar Srinivasan ; Ellen Zegura
The Case for Cooperative Networking / Venkata N. Padmanabhan ; Kunwadee Sripanidkulchai
Internet Indirection Infrastructure / Dan Adkins ; Sonesh Surana ; Shelley Zhuang
Peer-to-Peer Caching Schemes to Address Flash Crowds / Tyron Stading ; Petros Maniatis ; Mary Baker
Evaluation
Exploring the Design Space of Distributed and Peer-to-Peer Systems: Comparing the Web, TRIAD, and Chord/CFS / Stefan Saroiu ; P. Krishna Gummadi ; Steven D. Gribble
Are Virtualized Overlay Networks Too Much of a Good Thing? / Pete Keleher ; Samrat Bhattacharjee ; Bujor Silaghi
Searching and Indexing
Locating Data in Peer-to-Peer Scientific Collaborations / Adriana Iamnitchi
ComplexQueries in DHT-based Peer-to-Peer Networks / Matthew Harren ; Joseph M. Hellerstein ; Ryan Huebsch ; Boon Thau Loo
The Sybil Attack / John R. Douceur
Security Considerations for Peer-to-Peer Distributed Hash Tables
Dynamically Fault-Tolerant Content Addressable Networks / Jared Saia ; Amos Fiat ; Steven Gribble ; Anna R. Karlin
Data Management
Scalable Management and Data Mining Using Astrolabe / Robbert van Renesse ; Kenneth Birman ; Dan Dumitriu ; Werner Vogels
Atomic Data Access in Distributed Hash Tables / Nancy Lynch ; Dahlia Malkhi ; David Ratajczak
Dynamic Replica Placement for Scalable Content Delivery / Yan Chen ; Randy H. Katz
Peer-to-Peer Resource Trading in a Reliable Distributed System / Brian F. Cooper ; Hector Garcia-Molina
Erasure Coding Vs. Replication: A Quantitative Comparison / Hakim Weatherspoon
Author Index
Workshop Report for IPTPS'02: 1st International Workshop on Peer-to-Peer Systems / Richard Clayton
Structure Overlay Routing Protocols: State of the Art and Future Directions
Observations on the Dynamic Evolution of Peer-to-Peer Networks / David Liben-Nowell ; Hari Balakrishnan ; David Karger
82.

図書

図書
Tetsuo Asano, Reinhard Klette, Christian Ronse (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2616
所蔵情報: loading…
83.

図書

図書
André Schiper ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 217 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2584
所蔵情報: loading…
目次情報: 続きを見る
Practical Impact of Group Communication Theory / André Schiper1:
On the Impact of Academic Distributed Systems Research on Industrial Practice / Michael D. Schroeder2:
Foundations of Distributed Systems: What Do We Still Expect from Theory? / Part I:
Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? / Roy Friedman ; Achour Mostéfaoui ; Sergio Rajsbaum ; Michel Raynal3:
Lower Bounds for Asynchronous Consensus / Leslie Lamport4:
Designing Algorithms for Dependent Process Failures / Flavio Junqueira ; Keith Marzullo5:
Comparing the Atomic Commitment and Consensus Problems / Bernadette Charron-Bost6:
Open Questions on Consensus Performance in Well-Behaved Runs / Idit Keidar7:
Challenges in Evaluating Distributed Algorithms / 8:
Towards Robust Optimistic Approaches / Ricardo Jiménez-Peris ; Marta Patiño-Martínez9:
Towards a Practical Approach to Confidential Byzantine Fault Tolerance / Jian Yin ; Jean-Philippe Martin ; Arun Venkataramani ; Lorenzo Alvisi ; Mike Dahlin10:
Modeling Complexity in Secure Distributed Computing / Christian Cachin11:
Communication and Data Sharing for Dynamic Distributed Systems / Nancy Lynch ; Alex Shvartsman12:
Dissecting Distributed Computations / Rachid Guerraoui13:
Ordering vs Timeliness: Two Facets of Consistency? / Mustaque Ahamad14:
Exploring Next-Generation Communication Infrastructures and Applications / Part II:
WAIF: Web of Asynchronous Information Filters / Dag Johansen ; Robbert van Renesse ; Fred B. Schneider15:
The Importance of Aggregation / 16:
Dynamic Lookup Networks / Dahlia Malkhi17:
The Surprising Power of Epidemic Communication / Kenneth P. Birman18:
Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks / Miguel Castro ; Peter Druschel ; Y. Charlie Hu ; Antony Rowstron19:
Uncertainty and Predictability: Can They Be Reconciled? / Paulo Veríssimo20:
Fuzzy Group Membership / 21:
Toward Self-Organizing, Self-Repairing and Resilient Distributed Systems / Alberto Montresor ; Hein Meling ; Özalp Babaoğlu22:
Challenges in Distributed Information and Data Management / Part III:
Dynamically Provisioning Distributed Systems to Meet Target Levels of Performance, Availability, and Data Quality / Amin Vahdat23:
Database Replication Based on Group Communication: Implementation Issues / Bettina Kemme24:
The Evolution of Publish/Subscribe Communication Systems / Roberto Baldoni ; Mariangela Contenti ; Antonino Virgilhto25:
Naming and Integrity: Self-Verifying Data in Peer-to-Peer Systems / Hakim Weatherspoon ; Chris Wells ; John D. Kubiatowicz26:
Spread Spectrum Storage with Mnemosyne / Steven Hand ; Timothy Roscoe27:
Replication Strategies for Highly Available Peer-to-Peer Storage / Ranjita Bhagwan ; David Moore ; Stefan Savage ; Geoffrey M. Voelker28:
A Data-Centric Approach for Scalable State Machine Replication / Gregory Chockler ; Danny Dolev29:
Scaling Optimistic Replication / Marc Shapiro ; Yasushi Saito30:
System Solutions: Challenges and Opportunities in Applications of Distributed Computing Technologies / Part IV:
Building a Bridge between Distributed Systems Theory and Commercial Practice / Brian Whetten31:
Holistic Operations in Large-Scale Sensor Network Systems: A Probabilistic Peer-to-Peer Approach / Indranil Gupta32:
Challenges in Making Pervasive Systems Dependable / Christof Fetzer ; Karin Högstedt33:
Towards Dependable Networks of Mobile Arbitrary Devices - Diagnosis and Scalability / Miroslaw Malek34:
Technology Challenges for the Global Real-Time Enterprise / Werner Vogels35:
Middleware for Supporting Inter-organizational Interactions / Santosh K. Shrivastava36:
Hosting of Libre Software Projects: A Distributed Peer-to-Peer Approach / Jesús M. González-Barahona ; Pedro de-las-Heras-Quirós37:
System Support for Pervasive Applications / Robert Grimm ; Brian Bershad38:
Author Index
Practical Impact of Group Communication Theory / André Schiper1:
On the Impact of Academic Distributed Systems Research on Industrial Practice / Michael D. Schroeder2:
Foundations of Distributed Systems: What Do We Still Expect from Theory? / Part I:
84.

図書

図書
Günther Raidl et al. (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxi, 708 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2611
所蔵情報: loading…
85.

図書

図書
Fabien A. P. Petitcolas, Hyoung Joong Kim (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 263 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2613
所蔵情報: loading…
86.

図書

図書
Hajo A. Reijers
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 320 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2617
所蔵情報: loading…
87.

図書

図書
Rino Falcone ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 233 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2631 . Lecture notes in artificial intelligence
所蔵情報: loading…
88.

図書

図書
Fabrizio Sebastiani (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 624 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2633
所蔵情報: loading…
89.

図書

図書
Ulrich Meyer, Peter Sanders, Jop Sibeyn (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2625
所蔵情報: loading…
目次情報: 続きを見る
Memory Hierarchies - Models and Lower Bounds / Peter Sanders1:
Why Memory Hierarchies / 1.1:
Current Technology / 1.2:
Modeling / 1.3:
Issues in External Memory Algorithm Design / 1.4:
Lower Bounds / 1.5:
Basic External Memory Data Structures / Rasmus Pagh2:
Elementary Data Structures / 2.1:
Dictionaries / 2.2:
B-trees / 2.3:
Hashing Based Dictionaries / 2.4:
Dynamization Techniques / 2.5:
Summary / 2.6:
A Survey of Techniques for Designing I/O-Efficient Algorithms / Anil Maheshwari ; Norbert Zeh3:
Introduction / 3.1:
Basic Techniques / 3.2:
Simulation of Parallel Algorithms in External Memory / 3.3:
Time-Forward Processing / 3.4:
Greedy Graph Algorithms / 3.5:
List Ranking and the Euler Tour Technique / 3.6:
Graph Blocking / 3.7:
Remarks / 3.8:
Elementary Graph Algorithms in External Memory / Irit Katriel ; Ulrich Meyer4:
Graph-Traversal Problems: BFS, DFS, SSSP / 4.1:
Undirected Breadth-First Search / 4.3:
I/O-Efficient Tournament Trees / 4.4:
Undirected SSSP with Tournament Trees / 4.5:
Graph-Traversal in Directed Graphs / 4.6:
Conclusions and Open Problems for Graph Traversal / 4.7:
Graph Connectivity: Undirected CC, BCC, and MSF / 4.8:
Connected Components / 4.9:
Minimum Spanning Forest / 4.10:
Randomized CC and MSF / 4.11:
Biconnected Components / 4.12:
Conclusion for Graph Connectivity / 4.13:
I/O-Efficient Algorithms for Sparse Graphs / Laura Toma5:
Definitions and Graph Classes / 5.1:
Techniques / 5.3:
Connectivity Problems / 5.4:
Breadth-First Search and Single Source Shortest Paths / 5.5:
Depth-First Search / 5.6:
Graph Partitions / 5.7:
Gathering Structural Information / 5.8:
Conclusions and Open Problems / 5.9:
External Memory Computational Geometry Revisited / Christian Breimann ; Jan Vahrenhold6:
General Methods for Solving Geometric Problems / 6.1:
Problems Involving Sets of Points / 6.3:
Problems Involving Sets of Line Segments / 6.4:
Problems Involving Set of Polygonal Objects / 6.5:
Conclusions / 6.6:
Full-Text Indexes in External Memory / Juha Kärkkäinen ; S. Srinivasa Rao7:
Preliminaries / 7.1:
I/O-efficient Queries / 7.3:
External Construction / 7.5:
Concluding Remarks / 7.6:
Algorithms for Hardware Caches and TLB / Naila Rahman8:
Caches and TLB / 8.1:
Memory Models / 8.3:
Algorithms for Internal Memory / 8.4:
Cache Misses and Power Consumption / 8.5:
Exploiting Other Memory Models: Advantages and Limitations / 8.6:
Sorting Integers in Internal Memory / 8.7:
Cache Oblivious Algorithms / Piyush Kumar9:
The Model / 9.1:
Algorithm Design Tools / 9.3:
Matrix Transposition / 9.4:
Matrix Multiplication / 9.5:
Searching Using Van Emde Boas Layout / 9.6:
Sorting / 9.7:
Is the Model an Oversimplification? / 9.8:
Other Results / 9.9:
Open Problems / 9.10:
Acknowledgements / 9.11:
An Overview of Cache Optimization Techniques and Cache-Aware Numerical Algorithms / Markus Kowarschik ; Christian Weiß10:
Architecture and Performance Evaluation of Caches / 10.1:
Basic Techniques for Improving Cache Efficiency / 10.3:
Cache-Aware Algorithms of Numerical Linear Algebra / 10.4:
Memory Limitations in Artificial Intelligence / Stefan Edelkamp10.5:
Hierarchical Memory / 11.1:
Single-Agent Search / 11.3:
Action Planning / 11.4:
Game Playing / 11.5:
Other AI Areas / 11.6:
Algorithmic Approaches for Storage Networks / Kay A. Salzwedel11.7:
Model / 12.1:
Space and Access Balance / 12.3:
Availability / 12.4:
Heterogeneity / 12.5:
Adaptivity / 12.6:
An Overview of File System Architectures / Florin Isaila12.7:
File Access Patterns / 13.1:
File System Duties / 13.3:
Distributed File Systems / 13.4:
Exploitation of the Memory Hierarchy in Relational DBMSs / Josep-L. Larriba-Pey13.5:
What to Expect and What Is Assumed / 14.1:
DBMS Engine Structure / 14.3:
Evidences of Locality in Database Workloads / 14.4:
Basic Techniques for Locality Exploitation / 14.5:
Exploitation of Locality by the Executor / 14.6:
Access Methods / 14.7:
Exploitation of Locality by the Buffer Pool Manager / 14.8:
Hardware Related Issues / 14.9:
Compilation for Locality Exploitation / 14.10:
Hierarchical Models and Software Tools for Parallel Programming / Massimo Coppola ; Martin Schmollinger14.11:
Architectural Background / 15.1:
Parallel Computational Models / 15.3:
Parallel Bridging Models / 15.4:
Software Tools / 15.5:
Case Study: Memory Conscious Parallel Sorting / Dani Jiménez-González ; Juan J. Navarro15.6:
Architectural Aspects / 16.1:
Sequential and Straight Forward Radix Sort Algorithms / 16.3:
Memory Conscious Algorithms / 16.4:
Acknowledgments / 16.5:
Bibliography
Index
Memory Hierarchies - Models and Lower Bounds / Peter Sanders1:
Why Memory Hierarchies / 1.1:
Current Technology / 1.2:
90.

図書

図書
Barry O'Sullivan (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 199 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2627 . Lecture notes in artificial intelligence
所蔵情報: loading…
91.

図書

図書
Thomas Fahringer, Bernhard Scholz
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 129 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2628
所蔵情報: loading…
目次情報: 続きを見る
Preface / 1:
Introduction / 2:
Motivation / 2.1:
Applications for Symbolic Analysis of Programs / 2.2:
Contributions / 2.3:
Symbolic Analysis Framework / 2.3.1:
Symbolic Analysis for Parallelizing Compilers / 2.3.2:
Organization / 2.4:
Symbolic Analysis of Programs / 3:
Initializations, Assignments, and Input/Output Operations / 3.1:
Conditional Statements / 3.3:
Loops and Recurrences / 3.4:
Arrays / 3.5:
Procedures / 3.6:
Dynamic Data Structures / 3.7:
Summary / 3.8:
Generating Program Contexts / 4:
Extended Control Flow Graph / 4.1:
Algorithm / 4.3:
Symbolic Analysis Algorithms and Transformations / 4.4:
Preliminaries / 5.1:
Symbolic Expression Evaluation / 5.3:
Compute Lower and Upper Bounds of Symbolic Ex- pressions / 5.3.1:
Rewrite ?-Expressions / 5.3.2:
Rewrite Policies / 5.3.3:
Simplify Expressions / 5.3.4:
Determine Result / 5.3.5:
Count Solutions to a System of Constraints / 5.4:
Symbolic Sum Computation / 5.4.1:
The Algorithm / 5.4.2:
Algebraic Sum / 5.4.3:
Miscellaneous / 5.4.4:
Simplify Systems of Constraints / 5.5:
Experiments / 5.6:
Eliminate Redundant Constraints / 5.6.1:
Counting Solutions to a System of Constraints / 5.6.2:
Optimizing FTRVMT / 5.6.3:
Programming DMMPs / 5.7:
Data Dependence Analysis / 6.3:
Vienna High Performance Compiler / 6.4:
Implementation / 6.5:
Symbolic Analysis to Optimize OLDA / 6.6:
Symbolic Analysis to Optimize HNS / 6.7:
Related Work / 6.8:
Advanced Symbolic Analysis Algorithms / 7.1:
Parallelizing Compilers / 7.2:
Conclusion / 8:
Appendix / 9:
Control Flow Graphs / 9.1:
Denotational Semantics / 9.2:
Notation / 9.3:
Denotational Semantic: Notation / 9.4:
References
Index
Preface / 1:
Introduction / 2:
Motivation / 2.1:
92.

図書

図書
Feng Zhao, Leonidas Guibas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 676 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2634
所蔵情報: loading…
93.

図書

図書
Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 606 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2642
所蔵情報: loading…
94.

図書

図書
Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2563
所蔵情報: loading…
95.

図書

図書
Alberto Coen-Porisini, André van der Hoek (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 237 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2596
所蔵情報: loading…
96.

図書

図書
Alessandro Garcia ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 284 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2603
所蔵情報: loading…
97.

図書

図書
Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 322 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2636 . Lecture notes in artificial intelligence
所蔵情報: loading…
98.

図書

図書
Eli Biham (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 648 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2656
所蔵情報: loading…
99.

図書

図書
Klaus Jansen ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 266 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2647
所蔵情報: loading…
100.

図書

図書
Michele Marchesi, Giancarlo Succi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 464 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2675
所蔵情報: loading…
目次情報: 続きを見る
Managing Agile Processes
XP after Enron--Can It Survive? / Mike Holcombe
Trailing-Edge Management / David Putman
Value Based Management and Agile Methods / John Favaro
Lean Management--A Metaphor for Extreme Programming? / Michela Dall'Agnol ; Andrea Janes ; Giancarlo Succi ; Enrico Zaninotto
Methodology Issues
Metaphor Design Spaces / Martin Lippert ; Axel Schmolitzky ; Heinz Zullighoven
An Experiment Working with RUP and XP / Patricio Letelier ; Jose H. Canos ; Emilio A. Sanchez
Bridging Cognitive and Social Chasms in Software Development Using Extreme Programming / Orit Hazzan ; Yael Dubinsky
A System Dynamics Simulation Model to Find the Effects of XP on Cost of Change Curve / S. Kuppuswami ; K. Vivekanandan ; Paul Rodrigues
Extending Agile Methodologies and XP
Real-Time Extreme Programming / Craig Gelowitz ; Ian Sloman ; Luigi Benedicenti ; Raman Paranjape
Software Development under Stringent Hardware Constraints: Do Agile Methods Have a Chance? / Jussi Ronkainen ; Pekka Abrahamsson
Maturing XP through the CMM / Jonas Martinsson
Formal Extreme (and Extremely Formal) Programming / Angel Herranz ; Juan Jose Moreno-Navarro
Methods and Tools
Agile Development Using Naked Objects / Richard Pawson ; Vincent Wade
XPSwiki: An Agile Tool Supporting the Planning Game / Sandro Pinna ; Simone Mauri ; Paolo Lorrai ; Michele Marchesi ; Nicola Serra
CruiseControl.NET: Continuous Integration for .NET / R. Owen Rogers
Tool Support for Complex Refactoring to Design Patterns / Carmen Zannier ; Frank Maurer
Teaching and Introducing Agile Methodologies
Experiences in Learning XP Practices: A Qualitative Study / Bjornar Tessem
Swimming around the Waterfall: Introducing and Using Agile Development in a Data Centric, Traditional Software Engineering Company / Donald Howard
Cross-Continent Development Using Scrum and XP / Bent Jensen ; Alex Zilmer
Coaching Coaches / Gorel Hedin ; Lars Bendix ; Boris Magnusson
Testing
Where Do Unit Tests Come from? / Jing Yuan ; Marian Gheorghe
Three Patterns in Java Unit Testing / Eric Nickell ; Ian Smith
XP with Acceptance-Test Driven Development: A Rewrite Project for a Resource Optimization System / Johan Andersson ; Geoff Bache ; Peter Sutton
A Customer Test Generator for Web-Based Systems / Rick Mugridge ; Bruce MacDonald ; Partha Roop
A Framework for Testing at the Edge--An Experience Report / Alwin Ibba ; Carsten Ohlemeyer
Pair Programming
An Empirical Analysis on the Discontinuous Use of Pair Programming / Barbara Russo ; Paolo Zuliani
Pair-Programming Effect on Developers Productivity / Sven Heiberg ; Uuno Puus ; Priit Salumaa ; Asko Seeba
When Does a Pair Outperform Two Individuals? / Kim Man Lui ; Keith C.C. Chan
Other XP Practices
Being Jane Malkovich: A Look Into the World of an XP Customer / Angela Martin ; James Noble ; Robert Biddle
Using Actual Time: Learning How to Estimate / Piergiuliano Bossi
Coaching a Customer Team / David Hussman
Extreme Design by Contract / Yishai A. Feldman
Inline Method Considered Helpful: An Approach to Interface Evolution / Tammo Freese
Experience Reports
Practical Experiences of Agility in the Telecom Industry / Jari Vanhanen ; Jouni Jartti ; Tuomo Kahkonen
XP--Call in the Social Workers / Tim Mackinnon
Embracing Change: An XP Experience Report / Andrew M. Fuqua ; John M. Hammer
Extreme Makeover: Bending the Rules to Reduce Risk Rewriting Complex Systems / Sharon Johnson ; Jia Mao
Research Reports: Methods and Tools
Component-Oriented Agile Software Development / Zoran Stojanovic ; Ajantha Dahanayake ; Henk Sol
Unit Testing beyond a Bar in Green and Red / Rudolf Ramler ; Gerald Czech ; Dietmar Schlosser
Developing Testable Web-Applications with Bugkilla / Christian Dedek ; Dirk M. Sohn ; Matthias Niete ; Sabine Winkler ; Andreas Spall
Extreme Programming: A More Musical Approach to Software Development? / Andrew Johnston ; Chris S. Johnson
Automated Extract Component Refactoring / Hironori Washizaki ; Yoshiaki Fukazawa
Successful Automation of GUI Driven Acceptance Testing / Charles Lowell ; Jeremy Stell-Smith
Extreme Terseness: Some Languages Are More Agile than Others / Stephen Taylor
EnterpriseXP: Can the Combination of XP and DSDM Improve the Appeal of XP to the Business Community? / Mark Simmonds ; Barry Fazackerley
Using Function Points in XP--Considerations
Refactoring with Aspects / Granville Miller
Research Reports: Experience Reports
Extreme Programming at Work / Walter Ambu ; Fabrizio Gianneschi
Combining Agile Practices with UML and EJB: A Case Study in Agile Development / Richard Paige ; Priyanka Agarwal ; Phillip Brooke
Practice Makes Perfect / Sharifah Syed-Abdullah
A Designing Practice and Two Coding Practices for Extreme Programming (XP) / Mustafa Yildiz ; Selahattin Kuru
Practical Aspects of XP Practices / Teodora Bozheva
Scaling Extreme Programming in a Market Driven Development Context / Daniel Karlstrom ; Per Runeson
Building Standard ERP Software Packages Using Self-developed Agile Methodologies / Andrea Rinaldi
Convincing the Inconvincable / Geoff Oliphant
Comparing Extreme Programming to Traditional Development for Student Projects: A Case Study / John Noll ; Darren C. Atkinson
XP: Good for Anything Other than Software Development? / Hans Dermot Doran
Extreme Educational Symposium
Using Instructor Written Acceptance Tests Using the Fit Framework / Daniel H. Steinberg
Teaching Team Work: An Extreme Week for First-Year Programmers / Petra Becker-Pechau ; Holger Breitling
Design-led & Design-less: One Experiment and Two Approaches / Francisco Macias
Agile Teaching of an Agile Software Process / Vieri Del Bianco ; Giordano Sassaroli
Five Challenges in Teaching XP / Ewan Tempero
Challenges in Teaching Test Driven Development
Filleting XP for Educational Purposes / Friedrich Steimann ; Jens Gossner ; Thomas Muck
Using XP with Children for Learning Mathematics / Maria A. Droujkova ; Dmitri A. Droujkov
Using Metaphors in eXtreme Programming Projects
Ph.D. Symposium
Doctoral Symposium at XP 2003 / Paul Grunbacher
Collaboration on Software Tasks / Hans Gallis
Unit Testing Using Design by Contract and Equivalence Partitions / Per Madsen
Exploring the XP Customer Role
Extending Testability for Automated Refactoring / Bartosz Walter
Software Configuration Management for Test-Driven Development
A Study on Introducing XP to a Software Development Company / Harald Svensson
Teaching eXtreme Programming in a Project-Based Capstone Course
Mitigating Risks in Mobile System Development / Norbert Seyff
Extreme Advertised Bidding / Peter Regner ; Thomas Wiesinger
Software Effort Estimation: Planning XP Guidelines Compared to Research on Traditional Software Development / Kjetil Molokken
Collecting Data in Web Service Development / Alberto Sillitti
Measuring the Effectiveness of Agile Methodologies Using Data Mining, Knowledge Discovery and Information Visualization
Evaluation of New Software Engineering Methodologies / Marco Scotto
Evaluation of Product Metrics Applied to Agile Methodologies / Matteo Canessa
Panels
Coaching for Agile and Xtreme Practices--A Fishbowl with Piranhas / Steven Fraser ; Rachel Reinitz ; Jutta Eckstein ; Joshua Kerievsky ; Erik Lundh ; Rob Mee ; Mary Poppendieck
XP Practices versus Values? / Alan C. Francis ; Bill Caputo ; Michael Cusumano ; Mike Hill ; Andrew Swan
Test Driven Development (TDD) / Kent Beck ; James Newkirk ; Charlie Poole
Author Index
Managing Agile Processes
XP after Enron--Can It Survive? / Mike Holcombe
Trailing-Edge Management / David Putman
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼