close
1.

図書

図書
Michael Macrone ; illustrations by Tom Lulevitch
出版情報: New York : Gramercy Books, 1999, c1991  xiv, 238 p., [2] leaves of plates ; 22 cm
所蔵情報: loading…
2.

図書

図書
金仁謙 [著] ; 高島淑郎訳注
出版情報: 東京 : 平凡社, 1999.11  425p ; 18cm
シリーズ名: 東洋文庫 ; 662
所蔵情報: loading…
3.

図書

図書
David J. Duke, Ivan Herman, M. Scott Marshall
出版情報: Berlin : Springer, c1999  xii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1591
所蔵情報: loading…
目次情報: 続きを見る
PREMO: A Standard for Distributed Multimedia
Introduction / 1.1:
What PREMO Is / 1.1.1:
What PREMO Isn't / 1.1.2:
Formal Description Techniques and PREMO / 1.2:
Structure of the Book / 1.3:
Typographical Conventions / 1.4:
Graphical Conventions / 1.5:
An Overview of PREMO
The Structure of PREMO / 2.1:
The PREMO Object Model / 2.3:
Overview / 2.3.1:
From Language Bindings to Environment Bindings / 2.3.2:
Object References / 2.3.3:
Active Objects / 2.3.4:
Operation Dispatching / 2.3.5:
Attributes / 2.3.6:
Non-object Data Types / 2.3.7:
The Foundation Component / 2.4:
Structures, Services, and Types / 2.4.1:
Inter-Object Communication / 2.4.2:
Synchronization / 2.4.3:
Time / 2.4.4:
Property Management / 2.4.5:
Object Factories / 2.4.6:
The Multimedia Systems Services Component / 2.5:
The Paradigm of Media Networks / 2.5.1:
Virtual Resources / 2.5.2:
Stream Control / 2.5.3:
Virtual Devices / 2.5.4:
Virtual Connections / 2.5.5:
Higher-Levels of Organization: Groups and Logical Devices / 2.5.6:
Working in Unison / 2.5.7:
The Modelling, Rendering, and Interaction Component / 2.6:
Object-Oriented Rendering / 2.6.1:
Primitives / 2.6.2:
Modelling and Rendering Devices / 2.6.3:
Coordination / 2.6.4:
Closing Remarks / 2.7:
The Fundamentals of PREMO
Basic Concepts / 3.1:
PREMO Objects and Object Types / 3.2.1:
Non-object Types / 3.2.2:
Object Identity and Object References / 3.2.4:
Operations / 3.3:
Subtyping / 3.4:
Inheritance / 3.5:
Protected Operations / 3.6:
Operation Selection, and Casting / 3.7:
Operation Request Modes / 3.8:
Exceptions / 3.9:
The Object and Object Reference Lifecycle / 3.10:
The Environment Binding / 3.11:
General Implementation Issues
Implementation Choices / 4.1:
Implementation Language / 4.1.1:
Implementation Environment / 4.1.2:
PREMO Specifications in Java and Java RMI / 4.2:
Constraints on the Specification Details / 4.2.1:
Registering Server Objects / 4.2.2:
PREMO Non-object Types / 5.1:
Basic Data Types / 5.2.1:
Constructed Data Types / 5.2.2:
Top Layer of the PREMO Object Hierarchy / 5.2.3:
The PREMOObject Interface / 5.3.1:
Simple PREMO Objects / 5.3.2:
Event Structures / 5.3.2.1:
Constraint Structures / 5.3.2.2:
Callbacks / 5.3.3:
Enhanced PREMO Objects / 5.3.4:
Enhanced PREMO Objects as Service Objects / 5.3.4.1:
Top Layer of PREMO / 5.3.4.2:
General Utility Objects / 5.4:
Event Management / 5.4.1:
The PREMO Event Model / 5.4.1.1:
The Event Handler Object / 5.4.1.2:
Synchronization Points / 5.4.1.3:
Finite State Machines: Controller Objects / 5.4.2:
Detailed Specification of a Controller / 5.4.2.1:
Activity of Controllers / 5.4.2.2:
Time Objects / 5.4.3:
General Notions / 5.4.3.1:
Specification of the PREMO Time Objects / 5.4.3.2:
Synchronization Facilities / 5.5:
Synchronizable Objects / 5.5.1:
Overview: Event-Based Synchronization / 5.5.1.1:
State Transition Monitoring / 5.5.1.2:
Detailed Specification of the Synchronizable Object / 5.5.1.3:
Synchronizable Objects as Callbacks / 5.5.1.4:
Time and Synchronizable Objects / 5.5.2:
Stop-Watch and Progression / 5.5.2.1:
Time and Progression Space / 5.5.2.2:
Reference Point Specifications in Time / 5.5.2.3:
Combining TimeSynchronizable Objects: Time Slaves / 5.5.3:
Time-Lines / 5.5.4:
Negotiation and Configuration Management / 5.6:
Property Inquiry Objects / 5.6.1:
Constraining Properties / 5.6.3:
Dynamic Change of Properties / 5.6.4:
Interaction among Properties / 5.6.5:
Some Conclusions on the Negotiation Facilities / 5.6.6:
Creation of Service Objects / 5.7:
Generic Factory Objects / 5.7.1:
Factory Finders / 5.7.2:
Use of Factories and Factory Finders / 5.7.3:
Multimedia Systems Services Component
Configuration Objects / 6.1:
Format Objects / 6.2.1:
Transport and Media Stream Protocol Objects / 6.2.2:
Quality of Service Descriptor Objects / 6.2.3:
The StreamControl Object / 6.3:
SyncStreamControl Objects / 6.3.2:
Property Control of Configurations / 6.4:
Resource and Configuration Management / 6.4.2:
Monitoring Resource Behaviour and Quality of Service Violations / 6.4.3:
Configuring Devices / 6.5:
Global Configuration / 6.5.1.1:
Port Configurations / 6.5.1.2:
Examples of Virtual Devices / 6.5.2:
Simple Media Devices / 6.5.2.1:
Transformer Devices / 6.5.2.2:
Detailed Specification of Virtual Connections / 6.6:
Examples of Virtual Connections / 6.6.3:
Multicast Connections / 6.6.4:
Groups / 6.7:
Logical Devices / 6.8:
The Role of Primitives in PREMO / 7.1:
The Hierarchy in Overview / 7.2.2:
Captured Primitives / 7.2.3:
Form Primitives / 7.2.4:
Tactile Primitives / 7.2.5:
Modifier Primitives / 7.2.6:
Wrapper Primitives / 7.2.7:
Tracer Primitives / 7.2.8:
Structured Primitives / 7.2.9:
Aggregate Primitives / 7.2.9.1:
TimeComposite / 7.2.9.2:
Reference Primitives / 7.2.10:
Coordinate Spaces / 7.3:
Coordinate / 7.3.1:
TimeLocation / 7.3.2:
Colour / 7.3.3:
Devices for Modelling, Rendering, and Interaction / 7.4:
MRI_Format / 7.4.1:
Efficiency Measures / 7.4.2:
MRI Device / 7.4.3:
Modeller / 7.4.4:
Renderer / 7.4.5:
MediaEngine / 7.4.6:
Input Devices, and Routing / 7.5:
InputDevice / 7.5.1:
Router / 7.5.2:
The Scene Database / 7.6:
Management / 7.7:
Allocation / 7.7.2:
Detailed Java Specifications of the PREMO Objects / 7.7.3:
Foundation Objects / 8.1:
Enumerations / 8.2.1:
Additional Data Types / 8.2.2:
Top Level of PREMO Hierarchy / 8.2.3:
Structures / 8.2.4:
Controllers / 8.2.5:
Sychronization Objects / 8.2.5.3:
Multimedia Systems Services / 8.2.7:
Structures and Additional Data Types / 8.3.1:
Virtual Resource / 8.3.3:
Virtual Device / 8.3.6:
Group / 8.3.7:
Logical Device / 8.3.9:
Objects for Coordinate Spaces / 8.4:
Coordinate Object / 8.4.1.1:
Colour Object / 8.4.1.2:
TimeLocation Object / 8.4.1.3:
Name Object / 8.4.2:
Objects for Media Primitives / 8.4.3:
Primitive Object / 8.4.3.1:
Captured Object / 8.4.3.2:
Primitives with Spatial and/or Temporal Form / 8.4.3.3:
Form Primitives for Audio Media Data / 8.4.3.4:
Form Primitives for Geometric Media Data / 8.4.3.5:
Primitives for the Modification of Media Data / 8.4.3.6:
Modifier Primitives for Audio Media Data / 8.4.3.7:
Modifier Primitives for Structural Aspects of Media Data / 8.4.3.8:
Modifier Primitives for Visual Aspects of Media Data / 8.4.3.9:
Organising Primitives into Structures / 8.4.3.10:
Organising Media Data within Time / 8.4.3.11:
Objects for Describing Properties of Devices / 8.4.4:
MRI_Format Object / 8.4.4.1:
EfficiencyMeasure Object / 8.4.4.2:
Processing Devices for Media Data / 8.4.5:
MRI_Device Object / 8.4.5.1:
Modeller Object / 8.4.5.2:
Renderer Object / 8.4.5.3:
MediaEngine Object / 8.4.5.4:
Scene Object / 8.4.6:
Objects for Supporting Interaction / 8.4.7:
InputDevice Object / 8.4.7.1:
Router Object / 8.4.7.2:
Coordinator Object / 8.4.8:
Selected Implementation Issues
The PREMO Environment / A.1:
Activity of Objects / A.1.1:
Top Level of the PREMO Hierarchy / A.1.2:
Distribution and the Creation of PREMO Objects / A.1.3:
Specific Part 3 Objects / A.2:
Virtual Connection Objects / A.2.1:
Devices on the Same JVM: Piped Streams / A.2.1.1:
Devices on Different JVM's: Sockets / A.2.1.2:
References / A.2.1.3:
Index
PREMO: A Standard for Distributed Multimedia
Introduction / 1.1:
What PREMO Is / 1.1.1:
4.

図書

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

図書

図書
Peter Widmayer, Gabriele Neyer, Stephan Eidenbenz (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1665
所蔵情報: loading…
目次情報: 続きを見る
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
Car Manufacturing Industries / Thomas Lengauer
Informatica, Scuola, Communita: Uno Sguardo dall' Occhio del Ciclone / N. Santoro
Proximity-Preserving Labeling Schemes and Their Applications / David Peleg
Euler is Standing in Line / D. Hauptmeier ; S. O. Krumke ; J. Rambau ; H.-C. Wirth
Lower Bounds for Approximating Shortest Superstrings over an Alphabet of Size 2 / Sascha Ott
ComplexityClassification of Some Edge Modification Problems / Assaf Natanzon ; Ron Shamir ; Roded Sharan
On Minimum Diameter Spanning Trees under Reload Costs / Hans-Christoph Wirth ; Jan Steffan
Induced Matchings in Regular Graphs and Trees / Michele Zito
Mod-2 Independence and Domination in Graphs / Magnús M. Halldó rsson ; Jan Kratochvil ; Jan Arne Telle
On the Nature of Structure and Its Identification / Ojvind Johansson ; Benno Stein ; Oliver Niggemann
On the Clique-Width of Perfect Graph Classes / Martin Charles Golumbic ; Udi Rotics
An Improved Algorithm for Finding Tree Decompositions of Small Width / Ljubomir Perkovic ; Bruce Reed
Efficient Analysis of Graphs with Small Minimal Separators / K. Skodinis
Generating All the Minimal Separators of a Graph / Anne Berry ; Jean-Paul Bordat ; Olivier Cogis
Two Broadcasting Problems in FaultyHypercubes / Stefan Dobrev ; Imrich Vrto
Routing Permutations in the Hypercube / Olivier Baudon ; Guillaume Fertin ; Ivan Havel
An Optimal Fault-Tolerant Routing for Triconnected Planar Graphs / Koichi Wada ; Yoriyuki Nagata ; Wei Chen
Optimal Irreversible Dynamos in Chordal Rings / Paola Flocchini ; Frédéric Geurts ; Nicola Santoro
Recognizing Bipartite Incident-Graphs of Circulant Digraphs / Johanne Cohen ; Pierre Fraigniaud ; Cyril Gavoille
Optimal Cuts for Powers of the Petersen Graph / Sergei L. Bezrukov ; Sajal K. Das ; Robert Elsässer
Dihamiltonian Decomposition of Regular Graphs with Degree Three / Jung-Heum Park ; Hee-Chul Kim
Box-Rectangular Drawings of Plane Graphs / Md. Saidur Rahman ; Shin-ichi Nakano ; Takao Nishizeki
A Multi-Scale Algorithm for Drawing Graphs Nicely / Ronny Hadany ; David Harel
All Separating Triangles in a Plane Graph Can Be Optimally "Broken" in Polynomial Time / Anna Accornero ; Massimo Ancona ; Sonia Varini
Linear Orderings of Random Geometric Graphs / Josep Diaz ; Mathew D. Penrose ; Jordi Petit ; Maria Serna
Finding Smallest Supertrees Under Minor Containment / Naomi Nishimura ; Prabhakar Ragde ; Dimitrios M. Thilikos
Vertex Cover: Further Observations and Further Improvements / Jianer Chen ; Iyad A. Kanj ; Weijia Jia
On the Hardness of Recognizing Bundles in Time Table Graphs / Annegret Liebers ; Dorothea Wagner ; Karsten Weihe
Optimal Solutions for FrequencyAssignment Problems via Tree Decomposition / Arie M.C.A. Koster ; Stan P.M. van Hoesel ; Antoon W.J. Kolen
Fixed-Parameter Complexity of ?-Labelings / Jiri Fiala ; Ton Kloks
Linear Time Algorithms for Hamiltonian Problems on (Claw,Net)-Free Graphs / Andreas Brandstädt ; Feodor F. Dragan ; Ekkehard Köhler
On Claw-Free Asteroidal Triple-Free Graphs / Harald Hempel ; Dieter Kratsch
Vertex Partitioning of Crown-Free Interval Graphs / Giuseppe Confessore ; Paolo Dell'Olmo ; Stefano Giordani
Author Index / I. Parfenoff ; F. Roussel ; I. Rusu
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
6.

図書

図書
Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 558 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1711 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
On Text Mining Techniques for Personalization / C. C. Aggarwal ; P. S. Yu
A Road to Discovery Science / S. Arikawa
Rough Computing: Foundations and Applications
Calculi of Granules Based on Rough Set Theory: Approximate Distributed Synthesis and Granular Semantics for Computing with Words / L. Polkowski ; A. Skowron
Discovery of Rules about Complications / S. Tsumoto
Rough Genetic Algorithms / P. Lingras ; C. Davies
Classifying Faults in High Voltage Power Systems: A Rough-Fuzzy Neural Computational Approach / L. Han ; J. F. Peters ; S. Ramanna ; R. Zhai
Rough Set Theory and Its Applications
Toward Spatial Reasoning in the Framework of Rough Mereology
An Algorithm for Finding Equivalence Relations from Tables with Non-deterministic Information / H. Sakai ; A. Okuma
On the Extension of Rough Sets under Incomplete Information / J. Stefanowski ; A. Tsoukias
On Rough Relations: An Alternative Formulation / Y. Y. Yao ; T. Wang
Formal Rough Concept Analysis / J. Saquer ; J. S. Deogun
Noise Reduction in Telecommunication Channels Using Rough Sets and Neural Networks / R. Krolikowski ; A. Czyzewski
Rough Set Analysis of Electrostimilation Test Database for the Prediction of Post-Operative Profits in Cochlear Implanted Patients / H. Skarzynski ; B. Kostek
A Rough Set-Based Approach to Text Classification / A. Chouchoulas ; Q. Shen
Modular Rough Fuzzy MLP: Evolutionary Design / P. Mitra ; S. Mitra ; S. K. Pal
Approximate Reducts and Association Rules: Correspondence and Complexity Results / H. S. Nguyen ; D. Slezak
Handling Missing Values in Rough Set Analysis of Multi-Attribute and Multi-Criteria Decision Problems / S. Greco ; B. Matarazzo ; R. Slowinski
The Generic Rough Set Inductive Logic Programming Model and Motifs in Strings / A. Siromoney ; K. Inoue
Rough Problem Settings for Inductive Logic Programming / C. Liu ; N. Zhong
Using Rough Sets with Heuristics to Feature Selection / J. Z. Dong ; S. Ohsuga
The Discretization of Continuous Attributes Based on Compatibility Rough Set and Genetic Algorithm / L. Sun ; W. Gao
Fuzzy Set Theory and Its Applications
Level Cut Conditioning Approach to the Necessity Measure Specification / M. Inuiguchi ; T. Tanino
Four c-regression Methods and Classification Functions / S. Miyamoto ; K. Umayahara ; T. Nemoto
Context-Free Fuzzy Sets in Data Mining Context / T. Y. Lin
Applying Fuzzy Hypothesis Testing to Medical Data / M. Last ; A. Schenker ; A. Kandel
Generating A Macroeconomic Fuzzy Forecasting System Using Evolutionary Search / R. Veliev ; A. Rubinov ; A. Stranieri
Fuzzy Control of Nonlinear Systems Using Nonlinearized Parameterization / H. Han ; H. Kawabata
Control of Chaotic Systems Using Fuzzy Model-Based Regulators / K. Watanabe ; L. Udawatta ; K. Kiguchi ; K. Izumi
Fuzzy Behavior-Based Control for the Obstacle Avoidance of Multi-Link Manipulators / P. Dassanayake
Fuzzy Future Value and Annual Cash Flow Analyses / N. Cetin ; C. Kahraman
Semi-Linear Equation with Fuzzy Parameters / S. Melliani
Non-Classical Logic and Approximate Reasoning
First Order Rough Logic-Revisited / Q. Liu
A Generalized Decision Logic in Interval-set-valued Information Tables
Many-Valued Dynamic Logic for Qualitative Decision Theory / C. J. Liau
Incorporating Fuzzy Set Theory and Matrix Logic in Multi-Layer Logic / H. Yamauchi
Fuzzy Logic as Interfacing Media for Constraint Propagation Based on Theories of Chu Space and Information Flow / K. Sato ; T. Horiuchi ; T. Hiraoka ; H. Kawakami ; O. Katai
Pattern Reasoning: A New Solution for Knowledge Acquisition Problem / H. Tsukimoto
Probabilistic Inference and Bayesian Theorem Based on Logical Implication / Y. Yamauchi ; M. Mukaidono
Reasoning with Neural Logic Networks / R. Yasdi
The Resolution for Rough Propositional Logic with Lower (L) and Upper (H) Approximate Operators
Information Granulation and Granular Computing
Information Granules in Distributed Environment / J. Stepaniuk
Evolving Granules for Classification for Discovering Difference in the Usage of Words / T. Yoshida ; T. Kondo ; S. Nishida
Interval Evaluation by AHP with Rough Sets Concept / K. Sugihara ; Y. Maeda ; H. Tanaka
Interval Density Functions in Conflict Analysis / K. Senoo
Incorporating Personal Databases by Granular Computing / Y. Kakemoto
Data Mining and Knowledge Discovery
Knowledge-Driven Discovery of Operational Definitions / J. M. Żytkow
A Closest Fit Approach to Missing Attribute Values in Preterm Birth Data / J. W. Grzymala-Busse ; W. J. Grzymala-Busse ; L. K. Goodwin
Visualizing Discovered Rule Sets with Visual Graphs Based on Compressed Entropy Density / E. Suzuki ; H. Ishihara
A Distance-Based Clustering and Selection of Association Rules on Numeric Attributes / X. Du ; S. Suzuki ; N. Ishii
Knowledge Discovery for Protein Tertiary Substructures / C. K. Chen ; D. Y. Y. Yun
Integrating Classification and Association Rule Mining: A Concept Lattice Framework / K. Hu ; Y. Lu ; L. Zhou ; C. Shi
Using Rough Genetic and Kohonen's Neural Network for Conceptual Cluster Discovery in Data Mining / H. Kiem ; D. Phuc
Towards Automated Optimal Equity Portfolios Discovery in A Knowledge Sharing Financial Data Warehouse / Y. C. Lu ; H. Cheng
Rule-Evolver: An Evolutionary Approach for Data Mining / C. Lopes ; M. Pacheco ; M. Vellasco ; E. Passos
Machine Learning
Decision Making with Probabilistic Decision Tables / W. Ziarko
The Iterated Version Space Learning / J. J. Zhang ; N. Cercone
An Empirical Study on Rule Quality Measures / A. An
Rules as Attributes in Classifier Construction / M. S. Szczuka
An Algorithm to Find the Optimized Network Structure in An Incremental Learning / J. C. Lee ; W. D. Lee ; M. S. Han
Patterns in Numerical Data: Practical Approximations to Kolmogorov Complexity
Performance Prediction for Classification Systems / F. Sun
Intelligent Agents and Systems
Flexible Optimization and Evolution of Underwater Autonomous Agents / E. Eberbach ; R. Brooks ; S. Phoha
Ontology-Based Multi-Agent Model of An Information Security System / V. I. Gorodetski ; L. J. Popyack ; I. V. Kotenko ; V. A. Skormin
Optimal Multi-Scale Time Series Decomposition for Financial Forecasting Using Wavelet Thresholding Techniques / T. Shin ; I. Han
Computerized Spelling Recognition of Words Expressed in the Sound Approach / M. Higgins
An Adaptive Handwriting Recognition System / G. Qian
Author Index
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
7.

図書

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

図書

図書
Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin : Springer, c1999  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1717
所蔵情報: loading…
9.

図書

図書
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
10.

図書

図書
Vijay Varadharajan, Yi Mu (eds.)
出版情報: Berlin : Springer, c1999  xi, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1726
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
International Cryptography / Doug McGowan
Cryptanalysis
Reaction attacks against several public key cryptosystems / C. Hall ; I. Goldberg ; B. Schneier
Cryptanalysis of some AES candidate algorithms / W. Wu ; B. Li ; D. Feng ; S. Qing
Language Based Approach to Security
Issues in the design of a language for role based access control / M. Hitchens ; V. Varadharajan
Extending Erlang for safe mobile code execution / L. Brown ; D. Sahlin
Electronic Commerce and Secret Sharing
Detachable electronic coins / C. Pavlovski ; C. Boyd ; E. Foo
Linear secret sharing with divisible shares / J. Pieprzyk
Efficient publicly verifiable secret sharing schemes with fast or delayed recovery / F. Boudot ; J. Traore
Digital Signatures
Zero-knowledge proofs of possession of ElGamal-like digital signatures and its applications / K. Q. Nguyen ; F. Bao ; Y. Mu
Signature scheme for controlled environments / K. Viswanathan ; E. Dawson
On the cryptographic value of the Qth root problem / C. L. Beaver ; P. S. Gemmell ; A. M. Johnston ; W. Neumann
Protecting Critical Information Systems / Sushil Jajodia
Security Protocols
Delegation chains secure up to constant length / M. Abe ; T. Okamoto
Optimal construction of unconditionally secured ID-based key sharing scheme for large-scale networks / G. Hanaoka ; T. Nishioka ; Y. Zheng ; H. Imai
Enhancing the resistance of a provably secure key agreement protocol to a denial-of-service attack / S. Hirose ; K. Matsuura
An extended logic for analyzing timed-release public-key protocols / M. Kudo ; A. Mathuria
Applications
Bringing together X.509 and EDIFACT public key infrastructures: The DEDICA project / M. Rubia ; J. C. Cruellas ; M. Medina
User identification system based on biometrics for keystroke / K. Omote ; E. Okamoto
Boundary conditions that influence decisions about log file formats in multi-application smart cards / C. Markantonakis
Sending message into a definite future / W. Mao
Cryptography
Efficient accumulators without trapdoor / T. Sander
Evolutionary heuristics for finding cryptographically strong S-Boxes / W. Millan ; L. Burnett ; G. Garter ; A. Clark
Incremental authentication of tree-structured documents / P. Ekdahl ; B. Smeets
Complexity and Security Functions
Plateaued Functions / X.-M. Zhang
On the linear complexity of the Naor-Reingold pseudo-random function / F. Griffin ; I. E. Shparlinski
On the channel capacity of narrow-band subliminal channels / K. Kobara
Author Index
Keynote Speech
International Cryptography / Doug McGowan
Cryptanalysis
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼