close
1.

図書
図書
1. Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
2.

図書
図書
2. Trends in Network and Pervasive Computing : ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, proceedings
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.

図書
図書
3. Mobile Human-computer interaction - MobileHCI 2004 : 6th International Symposium, MobileHCI 2004, Glasgow, UK, September 13-16, 2004 : proceedings
Stephen Brewster, Mark Dunlop (eds.)
出版情報: Berlin : Springer, c2004  xvii, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3160
所蔵情報: loading…
4.

図書
図書
4. Advances in computer systems architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004 : proceedings
Pen-Chung Yew, Jingling Xue (eds.)
出版情報: Berlin : Springer, c2004  xvii, 598 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3189
所蔵情報: loading…
5.

図書
図書
5. Knowledge-based intelligent information and engineering systems : 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004 : proceedings (pt. 1 ; pt. 2 ; pt. 3)
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.

図書
図書
6. Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings
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.

図書
図書
7. Intelligent information integration for the semantic web
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.

図書
図書
8. Parameterized and exact computation : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
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.

図書
図書
9. Advances in artificial intelligence - SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004 : proceedings
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.

図書
図書
10. Software engineering and middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 : revised selected papers
Thomas Gschwind, Cecilia Mascolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3437
所蔵情報: loading…
11.

図書
図書
11. NETWORKING 2005 : networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communication systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005 : proceedings
Raouf Boutaba ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xxx, 1483 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3462
所蔵情報: loading…
12.

図書
図書
12. Pervasive computing : third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005 : proceedings
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.

図書
図書
13. Advances in cryptology - EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005 : proceedings
Ronald Cramer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiv, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3494
所蔵情報: loading…
14.

図書
図書
14. Research in computational molecular biology : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005 : proceedings
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.

図書
図書
15. Database and expert systems applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003 : proceedings
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.

図書
図書
16. Data warehousing and knowledge discovery : 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5, 2003 : proceedings
Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2737
所蔵情報: loading…
17.

図書
図書
17. E-commerce and Web technologies : 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003 : proceedings
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.

図書
図書
18. Knowledge-based intelligent information and engineering systems : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003 : proceedings (pt. 1 ; pt. 2)
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.

図書
図書
19. Software engineering : a practitioner's approach. 2nd ed.
Roger S. Pressman
出版情報: New York : McGraw-Hill, c1987  xx, 567 p. ; 25 cm
シリーズ名: McGraw-Hill series in software engineering and technology
所蔵情報: loading…
目次情報: 続きを見る
The Product and the Process / Part 1：
The Product / Chapter 1：
The Evolving Role of Software / 1.1：
Software / 1.2：
Software: A Crisis on the Horizon / 1.3：
Software Myths / 1.4：
Summary / 1.5：
References
Problems and Points To Ponder
Further Readings and Information Sheets
The Process / Chapter 2：
Software Engineering - A Layered Technology / 2.1：
The Software Process / 2.2：
Software Process Models / 2.3：
The Linear Sequential Model / 2.4：
The Prototyping Model / 2.5：
The RAD Model / 2.6：
Evolutionary Software Process Models / 2.7：
Component-Based Development / 2.8：
The Formal Methods Model / 2.9：
Fourth Generation techniques / 2.10：
Process Technology / 2.11：
Product and Process / 2.12：
Further Readings and Information Resources / 2.13：
Managing Software Projects / Part 2：
Project Management Concepts / Chapter 3：
The Management Spectrum / 3.1：
People / 3.2：
The Project / 3.3：
The W5HH Principle / 3.6：
Critical Practices / 3.7：
Further Readings and Information Sources / 3.8：
Software Process and Project Metrics / Chapter 4：
Measures, Metrics and Indicators / 4.1：
Metrics in the Process and Project Domains / 4.2：
Software Measurement / 4.3：
Reconciling Different Metric Approaches / 4.4：
Metrics for Software Quality / 4.5：
Integrating Metrics Within the Software Engineering Process / 4.6：
The Development of Metrics and GQM / 4.7：
Managing Variation - Statistical Process Control / 4.8：
Metrics for Small Organisations / 4.9：
Establishing a Software Metrics Program / 4.10：
Further Reading and Information Sources / 4.11：
Software Project Planning / Chapter 5：
Observations on Estimating / 5.1：
Project Planning Objectives / 5.2：
Software Scope / 5.3：
Resources / 5.4：
Software Project Estimation / 5.5：
Decomposition Techniques / 5.6：
Empirical Estimation Models / 5.7：
The Make-Buy Decision / 5.8：
Automated Estimation Tools / 5.9：
Risk Analysis and Management / 5.10：
Reactive vs. Proactive Risk Strategies / 6.1：
Software Risks / 6.2：
Risk Identification / 6.3：
Risk Projection / 6.4：
Risk Refinement / 6.5：
Risk Mitigation, Monitoring and Management / 6.6：
Safety Risks and Hazards / 6.7：
The RMMM Plan / 6.8：
Problems and Points to Ponder / 6.9：
Project Scheduling and Tracking / Chapter 7：
Basic Concepts / 7.1：
The Relationship Between People and Effort / 7.2：
Defining a Set Task for the Software Project / 7.3：
Selecting Software Engineering Tasks / 7.4：
Refinement of Major Tasks / 7.5：
Defining a Task Network / 7.6：
Scheduling / 7.7：
Earned Value Analysis / 7.8：
Error Tracking / 7.9：
The Project plan / 7.10：
Software Quality Assurance / 7.11：
Quality Concepts / 8.1：
The Quality Movement / 8.2：
Software Reviews / 8.3：
Formal Technical Reviews / 8.5：
Statistical Quality Assurance / 8.6：
Software Reliability / 8.7：
Mistake Proofing for Software / 8.8：
The ISO 9000 Quality standards / 8.9：
The SQA Plan / 8.10：
Software Configuration Management / 8.11：
The SCM Process / 9.1：
Identification of Objects in the Software Configuration / 9.3：
Version Control / 9.4：
Change Control / 9.5：
Configuration Audit / 9.6：
Status Reporting / 9.7：
Conventional Methods for Software Engineering / 9.8：
Systems Engineering / Chapter 10：
Computer-Based Systems / 10.1：
The System Engineering Hierarchy / 10.2：
Business process Engineering: An Overview / 10.3：
Product Engineering: An Overview / 10.4：
Requirements Engineering / 10.5：
System Modelling / 10.6：
Analysis Concepts and Principles / 10.7：
Requirements Analysis / 11.1：
Requirement s Elicitation for software / 11.2：
Analysis Principles / 11.3：
Software Prototyping / 11.4：
Specification / 11.5：
Specification review / 11.6：
Analysis Modelling / 11.7：
a Brief History / 12.1：
The Elements of the Analysis Model / 12.2：
Data Modelling / 12.3：
Functional modelling and Information Flow / 12.4：
Behavioural Modelling / 12.5：
The Mechanics of Structured Analysis / 12.6：
The Data Dictionary / 12.7：
An Overview of Other Classical Analysis Methods / 12.8：
Design Concepts and Principles / 12.9：
Software Design and Software Engineering / 13.1：
The Design Process / 13.2：
Design Principles / 13.3：
Design Concepts / 13.4：
Effective Modular Design / 13.5：
Design Heuristics for Effective Modularity / 13.6：
The Design Model / 13.7：
Design Documentation / 13.8：
Architectural Design / 13.9：
Software Architecture / 14.1：
Data Design / 14.2：
Architectural Styles / 14.3：
Analysing Alternative Architectural Designs / 14.4：
Mapping Requirements into a Software Architecture / 14.5：
Transform Mapping / 14.6：
Transaction Mapping / 14.7：
Refining the Architectural Design / 14.8：
Using Interface DESIGN / 14.9：
The Golden Rules / 15.1：
User Interface Design / 15.2：
Task Analysis and Modelling / 15.3：
Interface Design Activities / 15.4：
Implementation Tools / 15.5：
Design Evaluation / 15.6：
Component Level DESIGN / 15.7：
Structured Programming / 16.1：
Comparison of Design Notation / 16.2：
Software Testing TECHNIQUES / 16.3：
Software Testing Fundamental / 17.1：
Test Case Design / 17.2：
White-Box Testing / 17.3：
Basis Path Testing / 17.4：
Control Structure Testing / 17.5：
Black-Box Testing / 17.6：
Testing for Specialised Environments, Architectures and Applications / 17.7：
Software Testing STRATEGIES / 17.8：
A Strategic Approach to Software Testing / 18.1：
Strategic Issues / 18.2：
Unit Testing / 18.3：
Integration testing / 18.4：
Validation testing / 18.5：
System Testing / 18.6：
The Art of Debugging / 18.7：
Technical Metrics for SOFTWARE / 18.8：
Software Quality / 19.1：
A Framework for Technical Software Metrics / 19.2：
Metrics for the Analysis Model / 19.3：
Metrics for the Design Model / 19.4：
Metrics for Source Code / 19.5：
Metrics for testing / 19.6：
Metrics for Maintenance / 19.7：
OBJECT-Oriented Software ENGINEERING / 19.8：
OBJECT-Oriented Concepts and PRINCIPLES / Chapter 20：
The Object-Oriented Paradigm / 20.1：
Object-Oriented Concepts / 20.2：
Identifying the Elements of an Object Model / 20.3：
Management of Object-Oriented Software Projects / 20.4：
OBJECT-Oriented Analysis / 20.5：
Object-Oriented Analysis / 21.1：
Domain Analysis / 21.2：
Generic Components of the OO Analysis Model / 21.3：
The OOA Process / 21.4：
The Object-Relationship Model / 21.5：
The Object Behaviour Model / 21.6：
OBJECT-Oriented Design / 21.7：
Design for Object-Oriented Systems / 22.1：
The System design process / 22.2：
The Object Design Process / 22.3：
Design Patterns / 22.4：
Object-Oriented Programming / 22.5：
OBJECT-Oriented Testing / 22.6：
Broadening the View of testing / 23.1：
Testing OOA and OOD models / 23.2：
Object-Oriented Testing Strategies / 23.3：
Test Case design for OO Software / 23.4：
Testing Methods Applicable at the Class Level / 23.5：
Inter-Class test Case Design / 23.6：
Technical Metrics for OBJECT-Oriented Systems / 23.7：
The Intent of Object-Oriented Metrics / 24.1：
The Distinguishing Characteristics of Object-Oriented Metrics / 24.2：
Metrics for the OO Design Model / 24.3：
Class-Oriented metrics / 24.4：
Operation-Oriented Metrics / 24.5：
Metrics for Object-Oriented Testing / 24.6：
Metrics for Object-Oriented Projects / 24.7：
Advanced Topics in Software Engineering / 24.8：
Formal Methods / Chapter 25：
Mathematical preliminaries / 25.1：
Applying Mathematical Notation for Formal Specification / 25.3：
Formal Specification Languages / 25.4：
Using Z to Represent Example Software Component / 25.5：
The Ten Commandments of Formal Methods / 25.6：
Formal Methods - The Road Ahead / 25.7：
Cleanroom Software ENGINEERING / 25.8：
The Cleanroom Approach / 26.1：
Functional Specification / 26.2：
Design Refinement and Verification / 26.3：
Cleanroom Testing / 26.4：
COMPONENT-Based Software ENGINEERING / 26.5：
Engineering of Component-Based Systems / 27.1：
The CBSE Process / 27.2：
Domain Engineering / 27.3：
Classifying and Retrieving Components / 27.4：
Economics of CBSE / 27.6：
CLIENT-Server Software / 27.7：
The Structure of Client Server Systems / 28.1：
Software Engineering for C/S Systems / 28.2：
Analysis Modelling Issues / 28.3：
Design for C/S Systems / 28.4：
Testing Issues / 28.5：
The Design of Distributed Systems / 28.6：
Security Engineering / 28.8：
Software Engineering for C/S systems / 28.9：
Testing issues / 28.10：
WEB ENGINEERING / 28.13：
The Attributes of Web-Based Applications / 29.1：
The WebE Process / 29.2：
A Framework for WebE / 29.3：
Formulating/Analysing Web-Based Systems / 29.4：
Design for Web-Based Applications / 29.5：
Testing Web-Based Applications / 29.6：
Management Issues / 29.7：
Reengineering / 29.8：
Business process Reengineering / 30.1：
Software Reengineering / 30.2：
Reverse Engineering / 30.3：
Restructuring / 30.4：
Forward Engineering / 30.5：
The Economics of Reengineering / 30.6：
Computer-Aided Software Engineering / 30.7：
What is CASE? / 31.1：
Building Blocks for CASE / 31.2：
A Taxonomy of CASE Tools / 31.3：
Integrated CASE Environments / 31.4：
The Integration Architecture / 31.5：
The CASE Repository / 31.6：
The Road Ahead / 31.7：
The Importance of software - Revisited / 32.1：
The Scope of Changes / 32.2：
People and the Way they Build Systems / 32.3：
The "New" Software Engineering Process / 32.4：
New Models for Representing Information / 32.5：
Technology as a Driver / 32.6：
A Concluding Comment / 32.7：
The Product and the Process / Part 1：
The Product / Chapter 1：
The Evolving Role of Software / 1.1：
20.

図書
図書
20. Concurrent reactive plans : anticipating and forestalling execution failures
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
21.

図書
図書
21. Sensor based intelligent robots : International Workshop, Dagstuhl Castle, Germany, September 28-October 2, 1998 : selected papers
Henrik I. Christensen, Horst Bunke, Hartmut Noltemeier (eds.)
出版情報: Berlin : Springer, c1999  viii, 325 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1724 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Markov Localization for Reliable Robot Navigation and People Detection / Dieter Fox ; Wolfram Burgard ; Sebastian Thrun
Relocalisation by Partial Map Matching / Wolfgang D. Rencken ; Wendlin Feiten ; Raoul Zollner
Localization and On-Line Map Building for an Autonomous Mobile Robot / Ewald von Puttkamer ; Gerhard Weiss ; Thomas Edlinger
Interactive Learning of World Model Information for a Service Robot / Steen Kristensen ; Volker Hansen ; Sven Horstmann ; Jesko Klandt ; Konstantin Kondak ; Frieder Lohnert ; Andreas Stopp
MAid: A Robotic Wheelchair Operating in Public Environments / Erwin Prassler ; Jens Scholz ; Matthias Strobel ; Paolo Fiorini
Interactive Robot Programming Based on Human Demonstration and Advice / Holger Friedrich ; Rudiger Dillmann ; Oliver Rogalla
Towards Smarter Cars / Karin Sobottka ; Esther Meier ; Frank Ade ; Horst Bunke
Active Control of Resolution for Stable Visual Tracking / Nicola Ferrier
Near-Optimal Sensor-Based Navigation in an Environment Cluttered with Simple Shapes / Hiroshi Noborio ; Kenji Urakawa
Realistic Environment Models and Their Impact on the Exact Solution of the Motion Planning Problem / A. Frank van der Stappen
Robot Localization Using Polygon Distances / Oliver Karch ; Hartmut Noltemeier ; Thomas Wahl
On-Line Searching in Simple Polygons / Sven Schuierer
Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time / Yuichi Asahiro ; Hajime Asama ; Satoshi Fujita ; Ichiro Suzuki ; Masafumi Yamashita
Modeling and Stability Analysis of the Dynamic Behavior in Load Sharing Systems / Paul Levi ; Michael Schanz ; Viktor Avrutin ; Robert Lammert
Recent Advances in Range Image Segmentation / Xiaoyi Jiang
ISR: An Intelligent Service Robot / Magnus Andersson ; Anders Oreback ; Matthias Lindstrom ; Henrik I. Christensen
Vision-Based Behavior Control of Autonomous Systems by Fuzzy Reasoning / Wei Li ; Friedrich M. Wahl ; Jiangzhong Z. Zhou ; Hong Wang ; Kezhong Z. He
Author Index
Markov Localization for Reliable Robot Navigation and People Detection / Dieter Fox ; Wolfram Burgard ; Sebastian Thrun
Relocalisation by Partial Map Matching / Wolfgang D. Rencken ; Wendlin Feiten ; Raoul Zollner
Localization and On-Line Map Building for an Autonomous Mobile Robot / Ewald von Puttkamer ; Gerhard Weiss ; Thomas Edlinger
22.

図書
図書
22. Automated deduction in classical and non-classical logics : selected papers
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
23.

図書
図書
23. Data warehousing and knowledge discovery : First International Conference, DaWak '99, Florence, Italy, August 30 - September 1, 1999 : proceedings
Mukesh Mohania, A. Min Tjoa (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xii, 400 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1676
所蔵情報: loading…
目次情報: 続きを見る
Data Warehouse Design
Dynamic Data Warehouse Design / D. Theodoratos ; T. Sellis
Star/Snow-Flake Schema Driven Object-Relational Data Warehouse Design and Query Processing Strategies / V. Gopalkrishnan ; Q. Li ; K. Karlapalem
The Design and Implementation of Modularized Wrappers/Monitors in a Data Warehouse / J.-T. Horng ; J. Lu ; B.-J. Liu ; R.-D. Yang
Managing Meta Objects for Design of Warehouse Data / T. Miura ; W. Matsumoto ; I. Shioya
On-Line Analytical Processing
Dealing with Complex Reports in OLAP Applications / T. Ruf ; J. Goerlich ; I. Reinfels
OLAP-based Scalable Profiling of Customer Behavior / Q. Chen ; U. Dayal ; M. Hsu
Compressed Datacubes for Fast OLAP Applications / F. Buccafurri ; D. Rosaci ; D. Saccá
Compact Representation: An Approach to Efficient Implementation for the Data Warehouse Architecture / N. Kotsis ; D.R. McGregor
View Maintenance, Selection and Optimisation
On the Independence of Data Warehouse from Databases in Maintaining Join Views / W. Lee
Heuristic Algorithms for Designing a Data Warehouse with SPJ Views / S. Ligoudistianos ; Y. Vassiliou
POSSE: A Framework for Optimizing Incremental View Maintenance at Data Warehouses / K. O'Gorman ; D. Agrawal ; A. El Abbadi
Genetic Algorithm for Materialized View Selection in Data Warehouse Environments / Ch. Zhang ; J. Yang
Optimization of Sequences of Relational Queries in Decision-Support Environments / A. Badia ; M. Niehues
Invited Talk
Dynamic Data Warehousing
Multidimensional Databases
Set-Derivability of Multidimensional Aggregates / J. Albrecht ; H. Günzel ; W. Lehner
Using the Real Dimension of the Data / Ch. Zirkelbach
On Schema Evolution in Multidimensional Databases / M. Blaschka ; C. Sapia ; G. Höfling
Lazy Aggregates for Real-Time OLAP / J. Kiviniemi ; A. Wolski ; A. Pesonen ; J. Arminen
Knowledge Discovery
Incremental Refinement of Mining Queries / E. Baralis ; G. Psaila
The Item-Set Tree: A Data Structure for Data Mining / A. Hafez ; J. Deogun ; V.V. Raghavan
A New Approach for the Discovery of Frequent Itemsets / R. Meo
K-means Clustering Algorithm for Categorical Attributes / S.K. Gupta ; K.S. Rao ; V. Bhatnagar
Association Rules
Considering Main Memory in Mining Association Rules / Y. Xiao ; M. H. Dunham
Discovery of Association Rule Meta-Patterns
Fuzzy Functional Dependencies and Fuzzy Association Rules / Y. Yang ; M. Singhal
Performance Evaluation and Optimization of Join Queries for Association Rule Mining / S. Thomas ; S. Chakravarthy
Indexing and Object Similarities
Efficient Bulk Loading of Large High-Dimensional Indexes / Ch. Böhm ; H.-P. Kriegel
Implementation of Multidimensional Index Structures for Knowledge Discovery in Relational Databases / St. Berchtold ; U. Michel
Similarity between Event Types in Sequences / H. Mannila ; P. Moen
Generalised Association Rules and Data & Web Mining
Mining Generalized Association Rule Using Parallel RDB Engine on PC Cluster / I. Pramudiono ; T. Shintani ; T. Tamura ; M. Kitsuregawa
Modeling KDD Processes within the Inductive Database Framework / J.-F. Boulicaut ; M. Klemettinen
Research Issues in Web Data Mining / S.K. Madria ; S. Bhowmick ; W.-K. Ng ; E.-P. Lim
DAMISYS: An Overview / M.C. Fernández ; O. Delgado ; J.I. López ; M.A. Luna ; J.F. Mart<$$$>nez ; J.F.B. Pardo ; J.M. Pe<$$$>a
Time Series Databases
Mining Interval Time Series / R. Villafane ; K.A. Hua ; D. Tran ; B. Maulik
A New Modeling Technique Based on Markov Chains to Mine Behavioral Patterns in Event Based Time Series / S. Massa ; M. Paolucci ; P.P. Puliafito
SQL/LPP+: A Cascading Query Language for Temporal Correlation Verification / C.-S. Perng ; D.S. Parker
Temporal Structures in Data Warehousing / P. Chamoni ; St. Stock
Data Mining Applications and Data Analysis
Target Group Selection in Retail Banking through Neuro-Fuzzy Data Mining and Extensive Pre- and Postprocessing / T. Wittmann ; J. Ruhland
Using Data Mining Techniques in Fiscal Fraud Detection / F. Bonchi ; F. Giannotti ; G. Mainetto ; D. Pedreschi
Analysis of Accuracy of Data Reduction Techniques / P. Furtado ; H. Madeira
Data Swapping: Balancing Privacy against Precision in Mining for Logic Rules / V. Estivill-Castro ; L. Brankovic
Author Index
Data Warehouse Design
Dynamic Data Warehouse Design / D. Theodoratos ; T. Sellis
Star/Snow-Flake Schema Driven Object-Relational Data Warehouse Design and Query Processing Strategies / V. Gopalkrishnan ; Q. Li ; K. Karlapalem
24.

図書
図書
24. Handheld and ubiquitous computing : First International Symposium, HUC '99, Karlsruhe, Germany, September 27-29, 1999 : proceedings
Hans-W. Gellersen (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  xii, 390 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1707
所蔵情報: loading…
目次情報: 続きを見る
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
Everywhere Messaging / C. Schmandt
Mobile, Ubiquitous and the Sense of Space / M. Susani
Handheld and Wearable Appliances
The Children's Machines: Handheld and Wearable Computers Too / B. Mikhak ; F. Martin ; M. Resnick ; R. Berg ; B. Silverman
Pocket BargainFinder: A Handheld Device for Augmented Commerce / A.B. Brody ; E.J. Gottsman
Location-Based Services
Scalable and Flexible Location-Based Services for Ubiquitous Information Access / R. José ; N. Davies
Enabling Context-Awareness from Network-Level Location Tracking / P. Couderc ; A.-M. Kermarrec
Smart Devices and Smart Environments
Perceptual Intelligence / A. Pentland
Advanced Interaction in Context / A. Schmidt ; K.A. Aidoo ; A. Takaluoma ; U. Tuomela ; K. Van Laerhoven ; W. Van de Velde
Exploring Brick-Based Navigation and Composition in an Augmented Reality / M. Fjeld ; F. Voorhorst ; M. Bichsel ; K. Lauche ; M. Rauterberg ; H. Krueger
Handhelds in Distributed Systems
Handheld Computing Predictions: What Went Wrong ? / J.P. Allen
The Open-End Argument for Private Computing / T. Stabell-Kulø ; F. Dillema ; T. Fallmyr
Integrating PDAs into Distributed Systems: 2K and PalmORB / M. Román ; A. Singhai ; D. Carvalho ; C. Hess ; R.H. Campbell
Designing Information Appliances Using a Resource Replication Model / M.J. Silva ; A.P. Afonso
Handheld and Wearable CSCW
Active Map: A Visualization Tool for Location Awareness to Support Informal Interactions / J.F. McCarthy ; E.S. Meidel
Close Encounters: Supporting Mobile Collaboration through Interchange of User Profiles / G. Kortuem ; Z. Segall ; T. G Cowan Thompson
A Digital Photography Framework Supporting Social Interaction and Affective Awareness / O. Liechti ; T. Ichikawa
Context-Aware Mobile Applications
The Role of Connectivity in Supporting Context-Sensitive Applications / K. Cheverst ; K. Mitchell ; A. Friday
Issues in Developing Context-Aware Computing / J. Pascoe ; N. Ryan ; D. Morse
RAMSES: A Mobile Computing System for Field Archaeology / M. Ancona ; G. Dodero ; V. Gianuzzi
Interacting with Environments
Token-Based Access to Digital Information / L.E. Holmquist ; J. Redström ; P. Ljungstrand
InfoStick: An Interaction Device for Inter-appliance Computing / N. Kohtake ; J. Rekimoto ; Y. Anzai
Using Spatial Co-location for Coordination in Ubiquitous Computing Environments / M. Beigl
Amplifying Reality / J. Falk ; S. Björk
Interacting with Handholds
Designing Interaction Styles for a Mobile Use Context / S. Kristoffersen ; F. Ljungberg
POBox: An Efficient Text Input Method for Handheld and Ubiquitous Computing / T. Masui
Panels
Middleware for Ubiquitous Computing / R.J. Aiken ; A. Abramski ; J. Bates ; T. Blackadar
Towards a Better Understanding of Context and Context-Awareness / G.D. Abowd ; A.K. Dey ; P.J. Brown ; M. Smith ; P. Steggles
Posters
The MediaCup: Awareness Technology Embedded in an Everyday Object / H.-W. Gellersen ; H. Krull
Point & Click - Interaction in Smart Environments
Wearable Information Appliances for the Emergency Services: HotHelmet / C. Baber ; D.J. Haniff ; R. Buckley
Using Wearable Computer as an Audiovisual Memory Prosthesis / J. Hoisko
Today's Stories / M. Panayi ; D. Roy ; O. Cakmakci ; K. De Paepe ; N.O. Bernsen
On the Self Evaluation of a Wearable Assistant
On Positioning for Augmented Reality Systems / S. Persa ; P. Jonker
Hippie: A Nomadic Information System / R. Oppermann ; M. Specht ; I. Jaceniak
A Rapidly Configurable Location-Aware Information System for an Exterior Environment / R.P. O'Rafferty ; M.J. O'Grady ; G.M.P. O'Hare
Mobile Computing in Machine Engineering Applications / M. Brachtl ; L. Mikšíček ; P. Slavík
Chameleon - Reconfigurability in Hand-held Multimedia Computers / G.J.M. Smit ; T. Bos ; P.J.M. Havinga ; S. Mullender ; J. Smit
An Evaluation of WebTwig - A Site Outliner for Handheld Web Access / M. Jones ; G. Buchanan ; N. Mohd-Nasir
Human Factors of Multi-modal Ubiquitous Computing / W. Edmondson
URCP: Experimental Support for Multi-modal Interfaces / A. Donnelly ; E. Barnstedt
Magic Medicine Cabinet: A Situated Portal for Consumer Healthcare / D. Wan
Augmented Workspace: The World as Your Desktop / K.L. Dempski
The ChatterBox / P. Jaksetic
Pollen: Virtual Networks That Use People as Carriers / N. Glance ; D. Snowdon
VoIP in Context-Aware Communication Spaces / T. Kanter ; H. Gustafsson
A Platform for Environment-Aware Applications / S. van der Meer ; S. Arbanowski ; R. Popescu-Zeletin
The Design and Implementation of the Ubidata Information Dissemination Framework / J.P. Campos ; F.S. Regateiro
Co-authoring in Dynamic Teams with Mobile Individuals / C. Burger ; O. Schramm
A Universal, Location-Aware Hoarding Mechanism / U. Kubach ; K. Rothermel
QoS and Context Awareness for Mobile Computing / D. Chalmers ; M. Sloman
Anonymous and Confidential Communications from an IP Addressless Computer / C. Molina-Jiménez ; L. Marshall
Ad-hoc Network Routing for Centralized Information Sharing Systems / H. Lim ; C. Kim
Author Index
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
25.

図書
図書
25. Machine learning and data mining in pattern recognition : first International Workshop, MLDM '99, Leipzig, Germany, September 16-18, 1999 : proceedings
Petra Perner, Maria Petrou (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 215 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1715 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Learning in Pattern Recognition / M. Petrou
Advances in Predictive Data Mining Methods / S.J. Hong ; S.M. Weiss
Neural Networks Applied to Image Processing and Recognition
Multi-valued and Universal Binary Neurons: Learning Algorithms, Application to Image Processing and Recognition / I. N. Aizenberg ; N. N. Aizenberg ; G.A. Krivosheev
A Dynamics of the Hough Transform and Artificial Neural Networks / A. Imiya ; K. Kawamoto
Applications of Cellular Neural Networks for Shape from Shading Problem / M. Milanova ; P. E. M. Almeida ; J. Okamoto ; M. G. Simoes
Learning in Image Pre-Processing and Segmentation
Unsupervised Learning of Local Mean Grey Values for Image Pre-Processing / H. Jahn
Neural Networks in MR Image Estimation from Sparsely Sampled Scans / M. Reczko ; D.A. Karras ; V. Mertzios ; D. Graveron-Demilly ; D. van Ormondt
Extraction of Local Structural Features in Images by Using a Multi-scale Relevance Function / R. M. Palenichka ; M. A. Volgin
Image Retrieval
Independent Feature Analysis for Image Retrieval / J. Peng ; B. Bhanu
Non-hierarchical Clustering with Rival Penalized Competitive Learning for Information Retrieval / I. King ; T.-K. Lau
Classification and Image Interpretation
Automatic Design of Multiple Classifier Systems by Unsupervised Learning / G. Giacinto ; F. Roli
A Comparison between Neural Networks and Decision Trees / C. Jacobsen ; U. Zscherpel ; P. Perner
Symbolic Learning and Neural Networks in Document Processing
Symbolic Learning Techniques in Paper Document Processing / O. Altamura ; F. Esposito ; F. A. Lisi ; D. Malerba
Recognition of Printed Music Score / T. Beran ; T. Macek
Data Mining
Reproductive Process-Oriented Data Mining From Interactions between Human and Complex ArtifactSystem / T. Sawaragi
Generalized Fuzzy Aggregation Operators / K. R. Sasikala
A Data Mining Application for Monitoring Environmental Risks / A. Scaringella
Author Index
Invited Papers
Learning in Pattern Recognition / M. Petrou
Advances in Predictive Data Mining Methods / S.J. Hong ; S.M. Weiss
26.

図書
図書
26. Agent-oriented programming : from prolog to guarded definite clauses
Matthew M. Huntbach, Graem A. Ringwood
出版情報: Berlin : Springer, c1999  xiv, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1630 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The Art in Artificial Intelligence / Chapter 1：
Realism / 1.1：
Purism / 1.2：
Rococo / 1.3：
Classicism / 1.4：
Romanticism / 1.5：
Symbolism / 1.6：
Neo-Classicism / 1.7：
Impressionism / 1.8：
Post-Impressionism / 1.9：
Precisionism / 1.10：
New Realism / 1.11：
Baroque / 1.12：
Pre-Raphaelite Brotherhood / 1.13：
Renaissance / 1.14：
Hindsight / 1.15：
Fifth Generation Architecture / Chapter 2：
Architecture and Design / 2.1：
Design as Evolution / 2.2：
Design as Co-evolution / 2.3：
Design as Theorem / 2.4：
Design as Premise / 2.5：
Design as Paradigm / 2.6：
Impressionist Design / 2.7：
Classical Design / 2.8：
Logic Machines / 2.9：
Metamorphosis / 2.10：
Apparent Scope for Parallelism / 3.1：
Or-Parallelism / 3.2：
The Prolog Phenomenon / 3.3：
Concurrency and Operating Systems / 3.4：
Concurrency and Distributed Systems / 3.5：
Symbiosis Between Programming Language and System Engineering / 3.6：
Event Driven Synchronization / 3.7：
Earlier Manifestations of Guarded Commands / 3.8：
Condition Synchronization in AI / 3.9：
Guarded Definite Clauses / 3.10：
Simulation of Parallelism by Interleaving / 3.11：
Indeterminacy / 3.12：
The Premature Binding Problem Revisited / 3.13：
Decision Tree Compilation / 3.14：
A Brief History of Guarded Definite Clauses / 3.15：
Event Driven Condition Synchronization / Chapter 4：
Streams for Free / 4.1：
A Picture is Worth a Thousand Words / 4.2：
Dataflow Computation / 4.3：
Dataflow Design / 4.4：
Dataflow Programming / 4.5：
Message Passing / 4.6：
Eager and Lazy Produces / 4.7：
The Client-Server Paradigm / 4.8：
Self-Balancing Merge / 4.9：
Synchronization / 4.10：
Readers and Writers / 4.11：
The Dining Philosophers / 4.12：
The Brock-Ackerman Anomaly / 4.13：
Conditional Semantics / 4.14：
Open Worlds and Abduction / 4.15：
Implementation Issues / 4.16：
Actors and Agents / Chapter 5：
The Actor Model / 5.1：
Haggling Protocols / 5.2：
Consensus Protocols / 5.3：
Market Forces / 5.4：
Poker Faced / 5.5：
Virtual Neural Networks / 5.6：
Biological and Artificial Networks / 5.7：
Self-Replicating Neural Networks / 5.8：
Neuron Specialization / 5.9：
The Teacher Teaches and the Pupil Learns / 5.10：
Neural Simulation / 5.11：
Simulated Life / 5.12：
Life Yet in GDC / 5.13：
Cheek by Jowl / 5.14：
Distributed Implementation / 5.15：
Agent Micro-Architectures / 5.16：
Metalevel Agent Architectures / 5.17：
Actor Reconstruction of GDC / 5.18：
Inheritance Versus Delegation / 5.19：
Concurrent Search / Chapter 6：
A Naive Prolog Solution to the 8-Puzzle / 6.1：
Speculative Parallelism / 6.2：
Non-speculative, Non-parallel Linear Search / 6.3：
A Practical Prolog Solution to the 8-Puzzle / 6.4：
A Generic Search Program / 6.5：
Layered Streams / 6.6：
Eliminating Redundant Search / 6.7：
A Direct GDC Solution Using Priorities / 6.8：
Search Anomalies / 6.9：
Branch-and-Bound Search / 6.10：
Game Tree Search / 6.11：
Minimax and Alpha-Beta Search / 6.12：
Parallel Game Tree Search / 6.13：
Parallel Search and Cooperative Distributed Solving / 6.14：
Distributed Constraint Solving / Chapter 7：
All-Pairs Shortest Path Problem / 7.1：
The Graph Coloring Problem / 7.2：
Minimal Spanning Trees / 7.3：
Conclusion / 7.4：
Meta-interpretation / Chapter 8：
Metalanguage as Language Definition and Metacircular Interpreters / 8.1：
Introspection / 8.2：
Amalgamating Language and Metalanguage in Logic Programming / 8.3：
Control Metalanguages / 8.4：
A Classification of Metalevel Systems / 8.5：
Some GDC Monolingual Interpreters / 8.6：
GDC Bilingual Interpreters / 8.7：
An Interpreter for Linda Extensions to GDC / 8.8：
Parallelization via Concurrent Meta-interpretation / 8.9：
Partial Evaluation / 8.10：
Futamura Projections / 9.1：
Supercompilation / 9.3：
Partial Deduction / 9.4：
Partial Evaluation and Reactive Systems / 9.5：
An Algorithm for Partial Evaluation of GDC Programs / 9.6：
Actor Fusion / 9.7：
Actor Fusion Examples / 9.8：
Partial Evaluation of an Interpreter / 9.9：
Agents and Robots / Chapter 10：
Reactive Agents: Robots and Softbots / 10.1：
A Simple Robot Program / 10.2：
Reaction and Intelligence / 10.3：
Objects, Actors and Agents / 10.4：
Objects in GDC / 10.5：
Agents in GDC / 10.6：
Top-Down and Bottom-Up Multi-agent Systems / 10.7：
GDC as a Coordination Language / 10.8：
Networks and Mobile Agents / 10.9：
References and Bibliography / 10.10：
The Art in Artificial Intelligence / Chapter 1：
Realism / 1.1：
Purism / 1.2：
27.

図書
図書
27. Advances in cryptology - ASIACRYPT '99 : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 : proceedings
Kwok Yan Lam, Eiji Okamoto, Chaoping Xing (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1716
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
On the Lai-Massey Scheme / S. Vaudenay
On Cryptographically Secure Vectorial Boolean Functions / T. Satoh ; T. Iwata ; K. Kurosawa
Analysis
Equivalent Keys of HPC / C. D'Halluin ; G. Bijnens ; B. Preneel ; V. Rijmen
Cryptanalysis of Five Rounds of CRYPTON Using Impossible Differentials / H. Seki ; T. Kaneko
Cryptanalysis of Two Cryptosystems Based on Group Actions / S. R. Blackburn ; S. D. Galbraith
Probabilistic Higher Order Differential Attack and Higher Order Bent Functions
Elliptic Curve Cryptosystems
Fast Algorithms for Elliptic Curve Cryptosystems over Binary Finite Field / Y. F. Han ; P.-C. Leong ; P.-C. Tan ; J. Zhang
Optimizing the Menezes-Okamoto-Vanstone (MOV) Algorithm for Non-supersingular Elliptic Curves / J. Shikata ; Y. Zheng ; J. Suzuki ; H. Imai
Speeding up the Discrete Log Computation on Curves with Automorphisms / I. Duursma ; P. Gaudry ; F. Morain
ECC: Do We Need to Count? / J.-S. Coron ; H. Handschuh ; D. Naccache
Elliptic Scalar Multiplication Using Point Halving / E. W. Knudsen
Public Key Cryptosystems
On the Design of RSA with Short Secret Exponent / H.-M. Sun ; W.-C. Yang ; C.-S. Laih
Efficient Public-Key Cryptosystems Provably Secure Against Active Adversaries / P. Paillier ; D. Pointcheval
Adaptively-Secure Optimal-Resilience Proactive RSA / Y. Frankel ; P. MacKenzie ; M. Yung
Integers and Computation
Factorization of RSA-140 Using the Number Field Sieve / S. Cavallar ; B. Dodson ; A. Lenstra ; P. Leyland ; W. Lioen ; P. L. Montgomery ; B. Murphy ; H. te Riele ; P. Zimmermann
How to Prove that a Committed Number Is Prime / T. V. Le ; K. Q. Nguyen ; V. Varadharajan
Reducing Logarithms in Totally Non-maximal Imaginary Quadratic Orders to Logarithms in Finite Fields / D. Huhnlein ; T. Takagi
General Adversaries in Unconditional Multi-party Computation / M. Fitzi ; M. Hirt ; U. Maurer
Network Security
Approximation Hardness and Secure Communication in Broadcast Channels / Y. Desmedt ; Y. Wang
Mix-Networks on Permutation Networks / M. Abe
Secure Communication in an Unknown Network Using Certificates / M. Burmester
Random Number
Linear Complexity versus Pseudorandomness: On Beth and Dai's Result
A Class of Explicit Perfect Multi-sequences / C. P. Xing ; K. Y. Lam ; Z. H. Wei
Cryptanalysis of LFSR-Encrypted Codes with Unknown Combining Function / S. Palit ; B. K. Roy
Key Management
Doing More with Fewer Bits / A. E. Brouwer ; R. Pellikaan ; E. R. Verheul
A Quick Group Key Distribution Scheme with "Entity Revocation" / J. Anzai ; N. Matsuzaki ; T. Matsumoto
An Efficient Hierachical Identity-Based Key-Sharing Method Resistant Against Collusion-Attacks / G. Hanaoka ; T. Nishioka
Periodical Multi-secret Threshold Cryptosystems / M. Numao
Authentication
A Signature Scheme with Message Recovery as Secure as Discrete Logarithm / T. Okamoto
Broadcast Authentication in Group Communication / Y. J. Wang ; R. Safavi-Naini ; H. X. Wang
Author Index
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
28.

図書
図書
28. Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.)
出版情報: Berlin : Springer, c1999  viii, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1706
所蔵情報: loading…
29.

図書
図書
29. Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, May 14-16, 1990
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1990  viii, 574 p. ; 28 cm
所蔵情報: loading…
30.

図書
図書
30. Computational complexity : Courant Computer Science Symposium 7, Oct. 25-26, 1971
ed. by Randall Rustin
出版情報: New York : Algorithmic Press, c1973  268 p. ; 24 cm
所蔵情報: loading…
31.

図書
図書
31. Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing : Seattle, Washington, May 15-17, 1989
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1989  viii, 600 p. ; 28 cm
所蔵情報: loading…
32.

図書
図書
32. Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
33.

図書
図書
33. Compiler Construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
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
34.

図書
図書
34. Advances in information retrieval : 24th BCS-IRSG European colloquium on IR research, Glasgow, UK, March 25-27, 2002 : proceedings
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
35.

図書
図書
35. Sensor based intelligent robots : International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000 : selected revised papers
Gregory D. Hager ...[et al.] (eds.)
出版情報: Berlin : Springer, c2002  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2238
所蔵情報: loading…
36.

図書
図書
36. Programming Constraint Services : high-level programming of standard and new constraint services
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：
37.

図書
図書
37. From Theory to Practice in Multi-Agent Systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 26-29, 2001 : revised papers
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…
38.

図書
図書
38. Isabelle/HOL : a proof assistant for higher-order logic
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：
39.

図書
図書
39. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
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
40.

図書
図書
40. Methods and Applications of Artificial Intelligence : Second Hellenic Conference on AI, SETN 2002, Thessaloniki, Greece, April 11-12, 2002 : proceedings /Ioannis P. Vlahavas, Constantine D. Spyropoulos (eds.)
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…
41.

図書
図書
41. Soft-Ware 2002 : Computing in an Imperfect World : First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April, 8-10, 2002 : proceedings
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
42.

図書
図書
42. Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002 : proceedings
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…
43.

図書
図書
43. Software Reuse : Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
Cristina Gacek (ed.)
出版情報: Berlin : Springer, c2002  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2319
所蔵情報: loading…
44.

図書
図書
44. Multi-Agent Systems and Applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : selected revised papers
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…
45.

図書
図書
45. Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
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
46.

図書
図書
46. Software Product-Family Engineering : 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers
Frank van der Linden (ed.)
出版情報: Berlin : Springer, c2002  x, 416 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2290
所蔵情報: loading…
47.

図書
図書
47. Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002  viii, 330 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: loading…
48.

図書
図書
48. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
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：
49.

図書
図書
49. Artificial Evolution : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 : selected papers
Pierre Collet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2310
所蔵情報: loading…
50.

図書
図書
50. Inference control in statistical databases : from theory to practice
Josep Domingo-Ferrer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2316
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼