close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.)
出版情報: Berlin : Springer, c1999  viii, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1706
所蔵情報: loading…
29.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1990  viii, 574 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
ed. by Randall Rustin
出版情報: New York : Algorithmic Press, c1973  268 p. ; 24 cm
所蔵情報: loading…
31.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1989  viii, 600 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
edited by Marshall C. Yovits
出版情報: Orlando, Fla. ; Boston ; Tokyo : Academic Press, c1960-  v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk
A Software Process Engineering Framework / J. Kontio
Gaining Business Value from IT Investments / P. Simmons
Reliability Measurement, Analysis, and Improvement for Large Software Systems / J. Tian
Role-Based Access Control / R.S. Sandhu
Multithreaded Systems / K.M. Kavi ; B. Lee ; A.R. Hurson
Coordination Models and Languages / G.A. Papadopoulos ; F. Arbab
Multidisciplinary Problem Solving Environments for Computational Science / E.N. Houstis ; J.R. Rice ; N. Ramakrishnan ; T. Drashansky ; S. Weerawarana ; A. Joshi ; C.E. Houstis
Author Index
Subject Index
Preface
Contributors
Software development productivity / K.D. Maxwell
Transformation-oriented programming: A development methodology for high assurance software / V.L. Winter ; S. Roach ; G. Wickstrom
Bounded model checking / A. Biere ; A. Cimatti ; E.M. Clarke ; O. Strichman ; Y. Zhu
Advances in GUI testing / A.F. Memon
Software inspections / M. Roper ; A. Dunsmore ; M. Wood
Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant / L. Bernstein
Advances in the provisions of system and software security - Thirty years of progress / R.B. Vaughn
Designing Networked Handheld Devices to Enhance School Learning / Jeremy Roschelle ; Charles Patton ; Deborah Tatar
Interactive Explanatory and Descriptive Natural-Language based Dialogue for Intelligent Information Filtering / John Atkinson ; Anita Ferreira
A tour of language customization concepts / Colin Atkinson ; Thomas KÃ1/4hne
Advances in Business Transformation Technologies / Juhnyoung Lee
Phish Phactors: Offensive and Defensive Strategies / Hal Berghel ; James Carpinter ; Ju-Yeon Jo
Reflections on systems trustworthiness / Peter G. Neumann
Contents of Volumes in this series
Licensing and certification of software professionals / D.J. Bagert
Cognitive Hacking / G. Cybenko ; A. Giani ; P. Thompson
The digital detective: An introduction to digital forensics / W. Harrison
Survivability: Synergizing security and reliability / C.Cowan
Smartcards / K.M. Shelfer ; C.Corum ; J. Drew Procaccino ; J.Didier
Shotgun sequence assembly / M. Pop
Advances in large vocabulary continuous speech recognition / G. Zweig ; M. Picheny
Index
Evaluating software architectures / Roseanne Tesoriero Tvedt ; Patricia Costa ; Mikael Lindvall1:
Efficient architectural design of high performance microprocessors / Lieven Eeckhout ; Koen De Bosschere2:
Security issues and solutions in distributed heterogeneous mobile data systems / A. R. Hurson ; J. Ploskonka ; Y. Jiao ; H. Haridas3:
Disruptive technologies and their affect on global telecommunications / Stan McClellan ; Stephen Low ; Wai-Tian Tan4:
Ions, atoms, and bits: An architectural approach to quantum computing / Dean Copsey ; Mark Oskin ; Frederick T. Chong5:
Automatic Evaluation of Web Search Services / Abdur Chowdhury
Introduction / 0:
Relevance
A Brief History of Effectiveness Evaluations
Evaluation Metrics
Web Search Tasks
Estimating the Necessary Number of Queries
Automatic Web Search Evaluation / 6:
Automatic Evaluation Results / 7:
Intranet Site Search Evaluation / 8:
Conclusions and Future Work / 9:
Acknowledgements
References
Web Services / Sang Shin
Introduction on Web Services
Web Services Standards
Web Services Security
Identity Management Architecture
Business Web Services Standards: ebXML
Summary
A Protocol Layer Survey of Network Security / John V. Harrison
Overview of TCP/IP
Offensive Techniques
Defenses
A Forecast of the Future
Defensive Precautions
Conclusion
E-Service: The Revenue Expansion Path to E-Commerce Profitability / Roland T. Rust ; P.K. Kannan ; Anupama D. Ramachandran
Building on Customer Equity
Customer Issues in E-Service
Serving the Customer
Marketing to Computers
Discussion and Conclusion
Pervasive Computing: A Vision to Realize / Debashis Saha
Evolution of PerCom
PerCom Attributes
Functional Areas of PerCom
Harnessing Physical World
Major PerCom Projects
Open Source Software Development: Structural Tension in the American Experiment / Coskun Bayrak ; Chad Davis
Part I: The American Experiment
Part II: The Open Source Development Model
Open Societies: A Final Thought
Disability and Technology: Building Barriers or Creating Opportunities? / Peter Gregor ; David Sloan ; Alan F. Newell
Technology and the Digital Divide
Disabled People?
The Technical Benefits of Inclusive Design
Legislative Responsibilities
Accessible and Inclusive Design Practice
Support for Inclusive Design
Testing and Evaluation of Inclusive Design
Developments and Challenges
The Digital Divide Still Exists / 10:
Contents of Volumes in This Series
A Survey of Current Paradigms in Machine Translation / B.J. Dorr ; P.W. Jordan ; J.W. Benoit
Formality in Specification and Modeling: Developments in Software Engineering Practice / J.S. Fitzgerald
3-D Visualization of Software Structure / M.L. Staples ; J.M. Bieman
Using Domain Models for System Testing / A. von Mayrhauser ; R. Mraz
Exception-Handling Design Patterns / W.G. Bail
SIMD Machines--A Survey / N.B. Abu-Ghazaleh ; P.A. Wilsey
A Taxonomy of Distributed Real-Time Control Systems / J.R. Agre ; L.P. Clare ; S. Sastry
Program Understanding: Models and Experiments / A.M. Vans
Software Prototyping / A.M. Davis
Rapid Prototyping of Microelectronic Systems / A. Dollas ; J.D.S. Babcock
Cache Coherence in Multiprocessors: A Survey / M.S. Yousif ; M.J. Thazhuthaveetil ; C.R. Das
The Adequacy of Office Models / C.S. Amaravadi ; J.F. George ; O.R.L. Sheng ; J.F. Nunamaker
Chapter References
The State of Artificial Intelligence / Adrian A. Hopgood
Rule-Based Systems
Moving Beyond Rules
Intelligent Agents
Genetic Algorithms
Neural Networks
Hybrid Systems
Conclusions
Software Model Checking with Spin / Gerard J. Holzmann
Background
Finite Automata
Temporal Logic
LTL Model Checking
Model Extraction and Abstraction
Perspective
Early Cognitive Computer Vision / Jan-Mark Geusebroek
Visual Measurements
Invariance
Natural Image Statistics
Verification and Validation and Artificial Intelligence / Tim Menzies ; Charles Pecheur
AI Software Can Be Complex
Model-Based AI Systems
The Knowledge Level
AI Software Can Be Nondeterministic
Adaptive AI Systems
Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases / Mark J. Huiskes ; Eric J. Pauwels
Representation of Image Content: Feature Extraction
Detection of Salient Design Image Elements by Figure-Ground Segregation
MPEG-7 Description of Design Images
Inference and Learning for Relevance Feedback by Examples
Conclusion and Outlook
Defect Analysis: Basic Techniques for Management and Learning / David N. Card
Modeling for Quality Management
Monitoring Process Performance
Learning and Improvement
Summary and Conclusions
Function Points / Christopher J. Lokan
Albrecht/IFPUG Function Points
Experience with IFPUG Function Points
Mark II Function Points
Some Other Early Variations
COSMIC
Function Points for Object-Oriented Software
Function Point Standards
The Role of Mathematics in Computer Science and Software Engineering Education / Peter B. Henderson
Mystery Novels and John Wooden
Computer Science and Software Engineering
Foundational Mathematics
Models
General Mathematical Reasoning
Patterns, It Is All About Patterns
Inductive Thinking and Generalization
Declarative Versus Imperative Reasoning
Algorithmic Problem Solving
Recursive Thinking / 11:
Mathematical Induction / 12:
Why Mathematics? / 13:
Curricula Issues / 14:
Foundations of Computing-A First Course / 15:
CSE-113 Foundations of Computer Science I / 16:
Butler University, Foundations of Computing I / Appendix B:
Sample First Exam for Foundations of Computing I (100 minutes) / Appendix C:
Representative List Processing Lab Exercises Using Standard ML / Appendix D:
Solutions for Problems Cited / Appendix E:
On the nature and importance of archiving in the digital age / H.R. Tibbo
Preserving digital records and the life cycle of information / S. Chen
Managing historical XML data / S.S. Chawathe
Adding compression to next-generation text retrieval systems / N. Ziviani ; E. Silva de Moura
Are scripting languages any good? A validation of Perl, Python, Rexx, and Tcl against C, C++, and Java / L. Prechelt
Issues and approaches for developing lerner-centered technology / C. Quintana ; J. Krajcik ; E. Soloway
Personalizing interactions with information systems / S. Perugini
Architectures and Patterns for Developing High Performance, Real Time ORB Endsystems / D.C. Schmidt ; D.L. Levine ; C. Cleeland
Heterogeneous Data Access in a Mobile Environment--Issues and Solutions / J.B. Lim
The World Wide Web / H. Berghel ; D. Blank
Progress in Internet Security / R.J. Atkinson ; J.E. Klinker
Digital Libraries: Social Issues and Technological Advances / H. Chen ; A.L. Houston
Architectures For Mobile Robot Control / J.K. Rosenblatt ; J.A. Hendler
Natural Language Processing: A Humanndash;Computer Interaction Perspective / B.Z. Manaris
Cognitive Adaptive Computer Help (COACH): A Case Study / E.J. Selker
Cellular Automata Models of Self-Replicating Systems / J.A. Reggia ; H.-H. Chou ; J.D. Lohn
Ultrasound Visualization / T.R. Nelson
Patterns and System Development / B. Goldfedder
High Performance Digital Video Servers: Storage and Retrieval of Compressed Scalable Video / S. Paek ; S.-F. Chang
Software Acquisition: The Custom/Package and Insource/Outsource Dimensions / P. Nelson ; W. Richmond ; A. Seidman
Exposing Phylogenetic Relationships by Genome Rearrangement / Ying Chih Lin ; Chuan Yi TangChapter 1:
Models and Methods in Comparative Genomics / Guillaume Bourque ; LouXin ZhangChapter 2:
Translocation Distance: Algorithms and Complexity / Lusheng WangChapter 3:
Computational Grand Challenges in Assembling the Tree of Life: Problems and Solutions / David A. Bader ; Usman Roshan ; Alexandros StamatakisChapter 4:
Local Structure Comparison of Proteins / Jun Huan ; Jan Prins ; Wei WangChapter 5:
Peptide Identification via Tandem Mass Spectrometry / Xue Wu ; Nathan Edwards ; Chau-Wen TsengChapter 6:
Indexes
The Architecture of Efficient Multi-Core Processors: A Holistic Approach / Rakesh Kumar ; Dean M. Tullsen
Designing Computational Clusters for Performance and Power / Kirk W. Cameron ; Rong Ge ; Xizhou Feng
Compiler-Assisted Leakage Energy Reduction for Cache Memories / Wei Zhang
Mobile Games: Challenges and Opportunities / Paul Coulton ; Reuben Edwaerds ; Will Bamford ; Fadi Chehemi ; Paul Gilbertson ; Omer Rashid
Free/Open Source Software Development: Recent Research Results and Methods / Walt Scacchi
Contents Of Volumes in This Series
Broadcasting a Means to Disseminate Public Data in a Wireless Environment - Issues and Solutions / B.A. Shirazi
Programming Models and Synchronization Techniques for Disconnected Business Applications / A. Leff ; J.T. Rayfield
Academic Electronic Journals: Past, Present and Future / A. Hovav ; P. Gray
Web Testing for Reliability Improvement / L. Ma
Wireless Insecurities / M. Sthultz ; J. Uecker
The State of the Art in Digital Forensics / D. Forte
Calculating Software Process Improvement's Return on Investment / Rini van Solingen ; David F. Rico
Return-on-Investment for Analysing Cost and Benefits
Using Quantitative Models for SPI Decision Making
Using Quantitative Measurements for SPI Investment Evaluations
Background of the Quantitative Models
Quality Problem in Software Measurement Data / Pierre Rebours ; Taghi M. Khoshgoftaar
Noise-Handling Techniques
Ensemble-Partitioning Filter
Modeling Methodology
Empirical Evaluation
Requirements Management for Dependable Software Systems / William G. Bail
Dependability
Nature of Requirements
Categories of Requirements
Handling Requirements
Requirements Quality Attributes
Requirements and Dependability
Common Requirements Challenges
Mechanics of Managing Software Risk
Project Planning
Fundamentals of Risk
Sources of Risk
Handling Risks
The PERFECT Approach to Experience-Based Process Evolution / Brian A. Nejmeh ; William E. Riddle
Improvement Game Plans
Process Evolution
The PEDAL Framework
Describing Process Evolution Dynamics
Process Evolution Infrastructure
Value and Future Improvements
The Opportunities, Challenges, and Risks of High Performance Computing in Computational Science and Engineering / Douglass E. Post ; Richard P. Kendall ; Robert F. Lucas
Computational Science and Engineering Analysis
General Characteristics of a Large Scale Computational Simulation
FALCON: An Example of a Large-Scale Scientific Code Project
The Challenges Facing Computational Science and Engineering
A Comparative Case Study
Verification and Validation
Software Quality and Software Project Management
Conclusions and Path Forward
Programming Nanotechnology: Learning from Nature / Boonserm Kaewkamnerdpong ; Peter J. Bentley ; Navneet Bhalla
Development in Nanotechnology
Benefits of Computer Science for Nanotechnology
Swarm Intelligence
Perceptive Particle Swarm Optimisation
Perceptive Particle Swarm Optimisation for Nanotechnology
Self-Assembling Nanotechnology
Nanobiotechnology: An Engineer's Foray into Biology / Yi Zhao ; Xin Zhang
Nanofabrication
Nanobiotechnologies for Sensing and Actuating
Nanobiotechnology for Drug Delivery and Therapeutics
Concluding Remarks
Toward Nanometer-Scale Sensing Systems: Natural and Artificial Noses as Models for Ultra-Small, Ultra-Dense Sensing Systems / Brigitte M. Rolfe
The Physiology of the Sense of Smell
Electronic Noses: Chemical Sensing Systems
Nanosensors
Designing a Nanometer-Scale Nose-Like Sensing System
Acronyms
Simulation of Nanoscale Electronic Systems / Umberto Ravaioli
Simulation Hierarchy for Semiconductor Devices
Simulation Issues in Nanoscale Silicon Devices
Organic Molecular Devices
Simulation of Molecular Conduction
Carbon Nanotubes
Ionic Channels
Identifying Nanotechnology in Society / Charles Tahan
Definitions ad infinitum (and More Politics)
Perspectives from Science
List of Some Technical Terms
Further Reading
The Convergence of Nanotechnology, Policy, and Ethics / Erik Fisher
Converging Paths
From Convergence to Collaboration
DARPA's HPCS Program: History, Models, Tools, Languages / Jack Dongarra ; Robert Graybill ; William Harrod ; Robert Lucas ; Ewing Lusk ; Piotr Luszczek ; Janice McMahon ; Allan Snavely ; Jeffrey Vetter ; Katherine Yelick ; Sadaf Alam ; Roy Campbell ; Laura Carrington ; Tzu-Yi Chen ; Omid Khalili ; Jeremy Meredith ; Mustafa Tikir
Historical Background
Productivity Systems Modeling
Productivity Evaluation on Emerging Architectures
The DARPA HPCS Language Project
Research on Defining and Measuring Productivity
The HPC Challenge Benchmark Suite
Summary: The DARPA HPCS Program
Productivity in High-Performance Computing / Thomas Sterling ; Chirag Dekate
A General Formulation
Factors Determining HPC Productivity
A Special Theory of Productivity
A User-based Model of Productivity
Software Development & Productivity
Related Works
Performance Prediction and Ranking of Supercomputers / Roy L. Campbell, Jr. ; Mustafa M. Tikir
Methods for Predicting Performance
A Method for Weighting Benchmarks
Examples
Using End-to-End Runtimes
Using Basic Trace Data
Application-Independent Rankings
Acknowledgments
Sampled Processor Simulation: A Survey
Trace-Driven versus Execution-Driven Simulation
Sampled Simulation
Simulation Speed
Representative Sampling Units
Architecture State
Microarchitecture State
Case Studies
Distributed Sparse Matrices for Very High Level Languages / John R. Gilbert ; Steve Reinhardt ; Viral B. Shah
Sparse Matrices: A User's View
Data Structures and Storage
Operations on Distributed Sparse Matrices
SSCA #2 Graph Analysis Benchmark
Looking Forward: A Next-Generation Parallel Sparse Library
Bibliographic Snapshots of High-Performance/High-Productivity Computing / Myron Ginsberg
Computational Environments in Government, Academia and Industry
Computational Science Education (CSE)
Supercomputing Architecture
Some HPC Issues
Benchmarking Issues and Concerns
Acceleration Techniques for HPC Applications
The Race for Petaflop Computing
Influences of Floating-Point Arithmetic on Computational Results
Industrial HPC Progress
Access to On-Demand HPC
A Few HPC Videos
History of Computers, Electronic Commerce, and Agile Methods / D. F. Rico ; H. H. Sayani ; R. F. Field
Testing with Software Designs / A. A. Andrews ; A. Mahdian
Balancing Transparency, Efficiency, and Security in Pervasive Systems / M. Wenstrom ; E. Bentivegna
Computing with RFID: Drivers, Technology and Implications / G. Roussos
Medical Robotics and Computer-Integrated Interventional Medicine / R. H. Taylor ; P. Kazanzides
Data Hiding Tactics for Windows and Unix File Systems / David Hoelzer ; Michael Sthultz
Multimedia and Sensor Security / Anna Haµ
Email Spam Filtering / Enrique Puertas Sanz ; JosT Marfa G=mez Hidalgo ; JosT Carlos Cortizo PTrez
The Use of Simulation Techniques for Hybrid Software Cost Estimation and Risk Analysis / Michael KlSs ; Adam Trendowicz ; Axel Wickenkamp ; Jnrgen Mnnch ; Nahomi Kikuchi ; Yasushi Ishigai
An Environment for Conducting Families of Software Engineering Experiments / Lorin Hochstein ; Taiga Nakamura ; Forrest Shull ; Nico Zazworka ; Victor R. Basili ; Marvin V. Zelkowitz
Global Software Development: Origins, Practices, and Directions / James J. Cusick ; Alpana Prasad ; William M. Tepfenhart
The UK HPC Integration Market: Commodity-based Clusters / Christine A. Kitchen ; Martyn F. Guest
Elements of High Performance Reconfigurable Computing / Tom Van Court ; Martin C. Herbordt
Models and Metrics for Energy-Efficient Computing / Parthasarathy Ranganathan ; Suzanne Rivoire ; Justin Moore
The Emerging Landscape of Computer Performance Evaluation / JoAnn M. Paul ; Mwaffaq Otoom ; Marc Somers ; Sean Pieper ; Michael J. Schulte
Advances in web testing / Cyntrica Eaton ; Atif M. Memon
Information Sharing and Social Computing: Why, What, and Where? / Oded Nov
Information Sharing: Wikipedia
Photo Sharing: Flickr
Metainformation Sharing: Tags
Social Network Sites: Users and Uses / Mike Thelwall
Definition, History, and Typology
User Characteristics
Usage
Friendship
Friendship Issues
Privacy and Security
Language
Software Issues
Acknowledgment
Highly Interactive Scalable Online Worlds / Graham Morgan
Gaming Scenarios
Related Work
Core Problems
Conclusions and Further Work
The Future of Social Web Sites: Sharing Data and Trusted Applications with Semantics / Sheila Kinsella ; Alexandre Passant ; John G. Breslin ; Stefan Decker ; Ajit Jaokar
Social Web Sites and Approaches to Add Semantics
Producers of Social Semantic Data
Collectors of Social Semantic Data
Consumers of Social Semantic Data
Future Work
Semantic Web Services Architecture with Lightweight Descriptions of Services / Tomas Vitvar ; Jacek Kopecky ; Jana Viskova ; Adrian Mocan ; Mick Kerrigan ; Dieter Fensel
SWS Architecture
Model for Business Services
Service Execution Model
Implementation
Issues and Approaches for Web 2.0 Client Access to Enterprise Data / Avraham Leff ; James T. Rayfield
Enterprises and Web 2.0 Data Access
A Closer Look at Web 2.0 Client and Server Data-Access APIs
Web Content Filtering / José María Gómez Hidalgo ; Francisco Carrero García ; Manuel De Buenaga Rodríguez
Motivation and Applications
Web Filters Operation and Techniques
Text-Based Filtering
Image Processing Techniques
Evaluation of Web Filters
Attacks and Countermeasures
Review of Singular Projects
Conclusions and Future Trends
Photo Fakery and Forensics / Hany Farid
Photo Fakery
Photo Forensics
Discussion
Advances in Computer Displays / Jason Leigh ; Andrew Johnson ; Luc Renambot
Advances in Desktop Displays
Advances in Wall Displays
Advances in Portable Displays
Touch Interfaces
Advances in Stereoscopic Displays
Display Environments of the Future
Content Generation and delivery to Displays
Playing with All Senses: Human-Computer Interface Devices for Games / Jörn Loviscach
Typology
Buttons, Keys, and Keyboards
Mice, Joysticks, Faders, and Similar
Pen and Touch Input
Inertial Sensors
Cameras
Specific Position and Orientation Sensors
Displays
Audio Input
Audio Output
Tactile, Haptic, and Locomotion Interfaces
Kinetic Devices and Robots
Biosignal Sensors
A Status Report on the P Versus NP Question / Eric Allender
Prologue
What Is the "P = NP?" Problem?
Why Is the "P = NP?" Problem Important?
What Progress Has Been Made in the Past 30 Years?
Where Are We now? (Barriers to Progress)
Conclusions: What Would a Solution Mean?
Dynamically Typed Languages / Laurence Tratt
Defining Types
Disadvantages of Static Typing
History
Defining Features
Disadvantages of Dynamic Typing
Variations
The Future
Factors Influencing Software Development Productivity- State-of-the-Art and Industrial Experiences / Jürgen Münch
Design of the Study
Related Terminology
Overview of Factors Presented in Literature
Overview of Factors Indicated by Industrial Experiences
Detailed Comments on Selected Productivity Factors
Considering Productivity Factors in Practice
Evaluating the Modifiability of Software Architectural Designs / M. Omolade Saliu ; Günther Ruhe ; Christopher Ackermann
Evaluating Software Architectural Designs
Overview of the EBEAM
STAGE I: Evaluation of Design Characteristics
STAGE II: Evaluation of Architectural Designs
STAGE III: Overall Modifiability Evaluation
CASE STUDY I: The Application of EBEAM to TSAFE Designs
Empirical Validation
CASE STUDY II: The Application of EBEAM to CGS Designs
Applicability of the EBEAM Technique
UML Models for TSAFE Architectural Designs
The Common Law and Its Impact on the Internet / Robert Aalberts ; David Hames ; Percy Poon ; Paul D. Thistle
The Common Law in Action: Employer Liability to Third-Party Victims on the Internet
Why Doe Lost and Delfino Won-A Case of Risk Management
Search Engine Optimization-Black and White Hat Approaches / Ross A. Malaga
The SEO Process
Black Hat SEO
Legal and Ethical Considerations
Web Searching and Browsing: A Multilingual Perspective / Wingyan Chung
Literature Review
A Multilingual Perspective
Summary and Future Directions
Features for Content-Based Audio Retrieval / Dalibor Mitrović ; Matthias Zeppelzauer ; Christian Breiteneder
Audio Feature Design
A Novel Taxonomy for Audio Features
Audio Features
Related Literature
Multimedia Services over Wireless Metropolitan Area Networks / Kostas Pentikousis ; Jarno Pinola ; Esa Piri ; Pedro Neves ; Susana Sargento
WiMAX Overview
Multimedia over WiMAX Reference Scenarios
Advances in Telephony and the Emergence of Voice over IP
VoIP over WiMAX
Remote Surveillance and IPTV over WiMAX
Summary and Outlook
An Overview of Web Effort Estimation / Emilia Mendes
How to Measure a Technique's Prediction Accuracy?
Which Effort Estimation Technique to Use?
Web Effort Estimation Literature Survey
Communication Media Selection for Remote Interaction of Ad Hoc Groups / Fabio Calefato ; Filippo Lanubile
Task-Classification Frameworks
Group Research
CMC Theories
Development of a Comprehensive Theoretical Framework
Applications in Data-Intensive Computing / Anuj R. Shah ; Joshua N. Adkins ; Douglas J. Baxter ; William R. Cannon ; Daniel G. Chavarria-Miranda ; Sutanay Choudhury ; Ian Gorton ; Deborah K. Gracio ; Todd D. Halter ; Navdeep D. Jaitly ; John R. Johnson ; Richard T. Kouzes ; Matthew C. Macduff ; Andres Marquez ; Matthew E. Monroe ; Christopher S. Oehmen ; William A. Pike ; Chad Scherrer ; Oreste Villa ; Bobbie-Jo Webb-Robertson ; Paul D. Whitney ; Nino Zuljevic
Pitfalls and Issues of Manycore Programming / Ami Marowka
Illusion of Wireless Security / Alfred Loo
Brain-computer interfaces for the operation of robotic and prosthetic devices / Dennis J. McFarland ; Jonathan R. Wolpaw
The Tools Perspective on Software Reverse Engineering: Requirements, Construction and Evaluation / Holger M. Kienle ; Hausi A. Müller
Agile Software Development Methodologies and Practices / Laurie Williams
Agile Origins and Manifesto
Agile and Lean Principles
Agile Practices
Examples of Agile Software Development Methodologies
A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges / Arilo C. Dias-Neto ; Guilherme H. Travassos
Model-Based Testing
MBT Techniques: A Systematic Review
Challenges in Using MBT Techniques in Software Projects
Conclusions and Future Perspectives
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End / Bao N. Nguyen
Running Example of GUI Application Under Test
Test-Case Generation Techniques
Empirical Knowledge Discovery by Triangulation in Computer Science / Ravi I. Singh ; James Miller
Objectification of Concepts in Computer Science
Triangulation: Introduction
Startight: Next-Generation Communication Services, Exchanges, and Global Facilities / Joe Mambretti ; Tom DeFanti ; Maxine D. Brown
Future Network Services and Facility Prototypes
Future Directions
Parameters Effecting 2D Barcode Scanning Reliability / Amit Grover ; Paul Braeckel ; Kevin Lindgren ; Dennis Cobb
Factors that Affect Barcode Scan Ability
Testing Methodology
Advances in Video-Based Human Activity Analysis: Challenges and Approaches / Pavan Turaga ; Rama Chellappa ; Ashok Veeraraghavan
Challenges
Applications
Feature Extraction
Models for Actions
Complex Activities
A Unified Approach for Recognizing Simple Actions and Complex Activities
Understanding the Space of Primitives
Complex Activity Models: Cascade of Dynamical Systems
More General Activity Models: Time-Varying Models
View and Rate Variations
The How's and Why's of Information Markets / Areej Yassin ; Alan Hevner (aic-10-22)
Measuring and Monitoring Technical Debt / Carolyn Seaman ; Yuepu Guo (aic-10-15)
A Taxonomy and Survey of Energy-Efficient Data Centers and Cloud Computing Systems / Anton Beloglazov ; Rajkumar Buyya ; Young Choon Lee ; Albert Zomaya (aic-10-10)
Applications of Mobile Agents in Wireless Networks and Mobile Computing / Sergio González-Valenzuela ; Min Chen ; Victor C.M. Leung (aic-10-12)
Virtual graphics for Broadcast Production / Graham Thomas (aic-10-8)
Advanced Applications of Virtual Reality / Jürgen P. Schulze ; Han Suk Kim ; Philip Weber ; Andrew Prudhomme ; Roger E. Bohn ; Maurizio Seracini ; Thomas A. DeFanti (aic-10-16 ; aic-10-23)
The State of the Art in Identity Theft
What Sets Identity Theft APart from Other Crimes
Statistical Data for Identity Theft and Associated Crimes
The Genesis of the Problem
How SSN Became the De Facto Primary Key for Most Databases
The Ubiquitous Use of Fungible Credentials
Phishing
Modus Operandi
Inadequate Credential Management Procedures
Strategies for Defeating Identity Thieves
An Overview of Steganography / Gary C. Kessler ; Chet Hosmer
Low-Tech Stego Methods
Digital Technology Basics
Steganography and Digital Carrier Files
Detecting Steganography
Steganography Detection Tools
Captchas: An Artificial Intelligence Application to Web Security / José María Gómez Hidalgo ; Gonzalo Alvarez
Types of Captchas
Evaluation of Captchas
Security and Attacks on Captchas
Alternatives to Captchas
Advances in Video-Based Biometrics / Rama Chelfappa
Video-Based Face
Video-Based Idenification Using Gait
Action Research Can Swing the Balance in Experimental Software Engineering / Paulo Sérgio Medeiros dos Santos ; Guilherme Horta Travassos
Action Research Overview
The Use of Action Research in Software Engineering: A Preliminary Survey?
Using Action Research in Software Engineering: An In Vivo Study
Applying Action Research to Software Engineering
Final Considerations
Functional and Nonfunctional Design Verification for Embedded Software Systems / Arnab Ray ; Rance Cleaveland ; Charles Shelton ; Chris Martin
Instrumentation-Based Verification
Quality Attribute-Based Reasoning
Integrated Functional and Nonfunctional Verification
Tool Support
Software Organizations and Test Process Development / Jussi Kasurinen
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development / Rupesh Dev ; Antti Jääskeläinen ; Mika Katara
Model Transformation Specification and Design / K. Lano ; S. Kolahdouz-Rahimi
Advances on Improving Automation in Developer Testing / Xusheng Xiao ; Suresh Thummalapenta ; Tao Xie
Automated Interoperability Testing of Healthcare Information Systems / Diana Elena Vega ; Ina Schieferdecker
Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study / Fevzi Belli ; Mutlu Beyazit ; Nevin Güler
Deployable Capture/Replay Supported by Internal Messages / Steffen Herbold ; Uwe Bunting ; Jens Grabowski ; Stephan Waack
Combining Performance and Availability Analysis in Practice / Kishor Trivedi ; Ermeson Andrade ; Fumio Machida
Modeling, Analysis and Testing of System Vulnerabilities / Aditya P. Mathur ; Nimal Nissanke
System Dependability - Characterization and Benchmarking / Yves Crouzet ; Karama Kanoun
Pragmatic Directions in Engineering Secure Dependable Systems / M. Farrukh Khan ; Raymond A. Paul
Model-Based Testing: Achievements and Future Challenges / Michael Mlynarski ; Baris Güldali ; Stephan Weißleder ; Gregor Engels
Cloud Computing Uncovered: A Research Landscape / Mohammad Hamdaqa ; Ladan Tahvildari
Advances in User-session-based Testing of Web Applications / Sreedevi Sampath
Machine Learning and Event-Based Software Testing: Classifiers for Identifying Infeasible GUI Event Sequences / Robert Gove ; Jorge Faytong
A Framework for Detecting and Diagnosing Configuration Faults in Web Applications
Trends in Model-based GUI Testing / Stephan Arlt ; Cristiano Bertolini ; Simon Pahl ; Martin Schaf
Regression Testing in Software Product Line Engineering / Per Runeson ; Emelie Engstrom
Introduction and Preface / Sahra Sedigh ; Ali Hurson
Techniques to Measure, Model, and Manage Power / Bhavishya Goel ; Sally A. McKee ; Magnus Sjalander
Quantifying IT Energy-Efficiency / Florian Niedermeier ; Gergo Lovasz ; Hermann de Meer
State of the Art on Technology and Practices for Improving the Energy Efficiency of Data Storage / Marcos Dias de Assuncao ; Laurent Lefevre
Optical Interconnects for Green Computers and Data Centers / Shinji Tsuji ; Takashi Takemoto
Energy Harvesting for Sustainable Smart Spaces / Nga Dang ; Elaheh Bozorgzadeh ; Nalini Venkatasubramanian
How Elasticity Property Plays an Important Role in the Cloud: A Survey / M.A.N. Bikas ; A. Alourani ; M. Grechanik
Cloud Elasticity
Existing Cloud Elasticity Solutions
Existing Research Issues of Cloud Elasticity
How Elasticity Can Be Improved in the Cloud
About the Authors
Input-Sensitive Profiling: A Survey
Input-Sensitive Profiling Challenges
Recent Researches on Input-Sensitive Profiling
Recent Advances in Regression Testing Techniques / H. Do
About the Author
Coverage-Based Software Testing: Beyond Basic Test Requirements / W. Masri ; F.A. Zaraket
Definitions
Early Techniques: Basic Coverage Criteria
Early Techniques: Advanced Coverage Criteria
Early Techniques: Profiling for Basic Coverage
Efficient Profiling for Path Coverage
Test Case Generation for Path Coverage
Test Suite Minimization; Covering Complex tr's
Test Suite Minimization: Covering Combinations of Basic tr's
PBCOV: Property-Based Coverage Criterion
UCov: User-Defined Coverage Criterion
Contents of Volumes in this Series
Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk
A Software Process Engineering Framework / J. Kontio
Gaining Business Value from IT Investments / P. Simmons
33.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Pierre Collet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2310
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼