close
1.

図書
図書
1. 東京大学大型計算機センターライブラリー・プログラム (第1集)
東京大学大型計算機センター編
出版情報: 東京 : 東京大学出版会, 1967.7  1冊 (加除式) ; 30cm
所蔵情報: loading…
2.

図書
図書
2. VOS2/VOS3連続型シミュレーション・プログラムDDSIII (機能編 ; 操作編 ; 入門編)
日立製作所編
出版情報: 東京 : 日立製作所, 1976  30cm
シリーズ名: HITAC Mシリーズ
所蔵情報: loading…
3.

図書
図書
3. 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…
4.

図書
図書
4. 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
5.

図書
図書
5. 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…
6.

図書
図書
6. 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…
7.

図書
図書
7. 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…
8.

図書
図書
8. 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
9.

図書
図書
9. 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：
10.

図書
図書
10. 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
11.

図書
図書
11. 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
12.

図書
図書
12. 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…
13.

図書
図書
13. 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…
14.

図書
図書
14. 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…
15.

図書
図書
15. 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…
16.

図書
図書
16. 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…
17.

図書
図書
17. 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…
18.

図書
図書
18. 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…
19.

図書
図書
19. 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…
20.

図書
図書
20. 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…
21.

図書
図書
21. 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：
22.

図書
図書
22. 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
23.

図書
図書
23. 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
24.

図書
図書
24. 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
25.

図書
図書
25. 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
26.

図書
図書
26. 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
27.

図書
図書
27. 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
28.

図書
図書
28. 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：
29.

図書
図書
29. 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
30.

図書
図書
30. 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…
31.

図書
図書
31. アルゴル・プログラミング入門. 訂正4刷
中村慶一著
出版情報: 東京 : 森北出版, 1971.3  ii,194p ; 22cm
所蔵情報: loading…
32.

図書
図書
32. 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…
33.

図書
図書
33. 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…
34.

図書
図書
34. 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…
35.

図書
図書
35. ソフトで学ぶアセンブラ言語入門 : COMET & CASL
浅井宗海著
出版情報: 東京 : 共立出版, 1996.8  vi, 147p ; 22cm
所蔵情報: loading…
36.

図書
図書
36. 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…
37.

図書
図書
37. 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
38.

図書
図書
38. 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
39.

図書
図書
39. 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…
40.

図書
図書
40. 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：
41.

図書
図書
41. 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…
42.

図書
図書
42. 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：
43.

図書
図書
43. 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
44.

図書
図書
44. 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…
45.

図書
図書
45. 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
46.

図書
図書
46. 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…
47.

図書
図書
47. 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…
48.

図書
図書
48. 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…
49.

図書
図書
49. 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
50.

図書
図書
50. 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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼