close
1.

電子ブック
ＥＢ
1. Vlsi-Soc: From Systems To Silicon
Ricardo Reis, Adam Osseiran, Hans-Joerg Pfleiderer
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Research and Development in Intelligent Systems XXIII
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Frans Coenen, Andrew L. Tuson, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2007
所蔵情報: loading…
目次情報: 続きを見る
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1：
A Discrete Particle Swarm Optimization Algorithm for the Permutation Flowshop Sequencing Problem with Makespan Criterion / Quan-Ke Pan ; M. Fatih Tasgetiren ; Yun-Chia Liang
Intialization Method for Grammar-guided Genetic Programming / Marc Garcia-Arnau ; Daniel Manrique ; Juan Rios ; Alfonso Rodriguez-Paton
Improving the Gradient Based Search Direction to Enhance Training Efficiency of Back Propagation Based Neural Network Algorithms / Nazri Mohd Nawi ; Meghana R. Ransing ; Rajesh S. Ransing
A Decision Tree-Based Attribute Weighting Filter for Naive Bayes / Mark Hall
Graphical Reasoning with Bayesian Networks / Ildiko Flesch
Knowledge Discovery in Data / Session 2a：
Ranked Multi-label Rules Associative Classifier / Fadi Thabtah
Two Different Approaches to Automated Mark Up of Emotions in Text / Virginia Francisco ; Raquel Hervas ; Pablo Gervas
Towards a Framework for Change Detection in Data Sets / Mirko Botthcer ; Detlef Nauck ; Dymitr Ruta ; Martin Spott
Incremental Inductive Learning in a Constructivist Agent / Filipo Studzinski Perotto ; Luis Otavio Alvares
Argumentation, Dialogue Games and Optimisation / Session 2b：
Argument Based Contract Enforcement / Nir Oren ; Alun Preece ; Timothy J. Norman
Negotiating Intelligently / John Debenham ; Simeon Simoff
Avoiding Long and Fruitless Dialogues in Critiquing / David McSherry ; David W. Aha
LSA-based Landscape Analysis for Multicast Routing / Mohammed S. Zahrani ; Martin J. Loomes ; James A. Malcolm ; Andreas A. Albrecht
Knowledge Representation and Management / Session 3：
Dependent Record Types for Dynamic Context Representation / Richard Dapoigny ; Patrick Barlatier
Adjusting game difficulty level through Formal Concept Analysis / Marco A. Gomez-Martin ; Pedro P. Gomez-Martin ; Pedro A. Gonzalez-Calero ; Belen Diaz-Agudo
Ontology Constraint Satisfaction Problems using Conceptual Graphs / Madalina Croitoru ; Ernesto Compatangelo
Integrating Uncertain Knowledge in a Domain Ontology for Room Concept Classifications / Joana Hois ; Kerstin Schill ; John A. Bateman
Semantic Web / Session 4：
Using AI and Semantic Web Technologies to attack Process Complexity in Open Systems / Simon Thompson ; Nick Giles ; Yang Li ; Hamid Ghari ; Thuc Nguyen (BT)
A Semantic Web Blackboard System / Craig McKenzie ; Peter Gray
Planning with the Semantic Web by fusing Ontologies and Planning Domain Definitions / Marco Cioffi ; Simon Thompson (BT)
A Reusable Commitment Management Service using Semantic Web Technology / Stuart Chalmers
Model Based Systems and Simulation / Session 5：
On-Line Monitoring of Plan Execution: a Distributed Approach / Roberto Micalizio ; Pietro Torasso
Incremental Fault Isolation for Dynamic Processes / George Coghill ; Guofu Wu
Qualitative Approaches to Semantic Scene Modelling and Retrieval / Zia Ul Qayyum ; A.G. Cohn
A Platform for Simulating Language Evolution / Carl Vogel ; Justin Woods
Short Papers
Improving the Interpretability of Classification Rules in Sparse Bioinformatics Datasets / James Smaldon ; Alex A. Freitas
An Agent-Based Approach to Non-Distributed and Distributed Clustering / Ireneusz Czarnowski ; Piotr Jedrzejowicz
Transparency of Computational Intelligence Models / Peter Owotoki ; Friedrich Mayer-Lindenberg
Exploring Web Search Results Clustering / Xiaoxia Wang ; Max Bramer
Case-based Intention Selection for Autonomous Agent that Acts in Structured Synthetic Worlds / Haris Supic
On Clustering Attribute-oriented Induction / Maybin Muyeba ; M. Sulaiman Khan ; Zhiguo Gong
Chinese Text Clustering for Topic Detection Based on Word Pattern Relation / Yen-Ju Yang ; Su-Hsin Yu
Text Classification Using Language Independent Pre-processing / Yanbo J. Wang ; Frans Coenen ; Paul Leng ; Robert Sanderson
Author Index
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1：
3.

電子ブック
ＥＢ
3. Visual Languages and Applications
Kang Zhang
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
The Foundation - Graph Grammars
Spatial Specification
Multimedia Authoring and Presentation
Digital Interoperation
Software Architecture Design
Web Engineering
Visual Language Generation
Conclusions and Future Perspective
Bibliography
Appendix
Index
Preface
Introduction
The Foundation - Graph Grammars
4.

電子ブック
ＥＢ
4. Bioinformatics Research and Development
Sepp Hochreiter, Pavel Pevzner, Roland Wagner, Roland R. Wagner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Cognitive Systems
Ruqian Lu, J?rg Siekmann, J?rg H. Siekmann, Carsten Ullrich
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
6.

電子ブック
ＥＢ
6. Complex Motion
Bernd J?hne, Erhardt Barth, Takeo Kanade, Rudolf Mester, Hanno Scharr
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Computational Logic in Multi-Agent Systems
Katsumi Inoue, Ken Satoh, J?rg Siekmann, Francesca Toni
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
The Next Step Forward / 1.3：
Cooperative Bug Isolation / 1.4：
Instrumentation Framework / 2：
Basic Instrumentation Strategy / 2.1：
Sampling the Bernoulli Way / 2.1.1：
From Blocks to Functions / 2.1.2：
Interprocedural Issues / 2.1.3：
Instrumentation Schemes for Distributed Debugging / 2.2：
Issues in Remote Sampling / 2.2.1：
Counter-Based Instrumentation Schemes / 2.2.2：
Additional Instrumentation Schemes / 2.2.3：
Performance and Optimizations / 2.3：
Static Branch Prediction / 2.3.1：
Weightless Functions / 2.3.2：
Empty and Singleton Regions / 2.3.3：
Local Countdown Caching / 2.3.4：
Random Countdown Generation / 2.3.5：
Path Balancing / 2.3.6：
Statically Selective Sampling / 2.3.7：
Optimization Recap / 2.3.8：
Adaptive Sampling / 2.4：
Nonuniformity Via Multiple Countdowns / 2.4.1：
Nonuniformity Via Non-Unit Site Weights / 2.4.2：
Policy Notes / 2.4.3：
Realistic Sampling Rates / 2.5：
Practical Considerations / 3：
Native Compiler Integration / 3.1：
Static Site Information / 3.1.1：
Libraries and Plugins / 3.2：
Threads / 3.3：
Next-Sample Countdown / 3.3.1：
Predicate Counters / 3.3.2：
Compilation Unit Registry and Report File / 3.3.3：
Time Stamp Clock / 3.3.4：
Performance Evaluation / 3.3.5：
Privacy and Security / 3.4：
User Interaction / 3.5：
Status of the Public Deployment / 3.6：
Resource Requirements / 3.6.1：
Reporting Trends / 3.6.2：
Techniques for Statistical Debugging / 4：
Notation and Terminology / 4.1：
Predicate Elimination / 4.2：
Instrumentation Strategy / 4.2.1：
Elimination Strategies / 4.2.2：
Data Collection and Analysis / 4.2.3：
Refinement over time / 4.2.4：
Performance Impact / 4.2.5：
Limitations and Insights / 4.2.6：
Regularized Logistic Regression / 4.3：
Crash Prediction Using Logistic Regression / 4.3.1：
Moss: A Multiple-Bug Challenge / 4.3.2：
Nonuniform Sampling / 4.4.1：
Analysis Results / 4.4.2：
Iterative Bug Isolation and Elimination / 4.5：
Increase Scores / 4.5.1：
Statistical Interpretation / 4.5.2：
Balancing Specificity and Sensitivity / 4.5.3：
Redundancy Elimination / 4.5.4：
Case Studies / 4.6：
Moss / 4.6.1：
CCRYPT / 4.6.2：
BC / 4.6.3：
EXIF / 4.6.4：
Rhythmbox / 4.6.5：
Related Work / 5：
Static Analysis / 5.1：
Profiling and Tracing / 5.2：
Dynamic Analysis / 5.3：
Conclusion / 6：
References
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
10.

電子ブック
ＥＢ
10. Distributed, High-Performance and Grid Computing in Computational Biology
Werner Dubitzky, Pavel Pevzner, Mathilde Romberg, Michael Schroeder, Assaf Schuster, Peter M. A. Sloot
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼