1.
ＥＢ
Luis M. Camarinha-Matos
出版情報:
Springer eBooks Computer Science , Springer US, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A：
Networked Enterprises / Part B：
Integrated Design and Assembly / Part C：
Machine Learning and Data Mining in Industry / Part D：
Author Index
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A：
2.
ＥＢ
Yong Shi, Zhengxin Chen, Takeo Kanade, Weixuan Xu
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
3.
ＥＢ
J?rgen Dix, Takeo Kanade, Jo?o Leite, Jo?o Alexandre Leite, Jo??o Leite
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
4.
ＥＢ
Gianluca Moro, Juris Hartmanis, Claudio Sartori, Munindar P. Singh, Munindar Paul Singh
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
5.
ＥＢ
Petra Perner, Takeo Kanade, Germany) Institut f?r Bildverarbeitung und Angewandte Informatik (Leipzig
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
6.
ＥＢ
Geoffrey I. Webb, Takeo Kanade, Xing Huo Yu, Xinghuo Yu
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
7.
ＥＢ
David Hutchison, Gunter Grieser, Takeo Kanade, Yuzuru Tanaka
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
Eye Movement Navigation Interface Supporting Reading / Satoru Morita
Intuitive Interfaces for Motion Generation and Search / Yoshihiro Okada ; Hiroaki Etou ; Koichi Niijima
IntelligentPad / Meme Media
Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning / Volker Dötsch ; Kimihito Ito ; Klaus P. Jantke
Accessing Related Web Resources Through Annotated Documents / Jun Fujima ; Yuzuru Tanaka
The Biotope Issue in Meme Media Implementations
Meme Media Architecture for Intuitively Accessing and Organizing Intellectual Resources
Visualization and Design of Information Access Spaces
Enhancing Visual Perception Using Dynamic Updating of Display / Toshio Kawashima ; Takanori Terashima ; Takeshi Nagasaki ; Masashi Toda
3D Space Framework for the Multi-facet Accessing of Database Records / Makoto Ohigashi
Integrated Visualization Framework for Relational Databases and Web Resources / Tsuyoshi Sugibuchi
Semantic and Narrative Organization and Access of Knowledge Discovering Implicit Relationships in a Web of Contexts / Mina Akaishi ; Nicolas Spyratos
On Information Organization in Annotation Systems / Panos Constantopoulos ; Martin Doerr ; Maria Theodoridou ; Manos Tzobanakis
Modelling Learning Subjects as Relationships
Formalizing Retrieval Goal Change by Prioritized Abduction / Ken Satoh
Similarity of Documents Based on the Vector Sequence Model / Akihiro Yamamoto ; Akira Ogiso
Towards Constructing Story Databases Using Maximal Analogies Between Stories / Masaharu Yoshioka ; Makoto Haraguchi ; Akihito Mizoe
Author Index
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
8.
ＥＢ
Michael G. Hinchey, Takeo Kanade, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
9.
ＥＢ
SIGCHI Workshop on Ambient Intelligence for Scientific Discovery, Yang Cai, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
10.
ＥＢ
Tag Gon Kim, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
11.
ＥＢ
Keh-Yih Su, Takeo Kanade, Asia Federation of Natural Language Processing., Jong-Hyeok Lee, Jun'ichi Tsujii
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
12.
ＥＢ
International Conference on Formal Concept Analysis, Bernhard Ganter, Robert Godin, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
13.
ＥＢ
ArgMAS 2004, Takeo Kanade, Pavlos Moraitis, Iyad Rahwan, Chris Reed
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
14.
ＥＢ
ProMAS 2004, Rafael H. Bordini, Takeo Kanade, Mehdi Dastani, J??rgen Dix, Amal El Fallah Seghrouchni
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
15.
ＥＢ
E4MAS 2004, Takeo Kanade, Fabien Michel, H. Van Dyke Parunak, Danny Weyns, H. Van Dyke Parunak
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
16.
ＥＢ
International Workshop on Agent Communication, Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Takeo Kanade, Rogier M. van Eijk
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
17.
ＥＢ
TCGOV 2005, Michael H. B?hlen, Takeo Kanade, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
18.
ＥＢ
Spatial Cognition 2004, C. Freksa, Takeo Kanade, Christian Freksa, Markus Knauff, Bernd Krieg-Br??ckner, Bernhard Nebel
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
19.
ＥＢ
David Hutchison, Richard Benjamins, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
20.
ＥＢ
Gerhard Goos, Juris Hartmanis, Dieter Hutter, J?rg H. Siekmann, Werner Stephan
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
21.
ＥＢ
RoboCup 2004, Takeo Kanade, Daniele Nardi, Martin Riedmiller, Claude Sammut, Jos?? Santos-Victor
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
22.
ＥＢ
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, Boi Faltings, Takeo Kanade, European Research Consortium for Informatics and Mathematics., Adrian Petcu, Francesca Rossi
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
23.
ＥＢ
LPAR (Conference), Franz Baader, Takeo Kanade, Andre?? Voronkov
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
CERES in Many-Valued Logics / Matthias Baaz ; Alexander Leitsch
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi / Ullrich Hustadt ; Boris Motik ; Ulrike Sattler
Abstract DPLL and Abstract DPLL Modulo Theories / Robert Nieuwenhuis ; Albert Oliveras ; Cesare Tinelli
Combining Lists with Non-stably Infinite Theories / Pascal Fontaine ; Silvio Ranise ; Calogero G. Zarba
Abstract Model Generation for Preprocessing Clause Sets / Miyuki Koshimura ; Mayumi Umeda ; Ryuzo Hasegawa
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying / Helmut Seidl ; Kumar Neeraj Verma
Applications of General Exact Satisfiability in Propositional Logic Modelling / Vilhelm Dahllof
BCiC: A System for Code Authenticationand Verification / Nathan Whitehead ; Mart'in Abadi
Ordered Resolution with Selection for H(@) / Carlos Areces ; Daniel Gor'in
On a Semantic Subsumption Test / Jerzy Marcinkowski ; Jan Otop ; Grzegorz Stelmaszek
Suitable Graphs for Answer Set Programming / Thomas Linke ; Vladimir Sarsakov
Weighted Answer Sets and Applications in Intelligence Analysis / Davy Van Nieuwenborgh ; Stijn Heymans ; Dirk Vermeir
How to Fix It: Using Fixpoints in Different Contexts / Igor Walukiewicz
Reasoning About Systems with Transition Fairness / Benjamin Aminof ; Thomas Ball ; Orna Kupferman
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games / Dietmar Berwanger ; Erich Gradel
How the Location of * Influences Complexity in Kleene Algebra with Tests / Chris Hardin
The Equational Theory of Is Decidable, but Not Finitely Axiomatisable / Roberto Di Cosmo ; Thomas Dufour
A Trichotomy in the Complexity of Propositional Circumscription / Gustav Nordh
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems / Lucas Bordeaux ; Marco Cadoli ; Toni Mancini
Evaluating QBFs via Symbolic Skolemization / Marco Benedetti
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs / Jürgen Giesl ; Rene Thiemann ; Peter Schneider-Kamp
Automated Termination Analysis for Incompletely Defined Programs / Christoph Walther ; Stephan Schweitzer
Automatic Certification of Heap Consumption / Lennart Beringer ; Martin Hofmann ; Alberto Momigliano ; Olha Shkaravska
A Formalization of Off-Line Guessing for Security Protocol Analysis / Paul Hankes Drielsma ; Sebastian Mödersheim ; Luca Vigano
Abstraction-Carrying Code / Elvira Albert ; German Puebla ; Manuel Hermenegildo
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL / Norbert Schirmer
Can a Higher-Order and a First-Order Theorem Prover Cooperate? / Christoph Benzmüller ; Volker Sorge ; Mateja Jamnik ; Manfred Kerber
A Generic Framework for Interprocedural Analyses of Numerical Properties / Markus Müller-Olm
Second-Order Matching via Explicit Substitutions / Flávio L.C. de Moura ; Fairouz Kamareddine ; and
Mauricio Ayala-Rincon
Knowledge-Based Synthesis of Distributed Systems Using Event Structures / Mark Bickford ; Robert C. Constable ; Joseph Y. Halpern ; Sabina Petride
The Inverse Method for the Logic of Bunched Implications / Kevin Donnelly ; Tyler Gibson ; Neel Krishnaswami ; Stephen Magill ; Sungwoo Park
Cut-Elimination: Experiments with CERES / Stefan Hetzl ; Clemens Richter ; Hendrik Spohr
Uniform Rules and Dialogue Games for Fuzzy Logics / Agata Ciabattoni ; Christian G. Fermüller ; George Metcalfe
Nonmonotonic Description Logic Programs: Implementation and Experiments / Thomas Eiter ; Giovambattista Ianni ; Roman Schindlauer ; Hans Tompits
Implementing Efficient Resource Management for Linear Logic Programming / Pablo López ; Jeff Polakow
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals / Jamshid Bagherzadeh ; S. Arun-Kumar
Author Index
CERES in Many-Valued Logics / Matthias Baaz ; Alexander Leitsch
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi / Ullrich Hustadt ; Boris Motik ; Ulrike Sattler
Abstract DPLL and Abstract DPLL Modulo Theories / Robert Nieuwenhuis ; Albert Oliveras ; Cesare Tinelli
24.
ＥＢ
Daniel Kudenko, Eduardo Alonso, Takeo Kanade, Dimitar Kazakov
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
25.
ＥＢ
MABS 2004, Paul Davidsson, Takeo Kanade, Brian Logan, Keiki Takadama
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
26.
ＥＢ
Pacific Rim International Workshop on Multi-Agents, Mike Barley, Takeo Kanade, Nikola K. Kasabov, Nik Kasabov
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
27.
ＥＢ
WCII 2002, Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm R?dder, Wilhelm R?��dder
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
28.
ＥＢ
International Conference on Applications of Declarative Programming and Knowledge Management, Takeo Kanade, Dietmar Seipel, Ulrich Geske, Michael Hanus
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
29.
ＥＢ
LACL 2005, Philippe Blache, Takeo Kanade, Joan Busquets, Richard Moot, Edward Stabler
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
30.
ＥＢ
ESAW 2004, Marie-Pierre Gleizes, Takeo Kanade, Andrea Omicini, Franco Zambonelli
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
31.
ＥＢ
CSLP 2004, Henning Christiansen, Takeo Kanade, Peter Rossen Skadhauge, J?rgen Villadsen, J??rgen Villadsen
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
32.
ＥＢ
Canadian Society for Computational Studies of Intelligence. Conference, Guy Lapalme, Takeo Kanade, Bal?zs K?gl, Guy Lapalme
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
33.
ＥＢ
International Symposium on Methodologies for Intelligent Systems, Mohand-Sa?d Hacid, Takeo Kanade, Zbigniew W. Ras, Shusaku Tsumoto
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
34.
ＥＢ
AOIS 2004, Paolo Bresciani, Takeo Kanade, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
35.
ＥＢ
Pacific-Asia Conference on Knowledge Discovery and Data Mining, David Cheung, Tu Bao Ho, Takeo Kanade, Huan Liu
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
36.
ＥＢ
AIS-ADM 2005, Vladimir I. Gorodetski, Takeo Kanade, Jiming Liu, Victor A. Skormin
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
37.
ＥＢ
International Workshop on Declarative Agent Languages and Technologies, Takeo Kanade, Jo?o Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
38.
ＥＢ
David Hutchison, Sven A. Brueckner, Takeo Kanade, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
39.
ＥＢ
Yue Hao, Yiu-ming Cheung, Licheng Jiao, Yong-Chang Jiao, Takeo Kanade, Jiming Liu, Jianfeng Ma, Yu-Ping Wang, Hujun Yin, Yuping Wang
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
40.
ＥＢ
Yue Hao, Yiu-ming Cheung, Licheng Jiao, Yong-Chang Jiao, Takeo Kanade, Jiming Liu, Jianfeng Ma, Yuping Wang, Hujun Yin
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
41.
ＥＢ
Lipo Wang, Yaochu Jin, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
42.
ＥＢ
Lipo Wang, Yaochu Jin, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
43.
ＥＢ
Marcos Faundez-Zanuy, Virginia Espinosa-Duro, Anna Esposito, Marcos Fa?ndez Zanuy, L?onard Janer, Takeo Kanade, Josep Roure, Antonio Satue-Villar, L??onard Janer
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
44.
ＥＢ
Al?pio M?rio Jorge, Pavel Brazdil, Rui Camacho, Jo?o Gama, Lu?s Torgo, Jo??o Gama, Al??pio Jorge, Lu??s Torgo
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
45.
ＥＢ
Jo?o Leite, Paolo Torroni
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
46.
ＥＢ
SGAI International Conference on Innovative Techniques and Applied Artificial Intelligence, Tony Allen, Richard Ellis, Ann Macintosh, British Computer Society.
出版情報:
Springer eBooks Computer Science , Springer London, 2005
子書誌情報:
loading…
所蔵情報:
loading…
47.
ＥＢ
Bruno; Marinaro, Maria; Tagliaferri, Roberto Apolloni, Bruno Apolloni, M. Marinaro, Maria Marinaro, Roberto Tagliaferri, Italian Society on Neural Networks SIREN.
出版情報:
Springer eBooks Computer Science , Springer Netherlands, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
ProGenGrid: A Grid Framework for Bioinformatics / G. Aloisio et al1：
A preliminary investigation on connecting genotype to oral cancer development through XCS, 2 / F. Baronti et al2：
Mass Spectrometry Data Analysis for Early Detection of Inherited Breast Cancer / F. Baudi ; M. Cannataro et al3：
Feature Selection combined with random subspace ensemble for gene expression based diagnosis of malignancies / A. Bertoni et al4：
Pruning the Nodule Candidate Set in Postero Anterior Chest Radiographs / P. Campadelli ; E. Casiraghi5：
Protein Structure Assembly from Knowledge of beta-sheet Motifs and Secondary Structure / A. Ceroni et al6：
Analysis of Oligonucleotide Microarray Images using a fuzzy sets Approach in HLA Typing / G.B. Ferrara et al7：
Combinatorial and Machine Learning Approaches in Clustering Microarray Data / S. Pozzi ; I. Zoppis8：
Gene expression data modelling and validation of gene selection methods / F. Ruffino9：
Mining Yeast Gene Microaray Data with Latent Variable Models / A. Staiano et al10：
Recent Applications of Neural Networks in Bioinformatics / M.J. Wood ; J.D. Hirst11：
An Algorithm for Reducing the Number of Support Vectors / D. Anguita et al.12：
Pre-WIRN workshop on Computational Intelligence on Hardware: Algorithms, Implementations and Applications / Cihaia
Genetic Design of linear block error-correcting codes / A. Barbieri et al13：
Neural hardware based on kernel methods for industrial and scientific applications / A. Boni et al14：
Statistical Learning for Parton Identification / D. Cauz et al15：
Time-Varying Signals Classification Using a Liquid State Machine / A. Chella ; R. Rizzo16：
FPGA Based Statistical Data Mining Processor / E. Pasero et al17：
Neural Classification of HEP Experimental Data / S. Vitabile et al18：
WIRN Regular Sessions- Architectures and Algorithms
Models
Applications
ProGenGrid: A Grid Framework for Bioinformatics / G. Aloisio et al1：
A preliminary investigation on connecting genotype to oral cancer development through XCS, 2 / F. Baronti et al2：
Mass Spectrometry Data Analysis for Early Detection of Inherited Breast Cancer / F. Baudi ; M. Cannataro et al3：
48.
ＥＢ
Amit Konar, L. C. Jain, Lakhmi C. Jain
出版情報:
Springer eBooks Computer Science , Springer London, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Foreword
Preface
Acknowledgments
The Psychological Basis of Cognitive Modeling / Chapter 1：
Introduction / 1.1：
Cognitive Models of Pattern Recognition / 1.2：
Template-Matching Theory / 1.2.1：
Prototype-Matching Theory / 1.2.2：
Feature-Based Approach for Pattern Recognition / 1.2.3：
The Computational Approach / 1.2.4：
Cognitive Models of Memory / 1.3：
Atkinson-Shiffrin's Model / 1.3.1：
Debates on Atkinson-Shiffrin's Model / 1.3.2：
Tulving's Model / 1.3.3：
The Parallel Distributed Processing Approach / 1.3.4：
Mental Imagery / 1.4：
Mental Representation of Imagery / 1.4.1：
Rotation of Mental Imagery / 1.4.2：
Imagery and Size / 1.4.3：
Imagery and Shape / 1.4.4：
Part-Whole Relationship in Mental Imagery / 1.4.5：
Ambiguity in Mental Imagery / 1.4.6：
Neurophysiological Similarity between Imagery and Perception / 1.4.7：
Cognitive Maps of Mental Imagery / 1.4.8：
Understanding a Problem / 1.5：
Steps in Understanding a Problem / 1.5.1：
A Cybernetic View of Cognition / 1.6：
The States of Cognition / 1.6.1：
Computational Modeling of Cognitive Systems / 1.7：
Petri Nets: A Brief Review / 1.8：
Extension of Petri Net Models for Distributed Modeling of Cognition / 1.9：
Scope of the Book / 1.10：
Summary / 1.11：
Exercises
References
Parallel and Distributed Logic Programming / Chapter 2：
Formal Definitions / 2.1：
Preliminary Definitions / 2.2.1：
Properties of the Substitution Set / 2.2.2：
SLD Resolution / 2.2.3：
Concurrency in Resolution / 2.3：
Types of Concurrent Resolution / 2.3.1：
Petri Net Model for Concurrent Resolution / 2.4：
Extended Petri Net / 2.4.1：
Algorithm for Concurrent Resolution / 2.4.2：
Performance Analysis of Petri Net-Based Models / 2.5：
The Speed-up / 2.5.1：
The Resource Utilization Rate / 2.5.2：
Resource Unlimited Speed-up and Utilization Rate / 2.5.3：
Conclusions / 2.6：
Distributed Reasoning by Fuzzy Petri Nets: A Review / Chapter 3：
Fuzzy Logic and Approximate Reasoning / 3.1：
Structured Models of Approximate Reasoning / 3.2：
Looney's Model / 3.3：
The Model Proposed by Chen et al / 3.4：
Konar and Mandal's Model / 3.5：
Yu's Model / 3.6：
Chen's Model for Backward Reasoning / 3.7：
Bugarin and Barro's Model / 3.8：
Pedrycz and Gomide's Learning Model / 3.9：
Construction of Reduction Rules Using FPN / 3.10：
Scope of Extension of Fuzzy Reasoning on Petri Nets / 3.11：
Belief Propagation and Belief Revision Models in Fuzzy Petri Nets / 3.12：
Imprecision Management in an Acyclic FPN / 4.1：
Formal Definitions and the Proposed Model / 4.2.1：
Proposed Model for Belief Propagation / 4.2.2：
Proposed Algorithm for Belief Propagation / 4.2.3：
Properties of FPN and Belief Propagation Scheme / 4.2.4：
Imprecision and Inconsistency Management in a Cyclic FPN / 4.3：
Proposed Model for Belief Revision / 4.3.1：
Stability Analysis of the Belief Revision Model / 4.3.2：
Detection and Elimination of Limit Cycles / 4.3.3：
Nonmonotonic Reasoning in an FPN / 4.3.4：
Building Expert Systems Using Fuzzy Petri Nets / 4.4：
The Database / 5.1：
The Data-tree / 5.2.1：
The Knowledge Base / 5.3：
The Inference Engine / 5.4：
Searching Antecedent Parts of PR in the Data-tree / 5.4.1：
Formation of the FPN / 5.4.2：
Decision Making and Explanation Tracing / 5.4.3：
A Case Study / 5.5：
Performance Evaluation / 5.6：
Time-Complexisty for the Default-Data-Tree-Formation Procedure / 5.6.1：
Time-Complexity for the Procedure Suspect-Identification / 5.6.2：
Time-Complexity for the Procedure Variable-Instantiation-of-PRs / 5.6.3：
Time-Complexity for the Procedure Create-tree / 5.6.4：
Time-Complexity for the Procedure Search-on-Data-Tree / 5.6.5：
Time-Complexity for the Procedure FPN-Formation / 5.6.6：
Time-Complexity for the Belief-Revision and Limit-Cycle-Detection Procedure / 5.6.7：
Time-Complexity Analysis for the Procedure Limit-Cycle-Elimination / 5.6.8：
Time-Complexity for the Procedure Nonmonotonic Reasoning / 5.6.9：
Time-Complexity for the Procedure Decision-Making and Explanation Tracing / 5.6.10：
Time-Complexity of the Overall Expert System / 5.6.11：
Distributed Learning Using Fuzzy Cognitive Maps / 5.7：
Axelord's Cognitive Maps / 6.1：
Kosko's Model / 6.3：
Kosko's Extended Model / 6.4：
Adaptive FCMs / 6.5：
Zhang, Chen, and Bezdek's Model / 6.6：
Pal and Konar's FCM Model / 6.7：
Unsupervised Learning by Fuzzy Petri Nets / 6.8：
The Proposed Model for Cognitive Learning / 7.1：
Encoding of Weights / 7.2.1：
The Recall Model / 7.2.2：
State-Space Formulation / 7.3：
State-Space Model for Belief Updating / 7.3.1：
State-Space Model for FTT Updating of Transitions / 7.3.2：
State-Space Model for Weights / 7.3.3：
Stability Analysis of the Cognitive Model / 7.4：
Computer Simulation / 7.5：
Implication of the Results / 7.6：
Knowledge Refinement by Hebbian Learning / 7.7：
The Encoding Model / 7.7.1：
The Recall/Reasoning Model / 7.7.2：
Case Study by Computer Simulation / 7.7.3：
Supervised Learning by a Fuzzy Petri Net / 7.7.4：
Proposed Model of Fuzzy Petri Nets / 8.1：
Algorithm for Training / 8.2.1：
Analysis of Convergence / 8.4：
Application in Fuzzy Pattern Recognition / 8.5：
Distributed Modeling of Abduction, Reciprocity, and Duality by Fuzzy Petri Nets / 8.6：
State-Space Formulation of the Proposed FPN Model / 9.1：
The Behavioral Model of FPN / 9.3.1：
State-Space Formulation of the Model / 9.3.2：
Special Cases of the Model / 9.3.3：
Stability Analysis / 9.4：
Forward Reasoning in FPNs / 9.5：
Abductive Reasoning in FPN / 9.6：
Bi-directional Reasoning in an FPN / 9.7：
Fuzzy Modus Tollens and Duality / 9.8：
Human Mood Detection and Control: A Cybernetic Approach / 9.9：
Filtering, Segmentation and Localization of Facial Components / 10.1：
Segmentation of the Mouth Region / 10.2.1：
Segmentation of the Eye Region / 10.2.2：
Segmentation of Eyebrow Constriction / 10.2.3：
Determination of Facial Attributes / 10.3：
Determination of the Mouth-Opening / 10.3.1：
Determination of the Eye-Opening / 10.3.2：
Determination of the Length of Eyebrow-Constriction / 10.3.3：
Fuzzy Relational Model for Mood Detection / 10.4：
Fuzzification of Facial Attributes / 10.4.1：
The Fuzzy Relational Model for Mood Detection / 10.4.2：
Validation of System Performance / 10.5：
A Basic Scheme of Human Mood Control / 10.6：
A Simple Model of Human Mood Transition Dynamics / 10.7：
The Model / 10.7.1：
Properties of the Model / 10.7.2：
The Proportional Model of Human Mood Control / 10.8：
Mamdani's Model for Mood Control / 10.9：
Ranking the Music, Audio, and Video Clips / 10.10：
Experimental Results / 10.11：
Distributed Planning and Multi-agent Coordination of Robots / 10.12：
Single-Agent Planning / 11.1：
Multi-Agent Planning / 11.3：
Task Sharing and Distribution in Multi-agent Planning / 11.3.1：
Cooperation with/without Communication / 11.3.2：
Homogeneous and Heterogeneous Distributed Planning / 11.3.3：
Vision-based Transportation of Blocks by Two Robots / 11.4：
Timing Analysis of the Transportation Problem / 11.5：
Analysis with Two agents / 11.6.1：
Analysis with /-agents / 11.6.2：
Index / 11.7：
Foreword
Preface
Acknowledgments
49.
ＥＢ
J. M. Selig, Fred B. Schneider
出版情報:
Springer eBooks Computer Science , Springer New York, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Introduction
Lie Groups
Subgroups
Lie Algebra
A Little Kinematics
Line Geometry
Representation Theory
Screw Systems
Clifford Algebra
A Little More Kinematics
The Study Quadric
Statics
Dynamics
Constrained Dynamics
Differential Geometry
References
Index
Preface
Introduction
Lie Groups
50.
ＥＢ
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Max A. Bramer, Frans Coenen, Max Bramer
出版情報:
Springer eBooks Computer Science , Springer London, 2005
子書誌情報:
loading…
所蔵情報:
loading…
51.
ＥＢ
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library., Juan A. RodrÃguez-Aguilar
出版情報:
ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
52.
ＥＢ
International Conference on Artificial Neural Networks and Genetic Algorithms, Rudolf F. Albrecht, Bernadete Ribeiro, Bernardete Ribeiro, Andrej Dobnikar, David W. Pearson, Nigel C. Steele
出版情報:
Springer eBooks Computer Science , Dordrecht : Springer Vienna, 2005
子書誌情報:
loading…
所蔵情報:
loading…
53.
ＥＢ
Sanghamitra Bandyopadhyay, Sanghamitra Bandyopadhyay, Ujjwal Maulik, Diane J. Cook, Larry B. Holder
出版情報:
Springer eBooks Computer Science , Springer London, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Contributors
Preface
Foundations / Part I：
Knowledge Discovery and Data Mining / Sanghamitra Bandyopadhyay ; Ujjwal Maulik1：
Automatic Discovery of Class Hierarchies via Output Space Decomposition / Joydeep Ghosh ; Shailesh Kumar ; Melba M. Crawford2：
Graph-based Mining of Complex Data / Diane J. Cook ; Lawrence B. Holder ; Jeff Coble ; Joseph Potts3：
Predictive Graph Mining with Kernel Methods / Thomas Gartner4：
TreeMiner: An Efficient Algorithm for Mining Embedded Ordered Frequent Trees / Mohammed J. Zaki5：
Sequence Data Mining / Sunita Sarawagi6：
Link-based Classification / Lise Getoor7：
Applications / Part II：
Knowledge Discovery from Evolutionary Trees / Sen Zhang ; Jason T. L. Wang8：
Ontology-Assisted Mining of RDF Documents / Tao Jiang ; Ah-Hwee Tan9：
Image Retrieval using Visual Features and Relevance Feedback / Sanjoy Kumar Saha ; Amit Kumar Das ; Bhabatosh Chanda10：
Significant Feature Selection Using Computational Intelligent Techniques for Intrusion Detection / Srinivas Mukkamala ; Andrew H. Sung11：
On-board Mining of Data Streams in Sensor Networks / Mohamed Medhat Gaber ; Shonali Krishnaswamy ; Arkady Zaslavsky12：
Discovering an Evolutionary Classifier over a High-speed Nonstatic Stream / Jiong Yang ; Xifeng Yan ; Jiawei Han ; Wei Wang13：
Index
Contributors
Preface
Foundations / Part I：
54.
ＥＢ
Vladimir Vovk, Alexander Gammerman, Glenn Shafer
出版情報:
Springer eBooks Computer Science , Springer US, 2005
子書誌情報:
loading…
所蔵情報:
loading…
55.
ＥＢ
Daoliang Li, Baoji Wang
出版情報:
Springer eBooks Computer Science , Springer US, 2005
子書誌情報:
loading…
所蔵情報:
loading…
56.
ＥＢ
Hisao Ishibuchi, Tomoharu Nakashima, Manabu Nii
出版情報:
Springer eBooks Computer Science , Dordrecht : Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Linguistic Information Granules
Pattern Classification with Linguistic Rules
Learning of Linguistic Rules
Input Selection and Rule Selection
Genetics-Based Machine Learning
Multi-Objective Design of Linguistic Models
Comparison of Linguistic Discretization with Interval Discretization
Modeling with Linguistic Rules
Design of Compact Linguistic Rules
Linguistic Rules with Consequent Real Numbers
Handling of Linguistic Rules in Neural Networks
Learning of Neural Networks from Linguistic Rules
Linguistic Rule Extraction from Neural Networks
Modeling of Fuzzy Input-Output Relations
Index
Bibliography
Linguistic Information Granules
Pattern Classification with Linguistic Rules
Learning of Linguistic Rules
57.
ＥＢ
Max Bramer, Vagan Terziyan
出版情報:
Springer eBooks Computer Science , Springer US, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Using Semantic Web in Mobile and Ubiquitous Computing
Semantic Web Applications and Case Studies
Practical Design of Business Enterprise Ontologies
Semantic Image Retrieval Using the Cognitive Spatial Relationships in the Semantic Web.-Using UDDI for Publishing Metadata of the Semantic Web
RFID-Based Ligistics Information Service
Metrics for Objective Ontology Evaluatioons
ICT Opportunities and Challenges for Remote Services
Information Architectures for Semantic Web Applications
Semantically Enhanced Discovery of Heterogeneous Services
Knowledge Dichotomy and Semantic Knowledge Management
Service Portability Framework for Integrated Communication Environments
Using Semantic Web in Mobile and Ubiquitous Computing
Semantic Web Applications and Case Studies
Practical Design of Business Enterprise Ontologies
58.
ＥＢ
Zhongzhi Shi, Qing He
出版情報:
Springer eBooks Computer Science , Dordrecht : Springer US, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Model organization constraints in multi-agent system
A multi-agent system for mobile environments
Agent interaction management and application in a virtual collaborative environment
An integrated approach to battlefield situation assessment
Negotiation based on personality
MIAM: a robot oriented mobile intelligent agent model
Incorporating elements from CAMLE in the open repository
Representing human spatial behavior by self-organizing networks
Multi-agent system development kit
Limitations in AUML's roles specification
The research of geometric constraint solving
Based on the path tracking homotopy iteration method
Fast stereo matching method using edge traction
Hybrid color image segmentation based fully
Automatic chromakeying system with cluttered background
Research on techniques of approximate recognition of continuous deformation of images with multi-grey-levels
Improvements on CCA model with application to face recognition
Model organization constraints in multi-agent system
A multi-agent system for mobile environments
Agent interaction management and application in a virtual collaborative environment
59.
ＥＢ
Milan Studen?, Michael Jordan, Frank P. Kelly, Jon Kleinberg, Bernhard Sch?lkopf, Ian Witten
出版情報:
Springer eBooks Computer Science , Springer London, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Motivational thoughts / 1.1：
Goals of the monograph / 1.2：
Structure of the book / 1.3：
Basic Concepts / 2：
Conditional independence / 2.1：
Semi-graphoid properties / 2.2：
Formal independence models / 2.2.1：
Semi-graphoids / 2.2.2：
Elementary independence statements / 2.2.3：
Problem of axiomatic characterization / 2.2.4：
Classes of probability measures / 2.3：
Marginally continuous measures / 2.3.1：
Factorizable measures / 2.3.2：
Multiinformation and conditional product / 2.3.3：
Properties of multiinformation function / 2.3.4：
Positive measures / 2.3.5：
Gaussian measures / 2.3.6：
Basic construction / 2.3.7：
Imsets / 2.4：
Graphical Methods / 3：
Undirected graphs / 3.1：
Acyclic directed graphs / 3.2：
Classic chain graphs / 3.3：
Within classic graphical models / 3.4：
Decomposable models / 3.4.1：
Recursive causal graphs / 3.4.2：
Lattice conditional independence models / 3.4.3：
Bubble graphs / 3.4.4：
Advanced graphical models / 3.5：
General directed graphs / 3.5.1：
Reciprocal graphs / 3.5.2：
Joint-response chain graphs / 3.5.3：
Covariance graphs / 3.5.4：
Alternative chain graphs / 3.5.5：
Annotated graphs / 3.5.6：
Hidden variables / 3.5.7：
Ancestral graphs / 3.5.8：
MC graphs / 3.5.9：
Incompleteness of graphical approaches / 3.6：
Structural Imsets: Fundamentals / 4：
Basic class of distributions / 4.1：
Discrete measures / 4.1.1：
Regular Gaussian measures / 4.1.2：
Conditional Gaussian measures / 4.1.3：
Classes of structural imsets / 4.2：
Elementary imsets / 4.2.1：
Semi-elementary and combinatorial imsets / 4.2.2：
Structural imsets / 4.2.3：
Product formula induced by a structural imset / 4.3：
Examples of reference systems of measures / 4.3.1：
Topological assumptions / 4.3.2：
Markov condition / 4.4：
Semi-graphoid induced by a structural imset / 4.4.1：
Markovian measures / 4.4.2：
Equivalence result / 4.5：
Description of Probabilistic Models / 5：
Supermodular set functions / 5.1：
Semi-graphoid produced by a supermodular function / 5.1.1：
Quantitative equivalence of supermodular functions / 5.1.2：
Skeletal supermodular functions / 5.2：
Skeleton / 5.2.1：
Significance of skeletal imsets / 5.2.2：
Description of models by structural imsets / 5.3：
Galois connection / 5.4：
Formal concept analysis / 5.4.1：
Lattice of structural models / 5.4.2：
Equivalence and Implication / 6：
Two concepts of equivalence / 6.1：
Independence and Markov equivalence / 6.1.1：
Independence implication / 6.2：
Direct characterization of independence implication / 6.2.1：
Skeletal characterization of independence implication / 6.2.2：
Testing independence implication / 6.3：
Testing structural imsets / 6.3.1：
Grade / 6.3.2：
Invariants of independence equivalence / 6.4：
Adaptation to a distribution framework / 6.5：
The Problem of Representative Choice / 7：
Baricentral imsets / 7.1：
Standard imsets / 7.2：
Translation of DAG models / 7.2.1：
Translation of decomposable models / 7.2.2：
Imsets of the smallest degree / 7.3：
Decomposition implication / 7.3.1：
Minimal generators / 7.3.2：
Span / 7.4：
Determining and unimarginal classes / 7.4.1：
Imsets with the least lower class / 7.4.2：
Exclusivity of standard imsets / 7.4.3：
Dual description / 7.5：
Coportraits / 7.5.1：
Dual baricentral imsets and global view / 7.5.2：
Learning / 8：
Two approaches to learning / 8.1：
Quality criteria / 8.2：
Criteria for learning DAG models / 8.2.1：
Score equivalent criteria / 8.2.2：
Decomposable criteria / 8.2.3：
Regular criteria / 8.2.4：
Inclusion neighborhood / 8.3：
Standard imsets and learning / 8.4：
Inclusion neighborhood characterization / 8.4.1：
Regular criteria and standard imsets / 8.4.2：
Open Problems / 9：
Theoretical problems / 9.1：
Miscellaneous topics / 9.1.1：
Classification of skeletal imsets / 9.1.2：
Operations with structural models / 9.2：
Reductive operations / 9.2.1：
Expansive operations / 9.2.2：
Cumulative operations / 9.2.3：
Decomposition of structural models / 9.2.4：
Implementation tasks / 9.3：
Interpretation and learning tasks / 9.4：
Meaningful description of structural models / 9.4.1：
Tasks concerning distribution frameworks / 9.4.2：
Learning tasks / 9.4.3：
Appendix / A：
Classes of sets / A.1：
Posets and lattices / A.2：
Graphs / A.3：
Topological concepts / A.4：
Finite-dimensional subspaces and convex cones / A.5：
Linear subspaces / A.5.1：
Convex sets and cones / A.5.2：
Measure-theoretical concepts / A.6：
Measure and integral / A.6.1：
Basic measure-theoretical results / A.6.2：
Information-theoretical concepts / A.6.3：
Conditional probability / A.6.4：
Conditional independence in terms of ?-algebras / A.7：
Concepts from multivariate analysis / A.8：
Matrices / A.8.1：
Statistical characteristics of probability measures / A.8.2：
Multivariate Gaussian distributions / A.8.3：
Elementary statistical concepts / A.9：
Empirical concepts / A.9.1：
Statistical conception / A.9.2：
Likelihood function / A.9.3：
Testing statistical hypotheses / A.9.4：
Distribution framework / A.9.5：
List of Notation
List of Lemmas, Propositions etc
References
Index
Introduction / 1：
Motivational thoughts / 1.1：
Goals of the monograph / 1.2：
60.
ＥＢ
Chris van Aart
出版情報:
Springer eBooks Computer Science , Basle : Birkh?user Basel, 2005
子書誌情報:
loading…
所蔵情報:
loading…
61.
ＥＢ
Marcus Hutter, Grzegorz Rozenberg
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
A Short Tour Through the Book / 1：
Simplicity and Uncertainty / 2：
Universal Sequence Prediction / 3：
Agents in Known Probabilistic Environments / 4：
The Universal Algorithmic Agent AIXI / 5：
Important Environmental Classes / 6：
Computational Aspects / 7：
Discussion / 8：
Bibliography
Index
A Short Tour Through the Book / 1：
Simplicity and Uncertainty / 2：
Universal Sequence Prediction / 3：
62.
ＥＢ
David Hutchison, Bernhard Ganter, Takeo Kanade, Gerd Stumme, Rudolf Wille
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
63.
ＥＢ
International Workshop on Trust in Agent Societies, Rino Falcone, Takeo Kanade, Jordi Sabater-Mir, Munindar Singh
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
64.
ＥＢ
International Conference on Automated Deduction, Takeo Kanade, Robert Nieuwenhuis
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
65.
ＥＢ
ILP (Conference), Takeo Kanade, Stefan Kramer, Bernhard Pfahringer
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
66.
ＥＢ
International Conference on Case-Based Reasoning, Takeo Kanade, H?ctor Mu?oz-Avila, Francesco Ricci
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
67.
ＥＢ
David Hutchison, Takeo Kanade, Vladimir Marik, Michal Pechoucek
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
68.
ＥＢ
LPNMR 2005, Chitta Baral, Takeo Kanade, Gianluigi Greco, Nicola Leone, Giorgio Terracina
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
69.
ＥＢ
RSFDGrC 2005, Takeo Kanade, Dominik Slezak, Marcin Szczuka, Guoyin Wang, Yiyu Yao
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
70.
ＥＢ
RSFDGrC 2005, Takeo Kanade, James F. Peters, Dominik Slezak, JingTao Yao, Wojciech Ziarko
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
71.
ＥＢ
Themis Panayiotopoulos, Ruth Aylett, Daniel Ballin, Jonathan Gratch, Takeo Kanade, Patrick Olivier, Themistoklis Panayiotopoulos, Thomas Rist
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
72.
ＥＢ
Torsten Eymann, Michael N. Huhns, Takeo Kanade, Matthias Klusch, Franziska Kl?gl, Winfried Lamersdorf, Franziska Kl??gl
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
73.
ＥＢ
German Conference on Artificial Intelligence, Ulrich Furbach, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
74.
ＥＢ
International Conference on Knowledge-Based Intelligent Engineering Systems, Robert J. Howlett, L. C. Jain, Takeo Kanade, Rajiv Khosla, Lakhmi C. Jain
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
75.
ＥＢ
International Conference on Knowledge-Based Intelligent Engineering Systems, Robert J. Howlett, L. C. Jain, Takeo Kanade, Rajiv Khosla, Lakhmi C. Jain
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
76.
ＥＢ
Mathieu S. Capcarr?re, Peter J. Bentley, Mathieu S. Capcarrere, Alex A. Freitas, Colin G. Johnson, Takeo Kanade, Jon Timmis, Mathieu Capcarrere
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
77.
ＥＢ
International Conference on Knowledge-Based Intelligent Engineering Systems, Robert J. Howlett, L. C. Jain, Takeo Kanade, Rajiv Khosla, Lakhmi C. Jain
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
78.
ＥＢ
International Conference on Knowledge-Based Intelligent Engineering Systems, Robert J. Howlett, L. C. Jain, Takeo Kanade, Rajiv Khosla, Lakhmi C. Jain
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
79.
ＥＢ
TABLEAUX 2005, Bernhard Beckert, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
80.
ＥＢ
Associazione italiana per l'intelligenza artificiale. Congress, Stefania Bandini, Takeo Kanade, Sara Manzoni
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
81.
ＥＢ
International Workshop on Intelligent Media Technology for Communicative Intelligence, Leonard Bolc, Takeo Kanade, Zbigniew Michalewicz, Toyoaki Nishida, Polish-Japanese Institute of Information Technology.
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
82.
ＥＢ
David Hutchison, Takeo Kanade, Paolo Petta, Laszlo Zsolt Varga
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
83.
ＥＢ
FroCoS 2005, Bernhard Gramlich, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
84.
ＥＢ
Sheffield Machine Learning Workshop, Takeo Kanade, Neil Lawrence, Mahesan Niranjan, Joab Winkler
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
85.
ＥＢ
IJCNLP 2005, Robert Dale, Takeo Kanade, Oi Yee Kwong, Jian Su, Kam-Fai Wong
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
86.
ＥＢ
International Conference on Discovery Science, Achim Hoffmann, Takeo Kanade, Hiroshi Motoda, Tobias Scheffer
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
87.
ＥＢ
ALT 2005, Sanjay Jain, Takeo Kanade, Hans Ulrich Simon, Etsuji Tomita
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
88.
ＥＢ
European Conference on Machine Learning, Jo?o Gama, Takeo Kanade, Rui Camacho, Jo??o Gama, Al??pio Jorge, Lu??s Torgo
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
89.
ＥＢ
AP2PC 2004, Karl Aberer, Sonia Bergamaschi, Takeo Kanade, Gianluca Moro
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
90.
ＥＢ
ITWP 2003, Sarabjot S. Anand, Takeo Kanade, Bamshad Mobasher
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
91.
ＥＢ
Mexican International Conference on Artificial Intelligence, ?lvaro de Albornoz, Alexander Gelbukh, Takeo Kanade, Hugo Terashima-Mar?n, Hugo Terashima
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
92.
ＥＢ
Australian Joint Conference on Artificial Intelligence, Raymond Austin Jarvis, Takeo Kanade, Shichao Zhang
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
93.
ＥＢ
Klaus-Dieter Althoff, Ralph Bergmann, Andreas Dengel, Takeo Kanade, Markus Nick, Thomas Roth-Berghofer
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
94.
ＥＢ
INTETAIN 2005, Takeo Kanade, Mark T. Maybury, Oliviero Stock, Wolfgang Wahlster
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
95.
ＥＢ
LPAR (Conference), Takeo Kanade, Geoff Sutcliffe, Andre?? Voronkov
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
96.
ＥＢ
Klaus Fischer, Michael Florian, Takeo Kanade, Thomas Malsch
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Contribution of Socionics to the Scalability of Complex Social Systems: Introduction / Klaus Fischer ; Michael Florian
Multi-layer Modelling / Chapter I：
From "Clean" Mechanisms to "Dirty" Models: Methodological Perspectives of an Up-Scaling of Actor Constellations / Uwe Schimank
Sociological Foundation of the Holonic Approach Using Habitus-Field-Theory to Improve Multiagent Systems / Frank Hillebrandt
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets / Michael Köhler ; Daniel Moldt ; Heiko Rölke ; Rüdiger Valk
Concepts for Organization and Self-Organization / Chapter II：
Building Scalable Virtual Communities - Infrastructure Requirements and Computational Costs / Omer F. Rana ; Asif Akram ; Steven J. Lynden
Organization: The Central Concept for Qualitative and Quantitative Scalability / Michael Schillo ; Daniela Spresny
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design / Martin Meister ; Diemo Urbig ; Kay Schröter ; Renate Gerstl
Scalability, Scaling Processes, and the Management of Complexity. A System Theoretical Approach / Kai Paetow ; Marco Schmitt ; Thomas Malsch
The Emergence of Social Structures On the Organisation of Agent Experience: Scaling Up Social Cognition / Michael RovatsosChapter III：
Trust and the Economy of Symbolic Goods: A Contribution to the Scalability of Open Multi-agent Systems / Bettina Fley
Coordination in Scaling Actor Constellations / Christian W.G. Lasarczyk, Thomas Kron
From Conditional Commitments to Generalized Media: On Means of Coordination Between Self-Governed Entities / Ingo Schulz-Schaeffer
From an Agent-Centred to a Communication-Centred Perspective / Chapter IV：
Scalability and the Social Dynamics of Communication. On Comparing Social Network Analysis and Communication-Oriented Modelling as Models of Communication Networks / Steffen Albrecht ; Maren Lübcke ; Christoph Schlieder
Multiagent Systems Without Agents - Mirror-Holons for the Compilation and Enactment of Communication Structures / Matthias Nickles ; Gerhard Weiß
Communication Systems: A Unified Model of Socially Intelligent Systems / Wilfried Brauer
Author Index
Contribution of Socionics to the Scalability of Complex Social Systems: Introduction / Klaus Fischer ; Michael Florian
Multi-layer Modelling / Chapter I：
From "Clean" Mechanisms to "Dirty" Models: Methodological Perspectives of an Up-Scaling of Actor Constellations / Uwe Schimank
97.
ＥＢ
Portuguese Conference on Artificial Intelligence, Carlos Bento, Amilcar Cardoso, Ga?l Dias, Takeo Kanade
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
98.
ＥＢ
Peyman Faratin, Takeo Kanade, Juan A. Rodr?guez-Aguilar, Association for Computing Machinery-Digital Library., Juan A. Rodr??guez-Aguilar
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
99.
ＥＢ
International Atlantic Web Intelligence Conference, Janusz Kacprzyk, Takeo Kanade, Adam Niewiadomski, Piotr S. Szczepaniak
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
100.
ＥＢ
International Seminar on Local Pattern Detection, Jean-Fran?ois Boulicaut, Takeo Kanade, Katharina Morik, Arno Siebes
出版情報:
Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:
loading…
所蔵情報:
loading…
ＥＢ
