close
1.

電子ブック

EB
Vladimir Naumovich Vapnik, S. Kotz, V. Vapnik
出版情報: Springer eBooks Computer Science , Springer New York, 2006
所蔵情報: loading…
目次情報: 続きを見る
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
ethods of parametric statistics for the problem of regression estimation
stimation of regression parameters
method of minimizing empirical risk for the problem of pattern recognition
method of minimizing empirical risk for the problem of regression estimation
he method of structural minimization of risk
olution of ill-posed problems, interpretation of measurements using the method of structural risk minimization
stimation of functional values at given points
ealism and instrumentalism: Classical statistics and the VC theory (1960-1980)
alsifiability and parsimony: VC dimension and the number of entities (1980-2000)
on-inductive methods of inference: Direct inference instead of generalization (2000- ...)
he big picture
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
2.

電子ブック

EB
J?r?me Euzenat, John Domingue, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
F. Acar Savac?�}, Takeo Kanade, Ferit Acar Savac?�}
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
A Generative Model for Multi Class Object Recognition and Detection / Ilkay Ulusoy
Depth of General Scenes from Defocused Images Using Multilayer Feedforward Networks / Veysel Aslantas ; Mehmet Tunckanat
Tracking Control Based on Neural Network for Robot Manipulator / Murat Sonmez ; Ismet Kandilli ; Mehmet Yakut
Performance Evaluation of Recurrent RBF Network in Nearest Neighbor Classification / Mehmet Kerem Muezzinoglu
Tracking Aircrafts by Using Impulse Exclusive Filter with RBF Neural Networks / Pinar Civicioglu
A Multilayer Feedforward Fuzzy Neural Network / Aydogan Savran
Neural Networks and Cascade Modeling Technique in System Identification / Erdem Turker Senalp ; Ersin Tulunay ; Yurdanur Tulunay
Comparison of Complex-Valued Neural Network and Fuzzy Clustering Complex-Valued Neural Network for Load-Flow Analysis / Murat Ceylan ; Nurettin Cetinkaya ; Rahime Ceylan ; Yuksel Ozbay
A New Formulation for Classification by Ellipsoids / Aysegul Ucar ; Yakup Demir ; Cuneyt Guzelis
DSP Based Fuzzy-Neural Speed Tracking Control of Brushless DC Motor / Cetin Gencer ; Ali Saygin ; Ismail Coskun
Fault Diagnosis with Dynamic Fuzzy Discrete Event System Approach / Erdal Kilic ; Caglar Karasu ; Kemal Leblebicioglu
A Hybrid Neuro-Fuzzy Controller for Brushless DC Motors / Muammer Gokbulut ; Besir Dandil ; Cafer Bal
Can a Fuzzy Rule Look for a Needle in a Haystack? / Akira Imada
Protein Solvent Accessibility Prediction Using Support Vector Machines and Sequence Conservations / Hasan Ogul ; Erkan U. Mumcuoglu
Instrument Independent Musical Genre Classification Using Random 3000 ms Segment / Ali Cenk Gedik ; Adil Alpkocak
Unsupervised Image Segmentation Using Markov Random Fields / Abdulkadir Sengur ; Ibrahim Turkoglu ; M. Cevdet Ince
Modeling Interestingness of Streaming Classification Rules as a Classification Problem / Tolga Aydin ; Halil Altay Guvenir
Refining the Progressive Multiple Sequence Alignment Score Using Genetic Algorithms / Halit Ergezer
An Evolutionary Local Search Algorithm for the Satisfiability Problem / Levent Aksoy ; Ece Olcay Gunes
HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems / Zerrin Yumak ; Tatyana Yakhno
Elevator Group Control by Using Talented Algorithm / Ulvi Dagdelen ; Aytekin Bagis ; Dervis Karaboga
A Fault Tolerant System Using Collaborative Agents / Sebnem Bora
3-D Object Recognition Using 2-D Poses Processed by CNNs and a GRNN / Ovung Polat ; Vedat Tausanoglu
Author Index
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
4.

電子ブック

EB
Leszek Rutkowski, Takeo Kanade, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. ??urada
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Jacques Calmet, Tetsuo Ida, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
6.

電子ブック

EB
Friedhelm Schwenker, Takeo Kanade, Simone Marinai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
Adaptive Feedback Inhibition Improves Pattern Discrimination Learning / Frank Michler ; Thomas Wachtler ; Reinhard Eckhorn
Semi-supervised Learning
Supervised Batch Neural Gas / Barbara Hammer ; Alexander Hasenfuss ; Frank-Michael Schleif ; Thomas Villmann
Fuzzy Labeled Self-Organizing Map with Label-Adjusted Prototypes / Udo Seiffert ; Cornelia Bruss ; Tina Geweniger
On the Effects of Constraints in Semi-supervised Hierarchical Clustering / Hans A. Kestler ; Johann M. Kraus ; Gunther Palm ; Friedhelm Schwenker
A Study of the Robustness of KNN Classifiers Trained Using Soft Labels / Neamat El Gayar
Supervised Learning
An Experimental Study on Training Radial Basis Functions by Gradient Descent / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
A Local Tangent Space Alignment Based Transductive Classification Algorithm / Jianwei Yin ; Xiaoming Liu ; Zhilin Feng ; Jinxiang Dong
Incremental Manifold Learning Via Tangent Space Alignment
A Convolutional Neural Network Tolerant of Synaptic Faults for Low-Power Analog Hardware / Johannes Fieres ; Karlheinz Meier ; Johannes Schemmel
Ammonium Estimation in a Biological Wastewater Plant Using Feedforward Neural Networks / Hilario Lopez Garcia ; Ivan Machon Gonzalez
Support Vector Learning
Support Vector Regression Using Mahalanobis Kernels / Yuya Kamada ; Shigeo Abe
Incremental Training of Support Vector Machines Using Truncated Hypercones / Shinya Katagiri
Fast Training of Linear Programming Support Vector Machines Using Decomposition Techniques / Yusuke Torii
Multiple Classifier Systems
Multiple Classifier Systems for Embedded String Patterns / Barbara Spillmann ; Michel Neuhaus ; Horst Bunke
Multiple Neural Networks for Facial Feature Localization in Orientation-Free Face Images / Lionel Prevost ; Rachid Belaroussi ; Maurice Milgram
Hierarchical Neural Networks Utilising Dempster-Shafer Evidence Theory / Rebecca Fay ; Christian Thiel
Combining MF Networks: A Comparison Among Statistical Methods and Stacked Generalization
Visual Object Recognition
Object Detection and Feature Base Learning with Sparse Convolutional Neural Networks / Alexander R.T. Gepperth
Visual Classification of Images by Learning Geometric Appearances Through Boosting / Martin Antenreiter ; Christian Savu-Krohn ; Peter Auer
An Eye Detection System Based on Neural Autoassociators / Monica Bianchini ; Lorenzo Sarti
Orientation Histograms for Face Recognition / Andreas Sachs
Data Mining in Bioinformatics
An Empirical Comparison of Feature Reduction Methods in the Context of Microarray Data Classification / Christoph Mussel
Unsupervised Feature Selection for Biomarker Identification in Chromatography and Gene Expression Data / Marc Strickert ; Nese Sreenivasulu ; Silke Peterek ; Winfriede Weschke ; Hans-Peter Mock
Learning and Feature Selection Using the Set Covering Machine with Data-Dependent Rays on Gene Expression Profiles / Wolfgang Lindner ; Andre Muller
Author Index
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
7.

電子ブック

EB
Hoon Hong, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック

EB
Ulrich Furbach, Takeo Kanade, N. Shankar, Natarajan Shankar
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
9.

電子ブック

EB
Qiang Huo, Eng-Siong Chng, Takeo Kanade, Haizhou Li, Bin Ma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック

EB
De-Shuang Huang, George William Irwin, Takeo Kanade, Kang Li
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Fuzzy Systems
A GA Optimization for FLC with Its Rule Base and Scaling Factors Adjustment / Pingkang Li ; Xiuxia Du
Chance Constrained Maximum Flow Problem with Fuzzy Arc Capacities / Xiaoyu Ji ; Lixing Yang ; Zhen Shao
Delay-Dependent Stability of a Class of Nonlinear Systems with Time Delays Based on Fuzzy Hyperbolic Model / Huaguang Zhang ; Jun Yang
Evaluation of the Aquaculture Pond Water Quality Based on Fuzzy Mathematics Model / Ruimei Wang ; Xiaoshuan Zhang ; Wengui Cai ; Jinhuan Wu ; Zetian Fu
Fuzzy Reasoning Application in Redundant Manipulator Movement Regulation / Jianmin Jiao ; Huan Li ; Hongfu Zuo
GFHM Model and Control for Uncertain Chaotic System / Dongsheng Yang ; Zhiliang Wang ; Yingchun Wang
Using Fuzzy Decision Tree to Handle Uncertainty in Context Deduction / Donghai Guan ; Weiwei Yuan ; A. Gavrilov ; Sungyoung Lee ; Youngkoo Lee ; Sangman Han
Variable Universe Adaptive Fuzzy Sliding Mode Controller for a Class of Nonlinear System / Yunfeng Liu ; Dong Miao ; Yunhui Peng ; Xiaogang Yang
A Dynamic Decision Method Based on Triangular and Pillared Fuzzy Numbers / Dar-Ying Jan ; Ziping Chiang
A Fuzzy PID Controller for Controlling Flotation De-inking Column / Jinxing Liu ; Huanbin Liu ; Wenhao Shen ; Yonggen Xu ; Shuangchun Yang
A New Uniform OR Operation Model Based on Generalized S-Norm / Zhicheng Chen ; Mingyi Mao ; Weikang Yang ; Huacan He
A Study of Product Development Time Based on Fuzzy Timed Workflow Net / Xianfeng Fan ; Hong-Zhong Huang ; Jun Hu ; Xu Zu ; Ping Yang
An AHP-Fuzzy Synthetic Evaluation Model Based on Evidence Theory / Xiaoyi Wang ; Chaozhen Hou ; Jumei Yuan ; Zaiwen Liu
Direction Fuzzy Sets / Jixing Wang
Fuzzy Compensator Using RGA for TRMS Control / Jih-Gau Juang ; Wen-Kai Liu
Fuzzy-Neural Network Adaptive Sliding Mode Tracking Control for Interconnected System / Yan-xin Zhang ; Hai-rong Dong
Measure of Certainty with Fuzzy Entropy Function / Sang-Hyuk Lee ; Seong-Pyo Cheon ; Jinho Kim
Motion Planning of Redundant Robots with Singularities Using Transputer Based Fuzzy Inverse Kinematic Method / Chih-Jer Lin ; Chieh-Li Chen
Robust Passive Control for T-S Fuzzy Systems / Yanjiang Li ; Yanming Fu ; Guangren Duan
Robust Stabilization of Takagi-Sugeno Fuzzy Systems with Parametric Uncertainties Using Fuzzy Region Concept / Zhicheng Ji ; Yinghuan Zhou ; Yanxia Shen
Quantitative Measurement for Fuzzy System to Input and Rule Perturbations / Dong-Jun Yu ; Xiao-Jun Wu ; Jing-Yu Yang
Modeling of Distributed Intrusion Detection Using Fuzzy System / Heesuk Seo ; Taekyung Kim ; Hyungjong Kim
Temporal Error Concealment Algorithm Using Fuzzy Metric / Changcai Lai ; Chongyang Hao ; Xiangyu Shen
Universal Approximation of Binary-Tree Hierarchical Fuzzy Systems with Typical FLUs / Xiangyan Zhang ; Naiyao Zhang
Fuzzy-Neuro-Evolutionary Hybrids
A New Fuzzy Membership Function with Applications in Interpretability Improvement of Neurofuzzy Models / John Q. Gan ; Shang-Ming Zhou
Fuzzy Data Clustering Using Artificial Immune Network / Li Liu ; Wenbo Xu
RAOGA-Based Fuzzy Neural Network Model of Design Evaluation / Li-Hua Xue ; Qiang Miao ; Dan Ling
The Development of a Weighted Evolving Fuzzy Neural Network / Pei-Chann Chang ; Chen-Hao Liu ; Chia-Hsuan Yeh ; Shih-Hsin Chen
Fuzzy Neural Classifier for Transformer Fault Diagnosis Based on EM Learning / Hongsheng Su ; Qunzhan Li
System Identification Using Hierarchical Fuzzy CMAC Neural Networks / Floriberto Ortiz Rodriguez ; Wen Yu ; Marco A. Moreno-Armendariz
Supervised, Unsupervised and Reinforcement Learning
A Reliable Resilient Backpropagation Method with Gradient Ascent / Xugang Wang ; Hongan Wang ; Guozhong Dai ; Zheng Tang
Face Recognition Using Null Space-Based Local Discriminant Embedding / Yanmin Niu ; Xuchu Wang
Reformulated Parametric Learning Based on Ordinary Differential Equations / Shuang-Hong Yang ; Bao-Gang Hu
Supervised Feature Extraction Algorithm Based on Continuous Divergence Criterion / Shifei Ding ; Zhongzhi Shi ; Fengxiang Jin
A New Binary Classifier: Clustering-Launched Classification / Tung-Shou Chen ; Chih-Chiang Lin ; Yung-Hsing Chiu ; Hsin-Lan Lin ; Rong-Chang Chen
A Novel Clustering Algorithm Based on Variable Precision Rough-Fuzzy Sets / Zhiqiang Bao ; Bing Han ; Shunjun Wu
Applying Bayesian Approach to Decision Tree / Yatong Zhou ; Taiyi Zhang ; Zhigang Chen
Approximation Algorithms for K-Modes Clustering / Zengyou He ; Shengchun Deng ; Xiaofei Xu
Convergence of a New Decomposition Algorithm for Support Vector Machines / Yan-Guo Wang ; Hong Qiao ; Bo Zhang
Online Learning of Bayesian Network Parameters with Incomplete Data / Sungsoo Lim ; Sung-Bae Cho
Intelligent Agent and Web Applications
A Genetic Algorithm for Optimization of Bandwidth Assignment in Hose-Modeled VPN / Yuanping Zou ; Zhengkun Mi ; Xudong Meng
A Kind of Adaptive Negotiation Mechanism for Flexible Job Shop Scheduling / Cixing Lv ; Zhongqi Sheng ; Sufen Li ; Chaowan Yin ; Yunlong Zhu
A Novel Key Management and Access Control Scheme for Mobile Agent / Jen- Yi Pan ; Tzer-Long Chen ; Tzer-Shyong Chen
Analysis on Negotiation in Platform-Level Armored Force Combat Entity Agents System / Xiong Li ; Kai Wang ; Xianggang Liu ; Jiuting Duo
Conflict Resolution and Preference Learning in Ubiquitous Environment / Md. Kamrul Hasan ; Kim Anh ; Lenin Mehedy ; Young-Koo Lee
Design and Implement of Customer Information Retrieval System Based on Semantic Web / Mi Sug Gu ; Jeong Hee Hwang ; Keun Ho Ryu
Emerging Hybrid Computational Models / Roman Neruda
Knowledge Base Constructing Based on Intelligence Technology / Jian Zhang ; Peng Gao ; Miao Li
Managing Workflows in Data Environments Using Semantic Technologies / Nada Hashmi ; Abdullah Al-Malaise ; Suleman Shahid ; Muhammad Zubair Afzal
On Studying P2P Topology Based on Modified Fuzzy Adaptive Resonance Theory / Yufeng Wang ; Wendong Wang
A Self-organising Agent Assistant System / Ji Gao
Semantic Based Approximate Query Across Multiple Ontologies / Yinglong Ma ; Beihong Jin
A Simulation-Based Process Model Learning Approach for Dynamic Enterprise Process Optimization / WenAn Tan
Task Assigning and Optimizing of Genetic-Simulated Annealing Based on Mas / Yong Liu ; Shujuan Li ; Yan Li
A Domain-Based Intelligent Search Engine / Minjuan Zhong ; Xingdong Lu
A PDA Based Personalized 3D Facial Expression System / Seongah Chin ; Jongkyeong Park
A Skew Free Korean Character Recognition System for PDA Devices / Youngmee Choi ; Moonwon Choo
An Agent-Based Multi-issue Negotiation Model in E-Commerce / Xiao-Xuan Zhang ; Supratip Ghose ; Geun-Sik Jo
Integrating Extended Attributed Relational Graph and Structured Modeling: Toward Multimedia-Based Decision Support in Virtual Product Design / Oh-Byung Kwon ; Kyoung-Yun Kim ; Hyung-Jeong Yang
Multi-agent Modeling and Simulation for Petroleum Supply Chain / Jiang Tian ; Huaglory Tianfield
Optimize Cooperative Agents with Organization in Distributed Scheduling System / Wei Fan ; Fan Xue
Phrase-Based Statistical Machine Translation by Using Reordering Search and Additional Features / Yi Luo
Smart E-Learning Using Recommender System / Nuanwan Soonthornphisaj ; Ekkawut Rojsattarat ; Sukanya Yim-ngam
Strategic Learning in the Sealed-Bid Bargaining Mechanism by Particle Swarm Optimization Algorithm / Xiaobo Zhu ; Qian Yu ; Xianjia Wang
System on a Chip Implementation of Social Insect Behavior for Adaptive Network Routing / Jin-Ho Ahn ; Hyunjin Kim ; Byung In Moon ; Sungho Kang
Intelligent Fault Diagnosis
Authoritative Server's Impact on Domain Name System's Performance and Security / Yao Wang ; Ming-Zeng Hu ; Bin Li ; Bo-Ru Yan
Comparison Model and Algorithm for Distributed Firewall Policy / Weiping Wang ; Wenhui Chen ; Zhepeng Li ; Huaping Chen
Fourier and Wavelet Transformations for the Fault Detection of Induction Motor with Stator Current / Yountae Kim ; Sungshin Kim
Prediction of Equipment Maintenance Using Optimized Support Vector Machine / Yi Zeng ; Wei Jiang ; Changan Zhu ; Jianfeng Liu ; Weibing Teng ; Yidong Zhang
The Covariance Constraint Control Method of Fault Detect for Complicated Systems / Darong Huang ; Xiyue Huang ; Changcheng Xiang ; Wei Li ; Yin Zhang
A Fault Diagnosis Prototype System Based on Causality Diagram / Xinghua Fan ; Feng Hu ; Simon X. Yang
Adaptive Neural Model Based Fault Tolerant Control for Multi-variable Process / Cuimei Bo ; Jun Li ; Zhiquan Wang ; Jinguo Lin
Algorithm of Pipeline Leak Detection Based on Discrete Incremental Clustering Method / Jian Feng
A BP Neural Network Based Technique for HIF Detection and Location on Distribution Systems with Distributed Generation / Arturo Suman Bretas ; Luciano Fires ; Miguel Moreto ; Rodrigo Hartstein Salim
The Application of Grey Relation Close Degree Model in the Fault Diagnosis / Cuifeng Li ; Wenzhan Dai
Embedded Reversible Medical Image Compression Using Integer Wavelet Transform / Li-bao Zhang ; Ming-quan Zhou
Fault Detection Method Based on Artificial Immune System for Complicated Process / Chunliu Xiong ; Yuhong Zhao ; Wei Liu
Induction Machine Rotor Diagnosis Using Support Vector Machines and Rough Set / Ruiming Fang
Intelligent Process Trend Recognition Fault Diagnosis and Industrial Application / Sien Lu ; Biao Huang
Multiple Fault Diagnosis Approach for Rotary Machines Based on Matter-Element / Wen Jin ; Chang-Zheng Chen ; Zhi-Hao Jin
Numerical Model and Analysis on Dynamics of Composites for Active Damage Detection / Zhi Wei ; Minqiao Lu ; Jun Zhang
SoC Test Scheduling Algorithm Using ACO-Based Rectangle Packing
Fault Diagnosis and Accommodation Based on Online Multi-model for Nonlinear Process / Jiugen Zhang ; Jie Du
Natural Language Processing and Expert Systems
A Mongolian Speech Recognition System Based on HMM / Guanglai Gao ; Biligetu ; Nabuqing ; Shuwu Zhang
Conditional Random Fields Based Label Sequence and Information Feedback / Yi Guan ; Xiao-Long Wang
Ontology-Based Automatic Classification of Web Documents / MuHee Song ; SooYeon Lim ; Dong Jin Kang ; SangJo Lee
Recognition of Emotion with SVMs / Zhi Teng ; Fuji Ren ; Shingo Kuroiwa
A Proposal for an XML Definition of a Dynamic Spoken Interface for Ambient Intelligence / German Montoro ; Pablo A. Hay ; Xavier Alaman ; Ramon Lopez-Cozar ; Zoraida Callejas
Intelligent Interface for Recognition and Verification of Natural Language Commands / Maciej Majewski ; Wojciech Kacalak
Intrusion Detection Based on Data Mining / Jian Yin ; Fang Mei ; Gang Zhang
Knowledge Representation in a Behavior-Based Natural Language Interface for Human-Robot Communication / Fangju Wang
Method Combining Rule-Based and Corpus-Based Approaches for Oracle-Bone Inscription Information Processing / Huiying Cai ; Minghu Jiang ; Beixing Deng ; Lin Wang
Intelligent System for Natural Language Processing
Text-Based English-Arabic Sentence Alignment / Mohamed Abdel Fattah
Intelligent Financial Engineering
The Advantage of Harmonic Asian Options and an Approximation Approach / Xu Chen ; Jianping Wan
An Estimation Model of Research Cost Based on Rough Set and Artificial Neural Network / Yangyi Jiang ; Hengxi Zhang ; Jiang Xie ; Ke Meng
Analyzing Livestock Farm Odour Using a Neuro-fuzzy Approach / Leilei Pan
Credit Risk Assessment in Commercial Banks Based on Multi-layer SVM Classifier / Wei Sun ; Chenguang Yang
Special Session on Intelligent Algorithms for Game Theory
Poisson Process with Fuzzy Time-Dependent Intensity / Shunqin Li ; Wansheng Tang ; Chao Zhang
Pricing R&D Option with Combining Randomness and Fuzziness / Jinliang Zhang ; Huibin Du
Two-Person Zero-Sum Matrix Game with Fuzzy Random Payoffs / Lin Xu ; Ruiqing Zhao ; Yufu Ning
Estimating the Contingency of R&D Project in a Fuzzy Environment / Changsheng Yi ; Ying Liu
Parallel Combination of Genetic Algorithm and Ant Algorithm Based on Dynamic K-Means Cluster / Jianli Ding ; Liuqing Wang
Properties and Relations Between Implication Operators / Jiaxin Han ; Yingcang Ma
Quantum Network Optimization Based on the Use of Relaxing Qubits / Min Jiang ; Zeng-ke Zhang ; Tzyh-Jong Tarn
Special Session on Intelligent Computing for Information Perception and Integration in Intelligent Control System
Neural Network Based Modeling for Oil Well Pressure Data Compensation System / Jian-long Tang ; En Li ; Zeng-guang Hou ; Qi Zuo ; Zi-ze Liang ; Min Tan
Video Object Contour Tracking Using Improved Dual-Front Active Contour / Qihe Li ; Yuping Luo ; Deyun Xiao
Motion Deblurring for a Power Transmission Line Inspection Robot / Siyao Fu ; Yunchu Zhang ; Xiaoguang Zhao ; Zize Liang ; Zengguang Hou ; Anmin Zou ; Wenbo Ye ; Lian Bo
Viewpoint-Invariant Face Recognition Based on View-Based Representation / Jinyun Chung ; Juho Lee ; Hyun Jin Park ; Hyun Seung Yang
Visual Information Representation Using Embedded Block with Significance Selecting Model / Wentong Xue ; Jianshe Song ; Lihai Yuan ; Tao Shen
Visual Navigation for a Power Transmission Line Inspection Robot / Yongqian Zhang
Special Session on Language Processing for Affective Computing
A Semantic Analyzer for Aiding Emotion Recognition in Chinese / Jiajun Yan ; David B. Bracewell
Emotion Estimation System Based on Emotion Occurrence Sentence Pattern / Kazuyuki Matsumoto
Acoustic and Physiological Feature Analysis of Affective Speech / Dandan Cui ; Lianhong Cai
Determining the Emotion of News Articles / Junko Minato
Statistical Analysis of a Japanese Emotion Corpus for Natural Language Processing
Treatment of Quantifiers in Chinese-Japanese Machine Translation / Dapeng Yin ; Min Shao ; Peilin Jiang
Special Session on Intelligent Computing for Software Reliability Engineering
A Pruning Based Incremental Construction of Horizontal Partitioned Concept Lattice / Lihua Hu ; Jifu Zhang ; Sulan Zhang
Research on Spatial Data Mining Based on Knowledge Discovery / Zhong Qu ; Lian Wang
Similarity Measure Construction Using Fuzzy Entropy and Distance Measure / Jang-Mok Kim ; Young-Kiu Choi
Software Metrics Data Clustering for Quality Prediction / Bingbing Yang ; Xin Zheng ; Ping Guo
Special Session on Credibility Theory with Applications
A Hybrid Intelligent Algorithm for Vehicle Routing Models with Fuzzy Travel Times / Jin Peng ; Gang Shang
Solving Fuzzy Chance-Constrained Programming with Ant Colony Optimization-Based Algorithms and Application to Fuzzy Inventory Model / Yuanguo Zhu
The Infinite Dimensional Product Possibility Space and Its Applications / Yan-Kui Liu ; Baoding Liu ; Yanju Chen
Special Session on Intelligent Computing for Agile Manufacturing Systems
A New Sensor Fault Diagnosis Technique Based Upon Subspace Identification and Residual Filtering / Srinivasan Rajaraman ; Uwe Kruger ; M. Sam Mannan ; Juergen Hahn
Particle Swarm Optimization for Open Vehicle Routing Problem / Wanliang Wang ; Bin Wu ; Yanwei Zhao ; Dingzhong Feng
A Genetic Algorithm Approach on a Facility Layout Design Problem with Aisles / Gengui Zhou ; Mujing Ye ; Zhenyu Cao ; Feng Ye
A Novel Game-Theory-Based Analysis Approach for Running a Supply Chain Project / Ding-zhong Feng ; Lei-lei Chen ; Mei-xian Jiang
The Dynamics Mechanism Study on Interactive Development of Industry Clusters and Urbanization / Weixiang Xu ; Ye Jiang ; Bin Yu ; Gennian Tang
Special Session on Networked Control Systems
A Proposed Case Study for Networked Control System / Taicheng Yang ; Minrui Fei ; Dingyu Xue ; Yuemei Tan ; Xiaobing Zhou
Adaptive Control Systems with Network Closed Identification Loop / Lixiong Li ; Xianya Xie
An Initial Study of Gain-Scheduling Controller Design for NCS Using Delay Statistical Model / T.C. Yang ; Heshou Wang
An Overview of Wireless Networks in Control and Monitoring / George W. Irwin ; Jeremy Colandairaj ; William G. Scanlon
An Improved Deadline-Based Message Scheduling Algorithm for Real-Time Control Network / Qingyu Yang ; Lincang Ju ; Sibo Ge ; Ren Shi
Study on Inter-operability Unit for an Automobile Network / Sungyun Jung ; Sung-oh Yang ; Kwang-Ryul Baek
The Networked Control Systems Based on Predictive Functional Control / Jianguo Wu
Special Session on Intelligence Computation and Its Application
A Modified Fuzzy C-Means Algorithm for Association Rules Clustering / Dechang Pi ; Xiaolin Qin ; Peisen Yuan
Adaptive Fuzzy Control of Lateral Semi-active Suspension for High-Speed Railway Vehicle / Jianwei Yang ; Jie Li ; Yanping Du
Car Plate Localization Using Modified PCNN in Complicated Environment / Xin Yuan ; Lei Wang ; Miaoliang Zhu
Enhancing Contrast for Image Using Discrete Stationary Wavelet Transform and Non-linear Gain Operator / Changjiang Zhang ; Xiaodong Wang ; Haoran Zhang
Graph-Based Ant System for Optimal Sizing of Standalone Hybrid Wind/PV Power Systems / Daming Xu ; Longyun Kang ; Binggang Cao
Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning / Xiaoqiang Cai ; Yongjian Li ; Fengsheng Tu
Solving Multi-period Financial Planning Problem Via Quantum-Behaved Particle Swarm Algorithm / Jun Sun ; Wei Fang
A Boosting Approach for Utterance Verification / Chengyu Dong ; Yuan Dong ; Dezhi Huang ; Jun Guo ; Haila Wang
A Comparative Study on Computerised Diagnostic Performance of Hepatitis Disease Using ANNs / Revna Acar Vural ; Lale Ozyilmaz ; Tulay Yildirim
A Two-View CoTraining Rule Induction System for Information Extraction / Jing Xiao
A Ubiquitous Healthcare Service System for Benign Prostatic Hyperplasia Patients / Keon Myung Lee ; WonSeob Yang ; Kyung Mi Lee ; Wun-Jae Kim ; Seok Jung Yoon
An ANN-Based Classification System for Automobile Parts with Different Shapes / Jihong Liu ; GuangLu Zhao ; Lingbo Kong
An Indirect and Efficient Approach for Solving Uncorrelated Optimal Discriminant Vectors / Quan-Sen Sun ; Zhang Jin ; Pheng-Ann Heng ; De-Shen Xia
Constructing Full Matrix Through Naive Bayesian for Collaborative Filtering / Kyung-Yong Jung ; Hee-Joung Hwang ; Un-Gu Kang
Enhancing Particle Swarm Optimization Based Particle Filter Tracker / Qicong Wang ; Li Xie ; Jilin Liu ; Zhiyu Xiang
Moving Target Tracking Via Adaptive One Step Ahead Neuro-Fuzzy Estimator / Cihan Karakuzu ; Gokalp Gurbuzer
Optimization of Special Vehicle Routing Problem Based on Ant Colony System / Xia Liu ; Huan Qi ; Yingchun Chen
Pattern Finding Algorithm Based on Cloud Models / Yingjun Weng ; Laide Shi
POCS Super-Resolution Sequence Image Reconstruction Based on Image Registration Excluded Aliased Frequency Domain / Chong Fan ; Jianya Gong ; Jianjun Zhu ; Lihua Zhang
The Cooperative Optimization Metaheuristic: Inspiration from Nature and Applications / Xiaofei Huang
Use APEX Neural Networks to Extract the PN Sequence in Lower SNR DS-SS Signals / Tianqi Zhang ; Zengshan Tian ; Qianbin Chen ; Xiaokang Lin ; Zhengzhong Zhou
Special Session on Intelligent Ad Hoc Networks and Wireless Sensor Networks
A New Chain-Based Data Gathering Protocol for Wireless Sensor Transportation Monitoring Network / Lingyun Yuan
Distributed Computing Paradigm for Target Classification in Sensor Networks / Peng Zeng ; Yan Huang ; Haibin Yu
QoS Multicast Routing Algorithm in Manet: An Entropy-Based GA / Hua Chen ; Baolin Sun ; Yue Zeng
Simulating an Intelligence Fault Tolerance System for Situation-Aware Ubiquitous Computing / Eung Nam Ko
An Access Control Mechanism Based on Situation-Aware Ubiquitous Computing for Seamless Multimedia View Sharing
Clustering Algorithm Using Bayes' Rule in Mobile Wireless Sensor Networks / Young-Bae Kong ; Kyung-Bae Chang ; Gwi-Tae Park
Dynamic Control of Packet Transmission Rate Using Fuzzy Logic for Ad Hoc Networks / Tae-Hwan Son
ESTS: An Error Statistic Based Time Synchronization Protocol for Wireless Sensor Networks / Limin Sun ; Haidong Wang ; Tingxin Yan ; Jingjing Liu
Extending the Lifetime of Ad Hoc Wireless Networks / R.I. da Silva ; J.C.B. Leite ; M.P. Fernandez
Author Index
Fuzzy Systems
A GA Optimization for FLC with Its Rule Base and Scaling Factors Adjustment / Pingkang Li ; Xiuxia Du
Chance Constrained Maximum Flow Problem with Fuzzy Arc Capacities / Xiaoyu Ji ; Lixing Yang ; Zhen Shao
11.

電子ブック

EB
Francesca Toni, Takeo Kanade, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
12.

電子ブック

EB
Renata Vieira, Maria Carmelita Dias, Takeo Kanade, Nuno J. Mamede, Maria das Gra?as Volpe Nunes, Cl?udia Oliveira, Paulo Quaresma
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
13.

電子ブック

EB
Yuji Matsumoto, Takeo Kanade, Richard W. Sproat, Kam-Fai Wong, Min Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
14.

電子ブック

EB
Henrik Sch?rfe, Pascal Hitzler, Takeo Kanade, Peter ?hrstr?m
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
15.

電子ブック

EB
Jean-Fran?ois Boulicaut, Takeo Kanade, Heikki Mannila, Luc Raedt, Luc de Raedt
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
16.

電子ブック

EB
Matthias Klusch, Takeo Kanade, Terry R. Payne, Michael Rovatsos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
17.

電子ブック

EB
Olivier Boissier, Virginia Dignum, Takeo Kanade, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Julian Padget, Jaime Sim?o Sichman, Javier V?zquez-Salceda
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
18.

電子ブック

EB
Roque Mar?n, Alberto Bugar?n, Takeo Kanade, Eva Onaind?a, Jos? Santos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
19.

電子ブック

EB
Graham J. Williams, Takeo Kanade, Simeon J. Simoff
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
20.

電子ブック

EB
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
21.

電子ブック

EB
Matteo Baldoni, Ulle Endriss, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
22.

電子ブック

EB
Masanobu Umeda, Oskar Bartenstein, Ulrich Geske, Takeo Kanade, Dietmar Seipel, Osamu Takata, Armin Wolf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
23.

電子ブック

EB
Simon G. Thompson, Robert Ghanea-Hercock, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
24.

電子ブック

EB
Lou Goble, Takeo Kanade, John-Jules Ch Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
25.

電子ブック

EB
Juan Carlos Augusto, Takeo Kanade, Chris D. Nugent
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
Causal Reasoning for Alert Generation in Smart Homes / Antony Galton
Plans and Planning in Smart Homes / Richard Simpson ; Debra Schreckenghost ; Edmund F. LoPresti ; Ned Kirsch
Temporal Data Mining for Smart Homes / Mykola Galushka ; Dave Patterson ; Niall Rooney
Cases, Context, and Comfort: Opportunities for Case-Based Reasoning in Smart Homes / David Leake ; Ana Maguitman ; Thomas Reichherzer
Application of Decision Trees to Smart Homes / Vlado Stankovski ; Jernej Trnkoczy
Artificial Neural Networks in Smart Homes / Rezaul Begg ; Rafiul Hassan
A Multi-agent Approach to Controlling a Smart Environment / Diane J. Cook ; Michael Youngblood ; Sajal K. Das
Author Index
Smart Homes Can Be Smarter / Juan C. Augusto ; Chris D. Nugent
Spatiotemporal Reasoning for Smart Homes / Björn Gottfried ; Hans W. Guesgen ; Sebastian Hübner
Temporal Constraints with Multiple Granularities in Smart Homes / Carlo Combi ; Rosalba Rossato
26.

電子ブック

EB
Dave Barker-Plummer, Richard Cox, Takeo Kanade, Nik Swoboda
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
27.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
28.

電子ブック

EB
Sven A. Brueckner, David Hales, Takeo Kanade, Giovanna Marzo Serugendo, Franco Zambonelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
29.

電子ブック

EB
O?�uz Dikenelli, Marie-Pierre Gleizes, Takeo Kanade, Alessandro Ricci
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
30.

電子ブック

EB
Henrik Legind Larsen, Troels Andreasen, Henning Christiansen, Takeo Kanade, Daniel Ortiz-Arroyo, Gabriella Pasi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
31.

電子ブック

EB
Rokia Missaoui, Takeo Kanade, R. Missaoui, J?rg Schmid, J?rg Schmidt
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
32.

電子ブック

EB
International Symposium on Methodologies for Intelligent Systems, Floriana Esposito, Takeo Kanade, Donato Malerba, Zbigniew W. Ras, Giovanni Semeraro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
33.

電子ブック

EB
Vito Ges?, V. Di Ges?, Juris Hartmanis, Francesco Masulli, Alfredo Petrosino
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
34.

電子ブック

EB
Isabelle Bloch, Takeo Kanade, Alfredo Petrosino, Andrea G. B. Tettamanzi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
35.

電子ブック

EB
Lipo Wang, Licheng Jiao, Takeo Kanade, Xue Li, Jing Liu, Guanming Shi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
36.

電子ブック

EB
Sylvie Gibet, Nicolas Courty, Jean-Fran?ois Kamp, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
37.

電子ブック

EB
Yasubumi Sakakibara, Takeo Kanade, Satoshi Kobayashi, Tetsuro Nishino, Kengo Sato, Etsuji Tomita
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Parsing Without Grammar Rules / Yuji Matsumoto
Classification of Biological Sequences with Kernel Methods / Jean-Philippe Vert
Regular Papers
Identification in the Limit of Systematic-Noisy Languages / Frederic Tantini ; Colin de la Higuera ; Jean-Christophe Janodet
Ten Open Problems in Grammatical Inference
Polynomial-Time Identification of an Extension of Very Simple Grammars-from Positive Data / Ryo Yoshinaka
PAC-Learning Unambiguous NTS Languages / Alexander Clark
Incremental Learning of Context Free Grammars by Bridging Rule Generation and Search for Semi-optimum Rule Sets / Katsuhiko Nakamura
Variational Bayesian Grammar Induction for Natural Language / Kenichi Kurihara ; Taisuke Sato
Stochastic Analysis of Lexical and Semantic Enhanced Structural Language Model / Shaojun Wang ; Shaomin Wang ; Li Cheng ; Russell Greiner ; Dale Schuurmans
Using Pseudo-stochastic Rational Languages in Probabilistic Grammatical Inference / Amaury Habrard ; Francois Denis ; Yann Esposito
Learning Analysis by Reduction from Positive Data / Frantisek Mraz ; Friedrich Otto ; Martin Platek
Inferring Grammars for Mildly Context Sensitive Languages in Polynomial-Time / Tim Oates ; Tom Armstrong ; Leonor Becerra Bonache ; Mike Atamas
Planar Languages and Learnability / Christophe Costa Florencio ; Chris Watkins ; Mariette Serayet
A Unified Algorithm for Extending Classes of Languages Identifiable in the Limit from Positive Data / Mitsuo Wakatsuki ; Etsuji Tomita ; Go Yamada
Protein Motif Prediction by Grammatical Inference / Piedachu Peris ; Damian Lopez ; Marcelino Campos ; Jose M. Sempere
Grammatical Inference in Practice: A Case Study in the Biomedical Domain / Sophia Katrenko ; Pieter Adriaans
Inferring Grammar Rules of Programming Language Dialects / Alpana Dubey ; Pankaj Jalote ; Sanjeev Kumar Aggarwal
The Tenjinno Machine Translation Competition / Bradford Starkie ; Menno van Zaanen ; Dominique Estival
Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1
A Discriminative Model of Stochastic Edit Distance in the Form of a Conditional Transducer / Marc Bernard ; Marc Sebban
Learning n-Ary Node Selecting Tree Transducers from Completely Annotated Examples / Aurelien Lemay ; Joachim Niehren ; Remi Gilleron
Learning Multiplicity Tree Automata / Jose Oncina
Learning DFA from Correction and Equivalence Queries / Leonor Becerra-Bonache ; Adrian Horia Dediu ; Cristina Tirnauca
Using MDL for Grammar Induction / Ceriel Jacobs
Characteristic Sets for Inferring the Unions of the Tree Pattern Languages by the Most Fitting Hypotheses / Yen Kaow Ng ; Takeshi Shinohara
Learning Deterministic DEC Grammars Is Learning Rational Numbers
Iso-array Acceptors and Learning / T. Kalyani ; V.R. Dare ; D.G. Thomas ; T. Robinson
Poster Papers
A Merging States Algorithm for Inference of RFSAs / Gloria Alvarez ; Pedro Garcia ; Jose Ruiz
Query-Based Learning of XPath Expressions / Julien Carme ; Michal Ceresna ; Max Goebel
Learning Finite-State Machines from Inexperienced Teachers / Olga Grincktein ; Martin Leucker
Suprasymbolic Grammar Induction by Recurrent Self-Organizing Maps / Fuminori Mizushima ; Takashi Toyoshima
Graph-Based Structural Data Mining in Cognitive Pattern Interpretation / Lidia Ogiela ; Ryszard Tadeusiewicz ; Marek R. Ogiela
Constructing Song Syntax by Automata Induction / Kazutoshi Sasahara ; Yasuki Kakishita ; Tetsuro Nishino ; Miki Takahasi ; Kazuo Okanoya
Learning Reversible Languages with Terminal Distinguishability
Grammatical Inference for Syntax-Based Statistical Machine Translation / Jeroen Geertzen
Author Index
Invited Papers
Parsing Without Grammar Rules / Yuji Matsumoto
Classification of Biological Sequences with Kernel Methods / Jean-Philippe Vert
38.

電子ブック

EB
Michael G. Hinchey, Michael Gerard Hinchey, Takeo Kanade, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
39.

電子ブック

EB
Ian F. C. Smith, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
40.

電子ブック

EB
Jonathan Gratch, Ruth Aylett, Daniel Ballin, Jonathan Matthew Gratch, Takeo Kanade, Patrick Olivier, Michael Young, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Social Impact of IVAs
Why Fat Interface Characters Are Better e-Health Advisors / Henriette C. van Vugt ; Elly A. Konijn ; Johan F. Hoorn ; Jolanda Veldhuis
Virtual Rapport / Jonathan Gratch ; Anna Okhmatovskaia ; Francois Lamothe ; Stacy C. Marsella ; Mathieu Morales ; Rick J. van der Werf ; Louis-Philippe Morency
IVAs Recognizing Human Behavior
Imitation Learning and Response Facilitation in Embodied Agents / Stefan Kopp ; Olaf Graeser
Robust Recognition of Emotion from Speech / Mohammed E. Hoque ; Mohammed Yeasin ; Max M. Louwerse
Affect Detection from Human-Computer Dialogue with an Intelligent Tutoring System / Sidney D'Mello ; Art Graesser
Exploitation in Affect Detection in Improvisational E-Drama / Li Zhang ; John A. Barnden ; Robert J. Hendley ; Alan M. Wallington
Human Interpretation of IVA Behavior
An Exploration of Delsarte's Structural Acting System / Sharon Marie Carnicke ; Albert Rizzo
Perception of Blended Emotions: From Video Corpus to Expressive Agent / Stephanie Buisine ; Sarkis Abrilian ; Radoslaw Niewiadomski ; Jean-Claude Martin ; Laurence Devillers ; Catherine Pelachaud
Perceiving Visual Emotions with Speech / Zhigang Deng ; Jeremy Bailenson ; J. P. Lewis ; Ulrich Neumann
Embodied Conversational Agents
Dealing with Out of Domain Questions in Virtual Characters / Ronakkumar Patel ; Anton Leuski ; David Traum
MIKI: A Speech Enabled Intelligent Kiosk / Lee McCauley
Architecture of a Framework for Generic Assisting Conversational Agents / Jean-Paul Sansonnet ; David Leray
A Comprehensive Context Model for Multi-party Interactions with Virtual Characters / Norbert Pfleger ; Markus Lockelt
"What Would You Like to Talk About?" An Evaluation of Social Conversations with a Virtual Receptionist / Sabarish Babu ; Stephen Schmugge ; Tiffany Barnes ; Larry F. Hodges
Characteristics of Nonverbal Behavior
Gesture Expressivity Modulations in an ECA Application / Nicolas Ech Chafai ; Danielle Pele ; Gaspard Breton
Visual Attention and Eye Gaze During Multiparty Conversations with Distractions / Erdan Gu ; Norman L Badler
Behavior Representation Languages
Towards a Common Framework for Multimodal Generation: The Behavior Markup Language / Brigitte Krenn ; Andrew N. Marshall ; Hannes Pirker ; Kristinn R. Thorisson ; Hannes Vilhjalmsson
MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language / Michael Nischt ; Helmut Prendinger ; Elisabeth Andre ; Mitsuru Ishizuka
Generation of Nonverbal Behavior with Speech
Creativity Meets Automation: Combining Nonverbal Action Authoring with Rules and Machine Learning / Michael Kipp
Nonverbal Behavior Generator for Embodied Conversational Agents / Jina Lee
[HUGE]: Universal Architecture for Statistically Based HUman GEsturing / Karlo Smid ; Goranka Zoric ; Igor S. Pandzic
A Story About Gesticulation Expression / Celso de Melo ; Ana Paiva
IVAs in Serious Games
Introducing EVG: An Emotion Evoking Game / Ning Wang
Towards a Reactive Virtual Trainer / Zsofia Ruttkay ; Job Zwiers ; Herwin van Welbergen ; Dennis Reidsma
Making It Up as You Go Along - Improvising Stories for Pedagogical Purposes / Ruth Aylett ; Rui Figueiredo ; Sandy Louchart ; Joao Dias
Cognition and Emotion I
A Neurobiologically Inspired Model of Personality in an Intelligent Agent / Stephen J. Read ; Lynn C. Miller ; Brian Monroe ; Aaron Brownstein ; Wayne Zachary ; Jean-Christophe LeMentec ; Vassil Iordanov
Feeling Ambivalent: A Model of Mixed Emotions for Virtual Agents / Benny Ping-Han Lee ; Edward Chao-Chun Kao ; Von-Wun Soo
Are Computer-Generated Emotions and Moods Plausible to Humans? / Patrick Gebhard ; Kerstin H. Kipp
Creating Adaptive and Individual Personalities in Many Characters Without Hand-Crafting Behaviors / Jennifer Sandercock ; Lin Padgham ; Fabio Zambetta
Cognition and Emotion II
Thespian: Modeling Socially Normative Behavior in a Decision-Theoretic Framework / Mei Si ; David V. Pynadath
Autobiographic Knowledge for Believable Virtual Characters / Wan Ching Ho ; Scott Watson
Teachable Characters: User Studies, Design Principles, and Learning Performance / Andrea L. Thomaz ; Cynthia Breazeal
Applications of IVAs
FearNot's Appearance: Reflecting Children's Expectations and Perspectives / Lynne Hall ; Marco Vala ; Marc Hall ; Marc Webster ; Sarah Woods ; Adrian Gordon
Populating Reconstructed Archaeological Sites with Autonomous Virtual Humans / Wei Shao ; Demetri Terzopoulos
Evaluating the Tangible Interface and Virtual Characters in the Interactive Cohibit Exhibit / Alassane Ndiaye
Invited Talks
Rule Systems and Video Games / Rod Humble
Facade: Architecture and Authorial Idioms for Believable Agents in Interactive Drama / Michael Mateas ; Andrew Stern
Social Effects of Emotion: Two Modes of Relation Alignment / Brian Parkinson
Posters
Computer Model of Emotional Agents / Dilyana Budakova ; Lyudmil Dakovski
Affective Robots as Mediators in Smart Environments / Gianni Cozzolongo ; Berardina De Carolis
Expression of Emotion in Body and Face / Elizabeth A. Crane ; M. Melissa Gross ; Barbara L. Fredrickson
Towards Primate-Like Synthetic Sociability / Pablo Lucas dos Anjos
Here Be Dragons: Integrating Agent Behaviors with Procedural Emergent Landscapes and Structures / Todd Furmanski
Virtual Pedagogical Agents: Naturalism vs. Stylization / Agneta Gulz ; Magnus Haake
The Role of Social Norm in User-Engagement and Appreciation of the Web Interface Agent Bonzi Buddy / Johan F. Room
Countering Adversarial Strategies in Multi-agent Virtual Scenarios / Yu-Cheng Hsu ; Paul Hsueh-Min Chang
Avatar's Gaze Control to Facilitate Conversational Turn-Taking in Virtual-Space Multi-user Voice Chat System / Ryo Ishii ; Toshimitsu Miyajima ; Kinya Fujita ; Yukiko Nakano
The Role of Discourse Structure and Response Time in Multimodal Communication / Patrick Jeuniaux ; Xiangen Hu
The PAC Cognitive Architecture / Andrew Rosoff ; James Eilbert
Control of Avatar's Facial Expression Using Fundamental Frequency in Multi-user Voice Chat System
Modeling Cognition with a Human Memory Inspired Advanced Neural Controller / David Panzoli ; Herve Luga ; Yves Duthen
Storytelling - The Difference Between Fantasy and Reality / Guilherme Raimundo ; Joao Cabral ; Celso Melo ; Luis C. Oliveira
A Plug-and-Play Framework for Theories of Social Group Dynamics / Matthias Rehm ; Birgit Endrass
Learning Classifier Systems and Behavioural Animation of Virtual Characters / Stephane Sanchez
Using Intelligent Agents to Facilitate Game Based Cultural Familiarization Training / Thomas Santarelli ; Charles Barba ; Floyd A. Glenn ; Daphne Bogert
Mind the Body: Filling the Gap Between Minds and Bodies in Synthetic Characters
CAB: A Tool for Interoperation Among Cognitive Architectures
Author Index
Social Impact of IVAs
Why Fat Interface Characters Are Better e-Health Advisors / Henriette C. van Vugt ; Elly A. Konijn ; Johan F. Hoorn ; Jolanda Veldhuis
Virtual Rapport / Jonathan Gratch ; Anna Okhmatovskaia ; Francois Lamothe ; Stacy C. Marsella ; Mathieu Morales ; Rick J. van der Werf ; Louis-Philippe Morency
41.

電子ブック

EB
Johannes F?rnkranz, Takeo Kanade, Tobias Scheffer, Myra Spiliopoulou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
42.

電子ブック

EB
Bogdan Gabrys, Robert J. Howlett, L. C. Jain, Lakhmi C. Jain, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
43.

電子ブック

EB
Bogdan Gabrys, Robert J. Howlett, L. C. Jain, Lakhmi C. Jain, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
44.

電子ブック

EB
Bogdan Gabrys, Robert J. Howlett, L. C. Jain, Lakhmi C. Jain, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
45.

電子ブック

EB
Karl Tuyls, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
46.

電子ブック

EB
Miki Hermann, Takeo Kanade, Andrei Voronkov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Higher-Order Termination: From Kruskal to Computability / Frederic Blanqui ; Jean-Pierre Jouannaud ; Albert Rubio
Deciding Satisfiability of Positive Second Order Joinability Formulae / Sebastien Limet ; Pierre Pillot
SAT Solving for Argument Filterings / Michael Codish ; Peter Schneider-Kamp ; Vitaly Lagoon ; Rene Thiemann ; Jurgen Giesl
Inductive Decidability Using Implicit Induction / Stephan Falke ; Deepak Kapur
Matching Modulo Superdevelopments Application to Second-Order Matching / Germain Faure
Derivational Complexity of Knuth-Bendix Orders Revisited / Georg Moser
A Characterization of Alternating Log Time by First Order Functional Programs / Guillaume Bonfante ; Jean-Yves Marion ; Romain Pechoux
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems / Colin Riba
On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus / Kentaro Kikuchi
Modular Cut-Elimination: Finding Proofs or Counterexamples / Agata Ciabattoni ; Kazushige Terui
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf / Carsten Schurmann ; Mark-Oliver Stehr
A Semantic Completeness Proof for TaMeD / Richard Bonichon ; Olivier Hermant
Saturation Up to Redundancy for Tableau and Sequent Calculi / Martin Giese
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints / Laura Bozzelli ; Regis Gascon
Combining Supervaluation and Degree Based Reasoning Under Vagueness / Christian G. Fermuller ; Robert Kosik
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes / Boris Motik ; Ulrike Sattler
A Local System for Intuitionistic Logic / Alwen Tiu
CIC^: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions / Gilles Barthe ; Benjamin Gregoire ; Fernando Pastawski
Reducing Nondeterminism in the Calculus of Structures / Ozan Kahramanogullari
A Relaxed Approach to Integrity and Inconsistency in Databases / Hendrik Decker ; Davide Martinenghi
On Locally Checkable Properties / Orna Kupferman ; Yoad Lustig ; Moshe Y. Vardi
Deciding Key Cycles for Security Protocols / Veronique Cortier ; Eugen Zalinescu
Automating Verification of Loops by Parallelization / Tobias Gedell ; Reiner Hahnle
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems / Christel Baier ; Nathalie Bertrand ; Philippe Schnoebelen
Verification Condition Generation Via Theorem Proving / John Matthews ; J. Strother Moore ; Sandip Ray ; Daron Vroon
An Incremental Approach to Abstraction-Carrying Code / Elvira Albert ; Puri Arenas ; German Puebla
Context-Sensitive Multivariant Assertion Checking in Modular Programs / Pawel Pietrzak ; Jesus Correas ; Manuel V. Hermenegildo
Representation of Partial Knowledge and Query Answering in Locally Complete Databases / Alvaro Cortes-Calabuig ; Marc Denecker ; Ofer Arieli ; Maurice Bruynooghe
Sequential, Parallel, and Quantified Updates of First-Order Structures / Philipp Rummer
Representing Defaults and Negative Information Without Negation-as-Failure / Pablo R. Fillottrani ; Guillermo R. Simari
Constructing Camin-Sokal Phylogenies Via Answer Set Programming / Jonathan Kavanagh ; David Mitchell ; Eugenia Ternovska ; Jan Manuch ; Xiaohong Zhao ; Arvind Gupta
Automata for Positive Core XPath Queries on Compressed Documents / Barbara Fila ; Siva Anantharaman
Boolean Rings for Intersection-Based Satisfiability / Nachum Dershowitz ; Jieh Hsiang ; Guan-Shieng Huang ; Daher Kaiss
Theory Instantiation / Harald Ganzinger ; Konstantin Korovin
Splitting on Demand in SAT Modulo Theories / Clark Barrett ; Robert Nieuwenhuis ; Albert Oliveras ; Cesare Tinelli
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis / Roberto Bruttomesso ; Alessandro Cimatti ; Anders Franzen ; Alberto Griggio ; Roberto Sebastiani
Automatic Combinability of Rewriting-Based Satisfiability Procedures / Helene Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF [Characters not reproducible] T) / Alessandro Santuari
Lemma Learning in the Model Evolution Calculus / Peter Baumgartner ; Alexander Fuchs
Author Index
Higher-Order Termination: From Kruskal to Computability / Frederic Blanqui ; Jean-Pierre Jouannaud ; Albert Rubio
Deciding Satisfiability of Positive Second Order Joinability Formulae / Sebastien Limet ; Pierre Pillot
SAT Solving for Argument Filterings / Michael Codish ; Peter Schneider-Kamp ; Vitaly Lagoon ; Rene Thiemann ; Jurgen Giesl
47.

電子ブック

EB
Michael Fisher, Wiebe Hoek, Takeo Kanade, Boris Konev, Alexei Lisitsa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
48.

電子ブック

EB
Johannes F?rnkranz, Takeo Kanade, Tobias Scheffer, Myra Spiliopoulou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
49.

電子ブック

EB
Joaquin Qui?�}onero-Candela, Ido Dagan, Takeo Kanade, Bernardo Magnini, Joaquin Qui?onero-Candela
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
50.

電子ブック

EB
Michael Kohlhase, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
51.

電子ブック

EB
Jonathan M. Borwein, William M. Farmer, William Michael Farmer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Omega Number: Irreducible Complexity in Pure Math / Gregory J. Chaitin
Roles of Math Search in Mathematics / Abdou Youssef
Contributed Papers
Structured Induction Proofs in Isabelle/Isar / Makarius Wenzel
Interpretation of Locales in Isabelle: Theories and Proof Contexts / Clemens Ballarin
A Dynamic Poincare Principle / Manfred Kerber
A Proof-Theoretic Approach to Tactics / Kamal Aboul-Hosn
A Formal Correspondence Between OMDoc with Alternative Proofs and the [Characters not reproducible]-Calculus / Serge Autexier ; Claudio Sacerdoti-Coen
Proof Transformation by Ceres / Matthias Baaz ; Stefan Hetzl ; Alexander Leitsch ; Clemens Richter ; Hendrik Spohr
Synthesizing Proof Planning Methods and [Omega]-Ants Agents from Mathematical Knowledge / Dominik Dietrich
Verifying and Invalidating Textbook Proofs Using Scunak / Chad E. Brown
Capturing Abstract Matrices from Paper / Toshihiro Kanahori ; Alan Sexton ; Volker Sorge ; Masakazu Suzuki
Towards a Parser for Mathematical Formula Recognition / Amar Raja ; Matthew Rayner
Stochastic Modelling of Scientific Terms Distribution in Publications / Rimantas Rudzkis ; Vaidas Balys ; Michiel Hazewinkel
Capturing the Content of Physics: Systems, Observables, and Experiments / Eberhard R. Hilf ; Michael Kohlhase ; Heinrich Stamerjohanns
Communities of Practice in MKM: An Extensional Model / Andrea Kohlhase
From Notation to Semantics: There and Back Again / Luca Padovani ; Stefano Zacchiroli
Managing Informal Mathematical Knowledge: Techniques from Informal Logic / Andrew Aberdein
From Untyped to Polymorphically Typed Objects in Mathematical Web Services / William Naylor ; Julian Padget
Managing Automatically Formed Mathematical Theories / Simon Colton ; Pedro Torres ; Paul Cairns
Authoring LeActiveMath Calculus Content / Paul Libbrecht ; Christian Gross
Information Retrieval and Rendering with MML Query / Grzegorz Bancerek
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories / Pedro Quaresma ; Predrag Janicic
Author Index
Invited Talks
The Omega Number: Irreducible Complexity in Pure Math / Gregory J. Chaitin
Roles of Math Search in Mathematics / Abdou Youssef
52.

電子ブック

EB
Alexander Gelbukh, ?lvaro de Albornoz, Takeo Kanade, Carlos Alberto Reyes-Garcia
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
53.

電子ブック

EB
Thomas R. Roth-Berghofer, Takeo Kanade, David B. Leake, Stefan Schulz
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
54.

電子ブック

EB
Vicen? Torra, Josep Domingo-Ferrer, Takeo Kanade, Yasuo Narukawa, A?da Valls
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
55.

電子ブック

EB
Jaime S. Sichman, Luis Antunes, Takeo Kanade, Jaime Sim?o Sichman
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
56.

電子ブック

EB
Klaus Fischer, Elisabeth Andr?, Takeo Kanade, Ingo J. Timm, Ning Zhong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Agent Communication and Interaction
Adding New Communication Services to the FIPA Message Transport System / Javier Palanca ; Miguel Escriva ; Gustavo Aranda ; Ana Garcia-Fornes ; Vicente Julian ; Vicent Botti
Analysis of Multi-Agent Interactions with Process Mining Techniques / Lawrence Cabac ; Nicolas Knaak ; Daniel Moldt ; Heiko Rolke
Engineering Agent Conversations with the DIALOG Framework / Fernando Alonso ; Rafael Fernandez ; Sonia Frutos ; Javier Soriano
Agents' Bidding Strategies in a Combinatorial Auction / Tim Stockheim ; Michael Schwind ; Oleg Gujo
Applications and Simulation
Modeling and Simulation of Tests for Agents / Martina Gierke ; Jan Himmelspach ; Mathias Rohl ; Adelinde M. Uhrmacher
Agent-Based Simulation Versus Econometrics - from Macro- to Microscopic Approaches in Route Choice Simulation / Gustavo Kuhn Andriotti ; Franziska Klugl
Agent Based Simulation Architecture for Evaluating Operational Policies in Transshipping Containers / Lawrence Henesey ; Paul Davidsson ; Jan A. Persson
Agent Planning
Diagnosis of Multi-agent Plan Execution / Femke de Jonge ; Nico Roos ; Cees Witteveen
Framework and Complexity Results for Coordinating Non-cooperative Planning Agents / J. Renze Steenhuisen ; Adriaan W. ter Mors ; Jeroen M. Valk
Agent-Oriented Software Engineering
A Model Driven Approach to Agent-Based Service-Oriented Architectures / Ingo Zinnikus ; Gorka Benguria ; Brian Elvesaeter ; Klaus Fischer ; Julien Vayssiere
Meta-models, Models, and Model Transformations: Towards Interoperable Agents / Christian Hahn ; Cristian Madrigal-Mora ; Arne-Jorgen Berre
Formation of Virtual Organizations Through Negotiation / Mark Hoogendoorn ; Catholijn M. Jonker
Continuations and Behavior Components Engineering in Multi-Agent Systems / Denis Jouvin
Trust and Security
Evaluating Mobile Agent Platform Security / Axel Burkle ; Alice Hertel ; Wilmuth Muller ; Martin Wieser
A New Model for Trust and Reputation Management with an Ontology Based Approach for Similarity Between Tasks / Alberto Caballero ; Juan A. Botia ; Antonio F. Gomez-Skarmeta
Author Index
Agent Communication and Interaction
Adding New Communication Services to the FIPA Message Transport System / Javier Palanca ; Miguel Escriva ; Gustavo Aranda ; Ana Garcia-Fornes ; Vicente Julian ; Vicent Botti
Analysis of Multi-Agent Interactions with Process Mining Techniques / Lawrence Cabac ; Nicolas Knaak ; Daniel Moldt ; Heiko Rolke
57.

電子ブック

EB
Takashi Washio, Takeo Kanade, Katsuto Nakajima, Akito Sakurai, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
58.

電子ブック

EB
Michael Kohlhase, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Setting the Stage for Open Mathematical Documents / Part I:
Document Markup for the Web / 1:
Structure vest. Appearance in Markup / 1.1:
Markup for the World Wide Web / 1.2:
XML, the eXtensible Markup Language / 1.3:
Markup for Mathematical Knowledge / 2:
Mathematical Objects and Formulae / 2.1:
Mathematical Texts and Statements / 2.2:
Large-Scale Structure and Context in Mathematics / 2.3:
Open Mathematical Documents / 3:
A Brief History of the OMDoc Format / 3.1:
Three Levels of Markup / 3.2:
Situating the OMDoc Format / 3.3:
The Future: An Active Web of (Mathematical) Knowledge / 3.4:
An OMDoc Primer / Part II:
Textbooks and Articles / 4:
Minimal OMDoc Markup / 4.1:
Structure and Statements / 4.2:
Marking up the Formulae / 4.3:
Full Formalization / 4.4:
OpenMath Content Dictionaries / 5:
Structured and Parametrized Theories / 6:
A Development Graph for Elementary Algebra / 7:
Courseware and the Narrative/Content Distinction / 8:
A Knowledge-Centered View / 8.1:
A Narrative-Structured View / 8.2:
Choreographing Narrative and Content OMDoc / 8.3:
Summary / 8.4:
Communication Between Systems / 9:
The OMDoc Document Format / Part III:
OMDoc as a Modular Format / 10:
The OMDoc Namespaces / 10.1:
Common Attributes in OMDoc / 10.2:
Document Infrastructure / 11:
The Document Root / 11.1:
Metadata / 11.2:
Document Comments / 11.3:
Document Structure / 11.4:
Sharing Document Parts / 11.5:
The Dublin Core Elements (Module DC) / 12:
Roles in Dublin Core Elements / 12.2:
Managing Rights / 12.3:
Inheritance of Metadata / 12.4:
Mathematical Objects / 13:
OpenMath / 13.1:
Content MathML / 13.2:
Representing Types in Content-MathML and OpenMath / 13.3:
Semantics of Variables / 13.4:
Legacy Representation for Migration / 13.5:
Mathematical Text / 14:
Multilingual Mathematical Vernacular / 14.1:
Formal Mathematical Properties / 14.2:
Text Fragments and Their Rhetoric/Mathematical Roles / 14.3:
Phrase-Level Markup of Mathematical Vernacular / 14.4:
Technical Terms / 14.5:
Rich Text Structure / 14.6:
Mathematical Statements / 15:
Types of Statements in Mathematics / 15.1:
Theory-Constitutive Statements in OMDoc / 15.2:
The Unassuming Rest / 15.3:
Mathematical Examples in OMDoc / 15.4:
Inline Statements / 15.5:
Theories as Structured Contexts / 15.6:
Abstract Data Types / 16:
Representing Proofs / 17:
Proof Structure / 17.1:
Proof Step Justifications / 17.2:
Scoping and Context in a Proof / 17.3:
Formal Proofs as Mathematical Objects / 17.4:
Complex Theories / 18:
Inheritance via Translations / 18.1:
Postulated Theory Inclusions / 18.2:
Local/Required Theory Inclusions / 18.3:
Induced Assertions / 18.4:
Development Graphs / 18.5:
Notation and Presentation / 19:
Styling OMDoc Elements / 19.1:
A Restricted Style Language / 19.2:
Notation of Symbols / 19.3:
Presenting Bound Variables / 19.4:
Auxiliary Elements / 20:
Non-XML Data and Program Code in OMDoc / 20.1:
Applets and External Objects in OMDoc / 20.2:
Exercises / 21:
Document Models for OMDoc / 22:
XML Document Models / 22.1:
The OMDoc Document Model / 22.2:
OMDoc Sub-Languages / 22.3:
OMDoc Applications, Tools, and Projects / Part IV:
OMDoc Resources / 23:
The OMDoc Web Site, Wiki, and Mailing List / 23.1:
The OMDoc Distribution / 23.2:
The OMDoc Bug Tracker / 23.3:
An XML Catalog for OMDoc / 23.4:
External Resources / 23.5:
Validating OMDoc Documents / 24:
Validation with Document Type Definitions / 24.1:
Validation with RelaxNG Schemata / 24.2:
Validation with XML Schema / 24.3:
Transforming OMDoc / 25:
Extracting and Linking XSLT Templates / 25.1:
Interfaces for Systems / 25.2:
Presenting OMDoc to Humans / 25.3:
Applications and Projects / 26:
Introduction / 26.1:
QMath Parser / 26.2:
Sentido Integrated Environment / 26.3:
MBase / 26.4:
A Search Engine for Mathematical Formulae / 26.5:
Semantic Interrelation and Change Management / 26.6:
MathDox / 26.7:
ActiveMath / 26.8:
Authoring Tools for ActiveMath / 26.9:
SWiM - An OMDoc-Based Semantic Wiki / 26.10:
Induction Challenge Problems / 26.11:
Maya / 26.12:
Hets / 26.13:
CPoint / 26.14:
Stex: A Latex-Based Workflow for OMDoc / 26.15:
An Emacs Mode for Editing OMDoc Documents / 26.16:
Converting Mathematica Notebooks to OMDoc / 26.17:
Standardizing Context in System Interoperability / 26.18:
Proof Assistants in Scientific Editors / 26.19:
VeriFun / 26.20:
Appendix / Part V:
Changes to the Specification / A:
Changes from 1.1 to 1.2 / A.1:
Changes from 1.0 to 1.1 / A.2:
Quick-Reference / B:
Table of Attributes / C:
The RelaxNG Schema for OMDoc / D:
The Sub-language Drivers / D.1:
Common Attributes / D.2:
Module MOBJ: Mathematical Objects and Text / D.3:
Module MTXT: Mathematical Text / D.4:
Module DOC: Document Infrastructure / D.5:
Module DC: Dublin Core Metadata / D.6:
Module ST: Mathematical Statements / D.7:
Module ADT: Abstract Data Types / D.8:
Module PF: Proofs and Proof objects / D.9:
Module CTH: Complex Theories / D.10:
Module RT: Rich Text Structure / D.11:
Module EXT: Applets and Non-XML Data / D.12:
Module PRES: Adding Presentation Information / D.13:
Module QUIZ: Infrastructure for Assessments / D.14:
The RelaxNG Schemata for Mathematical Objects / E:
The RelaxNG Schema for OpenMath / E.1:
The RelaxNG Schema for MathML / E.2:
Bibliography
Index
Setting the Stage for Open Mathematical Documents / Part I:
Document Markup for the Web / 1:
Structure vest. Appearance in Markup / 1.1:
59.

電子ブック

EB
Elisabeth Andr?, Laila Dybkjr, Takeo Kanade, Wolfgang Minker, Heiko Neumann, Michael Weber
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
60.

電子ブック

EB
Ulrich Reimer, Takeo Kanade, Dimitris Karagiannis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
61.

電子ブック

EB
Qiang Yang, Takeo Kanade, Geoff Webb, Geoffrey I. Webb
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
62.

電子ブック

EB
Rafael H. Bordini, Mehdi M. Dastani, J?rgen Dix, Amal Fallah Seghrouchni, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
63.

電子ブック

EB
Oliviero Stock, Takeo Kanade, Marco Schaerf
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
64.

電子ブック

EB
Brahim Hnich, Mats Carlsson, Fran?ois Fages, Takeo Kanade, Francesca Rossi, European Research Consortium for Informatics and Mathematics.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
65.

電子ブック

EB
Ansgar Bredenfeld, Adam Jacoff, Takeo Kanade, Itsuki Noda, Yasutake Takahashi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
66.

電子ブック

EB
Salvatore Greco, Yutaka Hata, Shoji Hirano, Masahiro Inuiguchi, Takeo Kanade, Sadaaki Miyamoto, Hung Son Nguyen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
67.

電子ブック

EB
Guo-Ying Wang, Takeo Kanade, James F. Peters, Andrzej Skowron, Guoyin Wang, Yiyu Yao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
68.

電子ブック

EB
European Web Mining Forum, Markus Ackermann, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
69.

電子ブック

EB
Paul Vogt, Takeo Kanade, Chrystopher Nehaniv, Yuuya Sugita, Elio Tuci
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
70.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
71.

電子ブック

EB
Freek Wiedijk, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Freek Wiedijk
Informal / Henk Barendregt
HOL / John Harrison ; Konrad Slind ; Rob Arthan
Mizar / Andrzej Trybulec
PVS / Bart Jacobs ; John Rushby
Coq / Laurent Thery ; Pierre Letouzey ; Georges Gonthier
Otter/Ivy / Michael Beeson ; William McCune
Isabelle/Isar / Markus Wenzel ; Larry Paulson
Alfa/Agda / Thierry Coquand
ACL2 / Ruben Gamboa
PhoX / Christophe Raffalli ; Paul Roziere
IMPS / William Farmer
Metamath / Norman Megill
Theorema / Wolfgang Windsteiger ; Bruno Buchberger ; Markus Rozenkranz
Lego / Conor McBride
Nuprl / Paul Jackson
[Omega]mega / Christoph Benzmuller ; Armin Fiedler ; Andreas Meier ; Martin Pollet ; Jorg Siekmann
B Method / Dominique Cansell
Minlog / Helmut Schwichtenberg
Author Index
Introduction / Freek Wiedijk
Informal / Henk Barendregt
HOL / John Harrison ; Konrad Slind ; Rob Arthan
72.

電子ブック

EB
Harrie Swart, Takeo Kanade, H. C. M. de Swart, European Cooperation in the Field of Scientific and Technical Research (Organization).
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
73.

電子ブック

EB
Simone Frintrop, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
74.

電子ブック

EB
Lutz Maicher, Takeo Kanade, Jack Park
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
75.

電子ブック

EB
Danny Weyns, H. Dyke Parunak, Takeo Kanade, Fabien Michel, H. Van Dyke Parunak
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
76.

電子ブック

EB
Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Takeo Kanade, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
77.

電子ブック

EB
Steffen Staab, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
78.

電子ブック

EB
Abdul Sattar, Takeo Kanade, Byeong-ho Kang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
79.

電子ブック

EB
Jaime Sim?o Sichman, Helder Coelho, Takeo Kanade, Solange Oliveira Rezende, Jaime Sim?ao Sichman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
80.

電子ブック

EB
Anssi Yli-Jyr?, Takeo Kanade, Juhani Karhum?ki, Lauri Karttunen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
81.

電子ブック

EB
Svetan Ratchev
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
82.

電子ブック

EB
John Debenham
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
83.

電子ブック

EB
Pei Wang
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2006
所蔵情報: loading…
84.

電子ブック

EB
Enrico; Walsh, Toby Giunchiglia, Enrico Giunchiglia, Toby Walsh
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2006
所蔵情報: loading…
85.

電子ブック

EB
Wahlster, Wolfgang Wahlster
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I:
Dialogue Systems Go Multimodal: The SmartKom Experience / Wolfgang Wahlster
Facts and Figures About the SmartKom Project / Anselm Blocher
An Exemplary Interaction with SmartKom / Norbert Reithinger ; Gerd Herzog
Multimodal Input Analysis / Part II:
The SmartKom Architecture: A Framework for Multimodal Dialogue Systems
Modeling Domain Knowledge: Know-How and Know-What / Iryna Gurevych ; Robert Porzel ; Rainer Malaka
Speech Recognition / Andre Berton ; Alfred Kaltenmeier ; Udo Haiber ; Olaf Schreiner
Class-Based Language Model Adaptation / Martin C. Emele ; Zica Valsan ; Yin Hay Lam ; Silke Goronzy
The Dynamic Lexicon / Stefan Rapp ; Martin Emele
The Prosody Module / Viktor Zei[beta]ler ; Johann Adelhardt ; Anton Batliner ; Carmen Frank ; Elmar Noth ; Rui Ping Shi ; Heinrich Niemann
The Sense of Vision: Gestures and Real Objects / Jens Racky ; Michael Lutzeler ; Hans Rottger
The Facial Expression Module
Multiple Biometrics / Stephan Grashey ; Matthias Schuster
Natural Language Understanding / Ralf Engel
The Gesture Interpretation Module
Multimodal Dialogue Processing / Part III:
Modality Fusion / Norbert Pfleger
Discourse Modeling / Jan Alexandersson
Overlay: The Basic Operation for Discourse Processing / Tilman Becker
In Context: Integrating Domain- and Situation-Specific Knowledge
Intention Recognition / Jurgen te Vrugt ; Thomas Portele
Plan-Based Dialogue Management for Multiple Cooperating Applications / Markus Lockelt
Emotion Analysis and Emotion-Handling Subdialogues / Michael Streit
Problematic, Indirect, Affective, and Other Nonstandard Input Processing
Multimodal Output Generation / Part IV:
Realizing Complex User Wishes with a Function Planning Module / Sunna Torge ; Christian Hying
Intelligent Integration of External Data and Services into SmartKom / Hidir Aras ; Vasu Chandrasekhara ; Sven Kruger
Multimodal Fission and Media Design / Peter Poller ; Valentin Tschernomas
Natural Language Generation with Fully Specified Templates
Multimodal Speech Synthesis / Antje Schweitzer ; Norbert Braunschweiler ; Grzegorz Dogil ; Tanja Klankert ; Bernd Mobius ; Gregor Mohler ; Edmilson Morais ; Bettina Sauberlich ; Matthias Thomae
Scenarios and Applications / Part V:
Building Multimodal Dialogue Applications: System Integration in SmartKom / Alassane Ndiaye
SmartKom-English: From Robust Recognition to Felicitous Interaction / David Gelbart ; John Bryant ; Andreas Stolcke ; Manja Baudis ; Nelson Morgan
SmartKom-Public / Axel Horndasch ; Horst Rapp
SmartKom-Home: The Interface to Home Entertainment / Andreas Kellner
SmartKom-Mobile: Intelligent Interaction with a Mobile System / Jochen Hau[beta]ler ; Matthias Merdes ; Dennis Pfisterer ; Matthias Jost
SmartKom-Mobile Car: User Interaction with Mobile Services in a Car Environment / Dirk Buhler ; Wolfgang Minker
Data Collection and Evaluation / Part VI:
Wizard-of-Oz Recordings / Florian Schiel ; Ulli Turk
Annotation of Multimodal Data / Silke Steininger ; Susen Rabold
Multimodal Emogram, Data Collection and Presentation
Empirical Studies for Intuitive Interaction
Evaluation of Multimodal Dialogue Systems
Introduction / Part I:
Dialogue Systems Go Multimodal: The SmartKom Experience / Wolfgang Wahlster
Facts and Figures About the SmartKom Project / Anselm Blocher
86.

電子ブック

EB
Wiebe van der Hoek
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2006
所蔵情報: loading…
87.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Ann Macintosh, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2006
所蔵情報: loading…
88.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Max A. Bramer, Frans Coenen, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2006
所蔵情報: loading…
89.

電子ブック

EB
Jonathan Gratch, Ruth Aylett, Daniel Ballin, Jonathan Matthew Gratch, Takeo Kanade, Patrick Olivier, Michael Young, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Social Impact of IVAs
Why Fat Interface Characters Are Better e-Health Advisors / Henriette C. van Vugt ; Elly A. Konijn ; Johan F. Hoorn ; Jolanda Veldhuis
Virtual Rapport / Jonathan Gratch ; Anna Okhmatovskaia ; Francois Lamothe ; Stacy C. Marsella ; Mathieu Morales ; Rick J. van der Werf ; Louis-Philippe Morency
IVAs Recognizing Human Behavior
Imitation Learning and Response Facilitation in Embodied Agents / Stefan Kopp ; Olaf Graeser
Robust Recognition of Emotion from Speech / Mohammed E. Hoque ; Mohammed Yeasin ; Max M. Louwerse
Affect Detection from Human-Computer Dialogue with an Intelligent Tutoring System / Sidney D'Mello ; Art Graesser
Exploitation in Affect Detection in Improvisational E-Drama / Li Zhang ; John A. Barnden ; Robert J. Hendley ; Alan M. Wallington
Human Interpretation of IVA Behavior
An Exploration of Delsarte's Structural Acting System / Sharon Marie Carnicke ; Albert Rizzo
Perception of Blended Emotions: From Video Corpus to Expressive Agent / Stephanie Buisine ; Sarkis Abrilian ; Radoslaw Niewiadomski ; Jean-Claude Martin ; Laurence Devillers ; Catherine Pelachaud
Perceiving Visual Emotions with Speech / Zhigang Deng ; Jeremy Bailenson ; J. P. Lewis ; Ulrich Neumann
Embodied Conversational Agents
Dealing with Out of Domain Questions in Virtual Characters / Ronakkumar Patel ; Anton Leuski ; David Traum
MIKI: A Speech Enabled Intelligent Kiosk / Lee McCauley
Architecture of a Framework for Generic Assisting Conversational Agents / Jean-Paul Sansonnet ; David Leray
A Comprehensive Context Model for Multi-party Interactions with Virtual Characters / Norbert Pfleger ; Markus Lockelt
"What Would You Like to Talk About?" An Evaluation of Social Conversations with a Virtual Receptionist / Sabarish Babu ; Stephen Schmugge ; Tiffany Barnes ; Larry F. Hodges
Characteristics of Nonverbal Behavior
Gesture Expressivity Modulations in an ECA Application / Nicolas Ech Chafai ; Danielle Pele ; Gaspard Breton
Visual Attention and Eye Gaze During Multiparty Conversations with Distractions / Erdan Gu ; Norman L Badler
Behavior Representation Languages
Towards a Common Framework for Multimodal Generation: The Behavior Markup Language / Brigitte Krenn ; Andrew N. Marshall ; Hannes Pirker ; Kristinn R. Thorisson ; Hannes Vilhjalmsson
MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language / Michael Nischt ; Helmut Prendinger ; Elisabeth Andre ; Mitsuru Ishizuka
Generation of Nonverbal Behavior with Speech
Creativity Meets Automation: Combining Nonverbal Action Authoring with Rules and Machine Learning / Michael Kipp
Nonverbal Behavior Generator for Embodied Conversational Agents / Jina Lee
[HUGE]: Universal Architecture for Statistically Based HUman GEsturing / Karlo Smid ; Goranka Zoric ; Igor S. Pandzic
A Story About Gesticulation Expression / Celso de Melo ; Ana Paiva
IVAs in Serious Games
Introducing EVG: An Emotion Evoking Game / Ning Wang
Towards a Reactive Virtual Trainer / Zsofia Ruttkay ; Job Zwiers ; Herwin van Welbergen ; Dennis Reidsma
Making It Up as You Go Along - Improvising Stories for Pedagogical Purposes / Ruth Aylett ; Rui Figueiredo ; Sandy Louchart ; Joao Dias
Cognition and Emotion I
A Neurobiologically Inspired Model of Personality in an Intelligent Agent / Stephen J. Read ; Lynn C. Miller ; Brian Monroe ; Aaron Brownstein ; Wayne Zachary ; Jean-Christophe LeMentec ; Vassil Iordanov
Feeling Ambivalent: A Model of Mixed Emotions for Virtual Agents / Benny Ping-Han Lee ; Edward Chao-Chun Kao ; Von-Wun Soo
Are Computer-Generated Emotions and Moods Plausible to Humans? / Patrick Gebhard ; Kerstin H. Kipp
Creating Adaptive and Individual Personalities in Many Characters Without Hand-Crafting Behaviors / Jennifer Sandercock ; Lin Padgham ; Fabio Zambetta
Cognition and Emotion II
Thespian: Modeling Socially Normative Behavior in a Decision-Theoretic Framework / Mei Si ; David V. Pynadath
Autobiographic Knowledge for Believable Virtual Characters / Wan Ching Ho ; Scott Watson
Teachable Characters: User Studies, Design Principles, and Learning Performance / Andrea L. Thomaz ; Cynthia Breazeal
Applications of IVAs
FearNot's Appearance: Reflecting Children's Expectations and Perspectives / Lynne Hall ; Marco Vala ; Marc Hall ; Marc Webster ; Sarah Woods ; Adrian Gordon
Populating Reconstructed Archaeological Sites with Autonomous Virtual Humans / Wei Shao ; Demetri Terzopoulos
Evaluating the Tangible Interface and Virtual Characters in the Interactive Cohibit Exhibit / Alassane Ndiaye
Invited Talks
Rule Systems and Video Games / Rod Humble
Facade: Architecture and Authorial Idioms for Believable Agents in Interactive Drama / Michael Mateas ; Andrew Stern
Social Effects of Emotion: Two Modes of Relation Alignment / Brian Parkinson
Posters
Computer Model of Emotional Agents / Dilyana Budakova ; Lyudmil Dakovski
Affective Robots as Mediators in Smart Environments / Gianni Cozzolongo ; Berardina De Carolis
Expression of Emotion in Body and Face / Elizabeth A. Crane ; M. Melissa Gross ; Barbara L. Fredrickson
Towards Primate-Like Synthetic Sociability / Pablo Lucas dos Anjos
Here Be Dragons: Integrating Agent Behaviors with Procedural Emergent Landscapes and Structures / Todd Furmanski
Virtual Pedagogical Agents: Naturalism vs. Stylization / Agneta Gulz ; Magnus Haake
The Role of Social Norm in User-Engagement and Appreciation of the Web Interface Agent Bonzi Buddy / Johan F. Room
Countering Adversarial Strategies in Multi-agent Virtual Scenarios / Yu-Cheng Hsu ; Paul Hsueh-Min Chang
Avatar's Gaze Control to Facilitate Conversational Turn-Taking in Virtual-Space Multi-user Voice Chat System / Ryo Ishii ; Toshimitsu Miyajima ; Kinya Fujita ; Yukiko Nakano
The Role of Discourse Structure and Response Time in Multimodal Communication / Patrick Jeuniaux ; Xiangen Hu
The PAC Cognitive Architecture / Andrew Rosoff ; James Eilbert
Control of Avatar's Facial Expression Using Fundamental Frequency in Multi-user Voice Chat System
Modeling Cognition with a Human Memory Inspired Advanced Neural Controller / David Panzoli ; Herve Luga ; Yves Duthen
Storytelling - The Difference Between Fantasy and Reality / Guilherme Raimundo ; Joao Cabral ; Celso Melo ; Luis C. Oliveira
A Plug-and-Play Framework for Theories of Social Group Dynamics / Matthias Rehm ; Birgit Endrass
Learning Classifier Systems and Behavioural Animation of Virtual Characters / Stephane Sanchez
Using Intelligent Agents to Facilitate Game Based Cultural Familiarization Training / Thomas Santarelli ; Charles Barba ; Floyd A. Glenn ; Daphne Bogert
Mind the Body: Filling the Gap Between Minds and Bodies in Synthetic Characters
CAB: A Tool for Interoperation Among Cognitive Architectures
Author Index
Social Impact of IVAs
Why Fat Interface Characters Are Better e-Health Advisors / Henriette C. van Vugt ; Elly A. Konijn ; Johan F. Hoorn ; Jolanda Veldhuis
Virtual Rapport / Jonathan Gratch ; Anna Okhmatovskaia ; Francois Lamothe ; Stacy C. Marsella ; Mathieu Morales ; Rick J. van der Werf ; Louis-Philippe Morency
90.

電子ブック

EB
Hiroshi Kimura, Akio Ishiguro, Kazuo Tsuchiya, Hartmut Witte
出版情報: Springer eBooks Computer Science , Springer Tokyo, 2006
所蔵情報: loading…
91.

電子ブック

EB
Thomas Br?unl
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
92.

電子ブック

EB
Marco Mamei, Toru Ishida, Franco Zambonelli
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Berlin Heidelberg, 2006
所蔵情報: loading…
93.

電子ブック

EB
Raymond S. T. Lee, Toru Ishida, Nicholas R. Jennings
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
The Coming of the Age of Intelligent Agents / 1.1:
The Structure of This Book / 1.2:
Outline of Each Chapter / 1.3:
Readers of This Book / 1.4:
Concluding Remarks / 1.5:
Concepts and Theories / Part I:
The Search for Human Intelligence / 2:
What Is Intelligence? / 2.1:
The Philosophical View on Intelligence / 2.2:
Introduction - The Search for Intelligence and Ultimate Knowledge / 2.2.1:
The Traditional Philosophical View of Knowledge - Belief, Truth and Justification / 2.2.2:
Rationalistic Versus Empiristic View of Knowledge / 2.2.3:
Kant's Critique of Pure Reason and the Theory of Knowledge / 2.2.4:
Russell's View of Knowledge / 2.2.5:
Krishnamurti's The Awakening of Intelligence - Thought Versus Intelligence / 2.2.6:
Lee's Theory on Knowledge and Intelligence - The Unification Theory of Senses and Experiences / 2.2.7:
The Cognitive-Scientific View on Intelligence / 2.3:
The Cognitive-Scientific Definition of Intelligence / 2.3.1:
Spearman's Model of the Nature of Intelligence / 2.3.2:
Piaget's Psychology of Intelligence / 2.3.3:
Major Approaches of Intelligence - From Psychometric Approach to Latest Studies / 2.3.4:
Gardner's Theory on Multiple Intelligence / 2.3.5:
Lee's Unification Theory of Senses and Experiences - The Psychological Interpretation / 2.3.6:
The Neuroscience and Neurophysiology View on Intelligence / 2.4:
The Major Challenges of Mind Science (The Exploration of the Mind from the Neuroscience Perspective) / 2.4.1:
A Brief History - The Search for Intelligence in Neuroscience / 2.4.2:
Contemporary Research in Mind Science - From Neural Oscillators to the "Chaos in the Brain" / 2.4.3:
The Neuroscientific and Neurophysiological Implications of the Unification Theory of Senses and Experiences / 2.4.4:
Summary / 2.4.5:
From AI to IA - The Emergence of Agent Technology / 2.5:
What is AI? / 3.1:
A Brief History of AI / 3.2:
The Dartmouth Meeting (1956) - The Birth of AI / 3.2.1:
The Turing Test - A Prelude of AI / 3.2.2:
Strong Versus Weak AI / 3.2.3:
Searle's Chinese Room Thought Experiment / 3.2.4:
Development of AI in the Late 1970s / 3.2.5:
The "Reincarnation" of Neural Networks in the Late 1980s / 3.2.6:
The Birth of IAs in the Late 1990s / 3.2.7:
An Overview of the Classification of AI Technologies / 3.3:
AI - Where to Go? / 3.4:
The Coming of the Age of IAs / 3.5:
What Is an IA? - A "Right" Place to Start / 3.5.1:
The Emergence of Agent Technology - The Idea of Portable Intelligence / 3.5.2:
The Ten Basic Requirements of IAs / 3.6:
The Contemporary Variety of IAs / 3.7:
The Conceptual Model of IAs / 3.8:
The BFI Agent Intellectual Conceptual Model / 3.8.1:
The Agent Development Conceptual Model (GIA vs. TIA) / 3.8.2:
Major Challenges and Threats of Agent Technology / 3.9:
AI Techniques for Agent Construction / 3.10:
The World of Fuzziness, Chaos, and Uncertainty / 4.1:
Fuzzy Logic / 4.2:
What is Fuzzy Logic? / 4.2.1:
Fuzzy Theory and the Uncertainty Principle / 4.2.2:
Fuzzy Logic - A Structural Overview / 4.2.3:
Fuzzy Reasoning - A Case Study on Fuzzy Air-conditioning Control System / 4.2.4:
Applications of Fuzzy Logic / 4.2.5:
Neural Networks - the "Brain" of IAs / 4.3:
Neural Networks - Background / 4.3.1:
ANN Architecture / 4.3.2:
Classification of Neural Networks / 4.3.3:
Associative Memory Neural Networks: Auto-associative Networks / 4.3.4:
Hopfield Networks / 4.3.5:
Multilayer Feedforward Backpropagation Networks (FFBPNs) / 4.3.6:
Neural Networks - Where to Go? / 4.3.7:
Genetic Algorithms - the Nature of Evolution / 4.4:
Genetic Algorithms - Basic Principle / 4.4.1:
Population Initialization / 4.4.2:
Fitness Evaluation / 4.4.3:
Parent Selection Scheme / 4.4.4:
Crossover and Mutation / 4.4.5:
Implementation of GAs / 4.4.6:
Hybridization of GA with Neural Networks / 4.4.7:
Chaos Theory - The World of Nonlinear Dynamics / 4.5:
Chaos Theory - The Study of Nonlinear Dynamics / 4.5.1:
Battle Between two Worlds: Deterministic Versus Probabilistic / 4.5.2:
A Snapshot of Chaos Theory / 4.5.3:
Characteristics of Chaos Systems / 4.5.4:
Chaos Theory Versus Uncertainty Principle / 4.5.5:
Current Work on Chaos Theory / 4.5.6:
Chaotic Neural Networks and the Lee-Oscillator / 4.6:
Chaotic Neural Oscillators - An Overview / 4.6.1:
The Lee-Oscillator / 4.6.2:
The Lee-Associator / 4.6.3:
System Implementation and Experimental Results / 4.6.4:
Progressive Memory Recalling Scheme of the Lee-Associator and Its Biological and Psychological Implications / 4.6.5:
Related Work / 4.6.6:
Conclusion / 4.6.7:
Further Reading / 4.7:
Applications of Intelligent Agents Using iJADK / Part II:
The Design and Implementation of an Intelligent Agent-Based System Using iJADK / 5:
iJADE - System Framework / 5.1:
iJADE Architecture / 5.2.1:
Application Layer / 5.2.2:
Conscious (Intelligent) Layer / 5.2.3:
Technology Layer / 5.2.4:
Supporting Layer / 5.2.5:
iJADK Architecture / 5.3:
Introduction to iJADK / 5.3.1:
Basic Components of iJADK / 5.3.2:
Internal Operations of iJADK / 5.3.3:
Agent Programming Over the iJADK Platform / 5.4:
User Interface / 5.4.1:
Agent Class / 5.4.2:
LifeCycleManager / 5.4.3:
RuntimeAgent / 5.4.4:
Sample iJADE Agents / 5.5:
HelloWorldAgent / 5.5.1:
HelloWorldAgent2 / 5.5.2:
TalkAgent / 5.5.3:
Latest Works of iJADE / 5.6:
iJADE WShopper - Intelligent Mobile Shopping Based on Fuzzy-Neuro Shopping Agents / 5.7:
WAP Technology / 6.1:
WAP Technology - From Web to MEB / 6.2.1:
Constraints for Contemporary WAP Technology on MEB / 6.2.2:
iJADE WShopper - System Framework / 6.3:
iJADE WShopper - System Overview / 6.3.1:
iJADE WShopper for M-shopping - System Components / 6.3.2:
Experimental Results / 6.4:
The RTT Test / 6.4.1:
The PS Test / 6.4.3:
The iWSAS Test / 6.4.4:
Migration to the J2ME Platform / 6.5:
Incorporate Other AI Capabilities in the Shopper Agents - iJADE Negotiator / 6.6.2:
iJADE WeatherMAN - A Weather Forecasting Agent Using the Fuzzy Neural Network Model / 7:
Weather Prediction Using a Fuzzy-Neuro Model / 7.1:
iJADE WeatherMAN - System Overview / 7.3:
User Requirement Definition Scheme (URDS) and Weather Reporting Scheme (WRS) / 7.3.1:
Data Collection Scheme (DCS) / 7.3.2:
Variable Selection and Transformation Scheme (VSTS) / 7.3.3:
Fuzzy-Neuro Training and Prediction Scheme (FNTPS) / 7.3.4:
iJADE WeatherMAN - System Implementation / 7.4:
iJADE WeatherMAN Weather Site / 7.4.1:
Central Agent/Test Agent / 7.4.2:
iJADE WeatherMan Place / 7.4.3:
iJADE WeatherMan Agent / 7.4.4:
iJADE Weather Forecaster Place / 7.4.5:
iJADE Forecaster Agent / 7.4.6:
Evaluation Considerations / 7.5:
Average Classification Rate / 7.5.2:
Model Performance / 7.5.3:
The HKO Forecast / 7.5.4:
Future Work / 7.6:
iJADE Stock Advisor - An Intelligent Agent-Based Stock Prediction System Using the Hybrid RBF Recurrent Network / 8:
Stock Advisory and Prediction System - A General Overview / 8.1:
Stochastic Indicator / 8.2.1:
Relative Strength Index (RSI) / 8.2.2:
Money Flow / 8.2.3:
Moving Average / 8.2.4:
Support and Resistant Lines (Trendlines) / 8.2.5:
Trend Generalization / 8.2.6:
iJADE Stock Advisor - System Framework / 8.3:
iJADE Stock Advisor - System Overview / 8.3.1:
Stock Prediction Using the HRBF model / 8.3.2:
Parameter Selection Scheme in HRBFN / 8.4:
Round-Trip-Time (RTT) Test / 8.4.2:
Long- and Short-Term Prediction, Window Size Evaluation Test / 8.4.3:
Stock Prediction Performance Test / 8.4.4:
iJADE Surveillant - A Multi-resolution Neuro-oscillatory Agent-Based Surveillance System / 8.5:
Surveillance System - An Overview / 9.1:
Background / 9.2.1:
Scene Analysis / 9.2.2:
Human Face Recognition / 9.2.3:
Supporting Technologies / 9.3:
MPEG-7 - System Overview / 9.3.1:
MPEG-7 Model / 9.3.2:
The Latest MPEG-7 Development Work on Visual Object Modeling / 9.3.3:
iJADE Surveillant - System Overview / 9.4:
iJADE Surveillant - System Architecture / 9.4.1:
Automatic Multi-resolution Scene Segmentation Scheme Using the CNOW Model / 9.4.2:
Automatic Human Face Detection and Contour Features Extraction Using the ACM / 9.4.3:
Invariant Human Face Recognition Using the EGDLM / 9.4.4:
System Implementation / 9.5:
Automatic Color Scene Segmentation Scheme / 9.5.1:
Invariant Human Face Recognition Scheme / 9.5.2:
Facial Pattern Occlusion and Distortion Test / 9.5.3:
Performance Analysis / 9.5.4:
iJADE Negotiator - An Intelligent Fuzzy Agent-Based Negotiation System for Internet Shopping / 9.6:
Negotiation Systems - An Overview / 10.1:
iJADE Negotiator - System Architecture / 10.3:
iJADE Negotiator - System Overview / 10.3.1:
iJADE Negotiator - Main Functional Modules / 10.3.2:
iJADE Negotiator - Intelligent Negotiation Strategy and Negotiation Protocol / 10.3.3:
iJADE Negotiator - System Implementation / 10.4:
Future Agent Technology - Modern Ontology and Ontological Agent Technologies (OAT) / 10.4.1:
What Is Ontology? / 11.1:
Ontology - Theories of Existence / 11.1.1:
Universals Versus Particulars / 11.1.2:
Ontology - The World of Universals / 11.1.3:
Ontological View of the Nature of Existence / 11.1.4:
Impact of Ontology on Modern AI / 11.1.5:
Modern Ontology and Ontological Agents / 11.2:
The Theoretical Foundation of OAT - Conceptualization Theory / 11.2.1:
Characteristics of Ontological Agents / 11.2.2:
Potential Applications of OAT / 11.2.3:
Cogito iJADE Project / 11.2.4:
Cogito iJADE - A New Era of Self-aware IAs / 11.3.1:
Cogito iJADE - A System Overview / 11.3.2:
Latest Works of Cogito Agents / 11.3.3:
Agent Technology - The Future / 11.4:
iJADK 2.0 API / Appendix:
References
Index
About the Author
Introduction / 1:
The Coming of the Age of Intelligent Agents / 1.1:
The Structure of This Book / 1.2:
94.

電子ブック

EB
Zomaya, Albert Y. Zomaya
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface
Acknowledgments
Models / Section I:
Changing Challenges for Collaborative Algorithmics / Arnold L. RosenbergChapter 1:
ARM++: A Hybrid Association Rule Mining Algorithm / Zahir Tari ; Wensheng WuChapter 2:
Multiset Rule-Based Programming Paradigm for Soft-Computing in Complex Systems / E. V. Krishnamurthy ; Vikram KrishnamurthyChapter 3:
Evolutionary Paradigms / Franciszek SeredynskiChapter 4:
Artificial Neural Networks / Javid Taheri ; Albert Y. ZomayaChapter 5:
Swarm Intelligence / James KennedyChapter 6:
Fuzzy Logic / Chapter 7:
Quantum Computing / J. Eisert ; M. M. WolfChapter 8:
Enabling Technologies / Section II:
Computer Architecture / Joshua J. Yi ; David J. LiljaChapter 9:
A Glance at VLSI Optical Interconnects: From the Abstract Modelings of the 1980s to Today's MEMS Implements / Mary M. Eshaghian-Wilner ; Lili HaiChapter 10:
Morphware and Configware / Reiner HartensteinChapter 11:
Evolving Hardware / Timothy G.W. Gordon ; Peter J. BentleyChapter 12:
Implementing Neural Models in Silicon / Leslie S. SmithChapter 13:
Molecular and Nanoscale Computing and Technology / Mary M. Eshaghian-WIlner ; Amar H. Flood ; Alex Khitun ; J. Fraser Stoddart ; Kang WangChapter 14:
Trends in High-Performance Computing / Jack DongarraChapter 15:
Cluster Computing: High-Performance, High-Availability and High-Throughput Processing on a Network of Computers / Chee Shin Yeo ; Rajkumar Buyya ; Hossein Pourreza ; Rasit Eskicioglu ; Peter Graham ; Frank SommersChapter 16:
Web Service Computing: Overview and Directions / Boualem Benatallah ; Olivier Perrin ; Fethi A. Rabhi ; Claude GodartChapter 17:
Predicting Grid Resource Performance Online / Rich Wolski ; Graziano Obertelli ; Matthew Allen ; Daniel Nurm ; John BrevikChapter 18:
Application Domains / Section III:
Pervasive Computing: Enabling Technologies and Challenges / Mohan Kumar ; Sajal K. DasChapter 19:
Information Display / Peter Eades ; Seokhee Hong ; Keith Nesbitt ; Masahiro TakatsukaChapter 20:
Bioinformatics / Srinivas AluruChapter 21:
Noise in Foreign Exchange Markets / George G. SzpiroChapter 22:
Index
Contributors
Preface
Acknowledgments
95.

電子ブック

EB
Zbigniew Michalewicz, Martin Schmidt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Complex Business Problems / Part I:
Introduction / 1:
Characteristics of Complex Business Problems / 2:
Number of Possible Solutions / 2.1:
Time-Changing Environment / 2.2:
Problem-Specific Constraints / 2.3:
Multi-objective Problems / 2.4:
Modeling the Problem / 2.5:
A Real-World Example / 2.6:
An Extended Example: Car Distribution / 3:
Basic Terminology / 3.1:
Off-lease Cars / 3.2:
The Problem / 3.3:
Transportation / 3.4:
Volume Effect / 3.5:
Price Depreciation and Inventory / 3.6:
Dynamic Market Changes / 3.7:
The Solution / 3.8:
Adaptive Business Intelligence / 4:
Data Mining / 4.1:
Prediction / 4.2:
Optimization / 4.3:
Adaptability / 4.4:
The Structure of an Adaptive Business Intelligence System / 4.5:
Prediction and Optimization / Part II:
Prediction Methods and Models / 5:
Data Preparation / 5.1:
Different Prediction Methods / 5.2:
Mathematical Methods / 5.2.1:
Distance Methods / 5.2.2:
Logic Methods / 5.2.3:
Modern Heuristic Methods / 5.2.4:
Additional Considerations / 5.2.5:
Evaluation of Models / 5.3:
Recommended Reading / 5.4:
Modern Optimization Techniques / 6:
Overview / 6.1:
Local Optimization Techniques / 6.2:
Stochastic Hill Climber / 6.3:
Simulated Annealing / 6.4:
Tabu Search / 6.5:
Evolutionary Algorithms / 6.6:
Constraint Handling / 6.7:
Additional Issues / 6.8:
Fuzzy Logic / 6.9:
Fuzzifier / 7.1:
Inference System / 7.3:
Defuzzifier / 7.4:
Tuning the Membership Functions and Rule Base / 7.5:
Artificial Neural Networks / 7.6:
Node Input and Output / 8.1:
Different Types of Networks / 8.3:
Feed-Forward Neural Networks / 8.3.1:
Recurrent Neural Networks / 8.3.2:
Learning Methods / 8.4:
Supervised Learning / 8.4.1:
Unsupervised Learning / 8.4.2:
Data Representation / 8.5:
Other Methods and Techniques / 8.6:
Genetic Programming / 9.1:
Ant Systems and Swarm Intelligence / 9.2:
Agent-Based Modeling / 9.3:
Co-evolution / 9.4:
Hybrid Systems and Adaptability / 9.5:
Hybrid Systems for Prediction / 10.1:
Hybrid Systems for Optimization / 10.2:
Car Distribution System / 10.3:
Graphical User Interface / 11.1:
Reporting / 11.2.1:
Prediction Module / 11.3:
Optimization Module / 11.4:
Adaptability Module / 11.5:
Validation / 11.6:
Applying Adaptive Business Intelligence / 12:
Marketing Campaigns / 12.1:
Manufacturing / 12.2:
Investment Strategies / 12.3:
Emergency Response Services / 12.4:
Credit Card Fraud / 12.5:
Conclusion / 13:
Index
Complex Business Problems / Part I:
Introduction / 1:
Characteristics of Complex Business Problems / 2:
96.

電子ブック

EB
Nikolay Y. Nikolaev, Hitoshi Iba
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
97.

電子ブック

EB
Pierre M. Nugues
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
An Overview of Language Processing / 1:
Linguistics and Language Processing / 1.1:
Applications of Language Processing / 1.2:
The Different Domains of Language Processing / 1.3:
Phonetics / 1.4:
Lexicon and Morphology / 1.5:
Syntax / 1.6:
Syntax as Defined by Noam Chomsky / 1.6.1:
Syntax as Relations and Dependencies / 1.6.2:
Semantics / 1.7:
Discourse and Dialogue / 1.8:
Why Speech and Language Processing Are Difficult / 1.9:
Ambiguity / 1.9.1:
Models and Their Implementation / 1.9.2:
An Example of Language Technology in Action: the Persona Project / 1.10:
Overview of Persona / 1.10.1:
The Persona's Modules / 1.10.2:
Further Reading / 1.11:
Corpus Processing Tools / 2:
Corpora / 2.1:
Types of Corpora / 2.1.1:
Corpora and Lexicon Building / 2.1.2:
Corpora as Knowledge Sources for the Linguist / 2.1.3:
Finite-State Automata / 2.2:
A Description / 2.2.1:
Mathematical Definition of Finite-State Automata / 2.2.2:
Finite-State Automata in Prolog / 2.2.3:
Deterministic and Nondeterministic Automata / 2.2.4:
Building a Deterministic Automata from a Nondeterministic One / 2.2.5:
Searching a String with a Finite-State Automaton / 2.2.6:
Operations on Finite-State Automata / 2.2.7:
Regular Expressions / 2.3:
Repetition Metacharacters / 2.3.1:
The Longest Match / 2.3.2:
Character Classes / 2.3.3:
Nonprintable Symbols or Positions / 2.3.4:
Union and Boolean Operators / 2.3.5:
Operator Combination and Precedence / 2.3.6:
Programming with Regular Expressions / 2.4:
Perl / 2.4.1:
Matching / 2.4.2:
Substitutions / 2.4.3:
Translating Characters / 2.4.4:
String Operators / 2.4.5:
Back References / 2.4.6:
Finding Concordances / 2.5:
Concordances in Prolog / 2.5.1:
Concordances in Perl / 2.5.2:
Approximate String Matching / 2.6:
Edit Operations / 2.6.1:
Minimum Edit Distance / 2.6.2:
Searching Edits in Prolog / 2.6.3:
Encoding, Entropy, and Annotation Schemes / 2.7:
Encoding Texts / 3.1:
Character Sets / 3.2:
Representing Characters / 3.2.1:
Unicode / 3.2.2:
The Unicode Encoding Schemes / 3.2.3:
Locales and Word Order / 3.3:
Presenting Time, Numerical Information, and Ordered Words / 3.3.1:
The Unicode Collation Algorithm / 3.3.2:
Markup Languages / 3.4:
A Brief Background / 3.4.1:
An Outline of XML / 3.4.2:
Writing a DTD / 3.4.3:
Writing an XML Document / 3.4.4:
Namespaces / 3.4.5:
Codes and Information Theory / 3.5:
Entropy / 3.5.1:
Huffman Encoding / 3.5.2:
Cross Entropy / 3.5.3:
Perplexity and Cross Perplexity / 3.5.4:
Entropy and Decision Trees / 3.6:
Decision Trees / 3.6.1:
Inducing Decision Trees Automatically / 3.6.2:
Counting Words / 3.7:
Counting Words and Word Sequences / 4.1:
Words and Tokens / 4.2:
What Is a Word? / 4.2.1:
Breaking a Text into Words: Tokenization / 4.2.2:
Tokenizing Texts / 4.3:
Tokenizing Texts in Prolog / 4.3.1:
Tokenizing Texts in Perl / 4.3.2:
N-grams / 4.4:
Some Definitions / 4.4.1:
Counting Unigrams in Prolog / 4.4.2:
Counting Unigrams with Perl / 4.4.3:
Counting Bigrams with Perl / 4.4.4:
Probabilistic Models of a Word Sequence / 4.5:
The Maximum Likelihood Estimation / 4.5.1:
Using ML Estimates with Nineteen Eighty-Four / 4.5.2:
Smoothing N-gram Probabilities / 4.6:
Sparse Data / 4.6.1:
Laplace's Rule / 4.6.2:
Good-Turing Estimation / 4.6.3:
Using N-grams of Variable Length / 4.7:
Linear Interpolation / 4.7.1:
Back-off / 4.7.2:
Quality of a Language Model / 4.8:
Intuitive Presentation / 4.8.1:
Entropy Rate / 4.8.2:
Perplexity / 4.8.3:
Collocations / 4.9:
Word Preference Measurements / 4.9.1:
Extracting Collocations with Perl / 4.9.2:
Application: Retrieval and Ranking of Documents on the Web / 4.10:
Words, Parts of Speech, and Morphology / 4.11:
Words / 5.1:
Parts of Speech / 5.1.1:
Features / 5.1.2:
Two Significant Parts of Speech: The Noun and the Verb / 5.1.3:
Lexicons / 5.2:
Encoding a Dictionary / 5.2.1:
Building a Trie in Prolog / 5.2.2:
Finding a Word in a Trie / 5.2.3:
Morphology / 5.3:
Morphemes / 5.3.1:
Morphs / 5.3.2:
Inflection and Derivation / 5.3.3:
Language Differences / 5.3.4:
Morphological Parsing / 5.4:
Two-Level Model of Morphology / 5.4.1:
Interpreting the Morphs / 5.4.2:
Finite-State Transducers / 5.4.3:
Conjugating a French Verb / 5.4.4:
Prolog Implementation / 5.4.5:
Operations on Finite-State Transducers / 5.4.6:
Morphological Rules / 5.5:
Two-Level Rules / 5.5.1:
Rules and Finite-State Transducers / 5.5.2:
Rule Composition: An Examplewith French Irregular Verbs / 5.5.3:
Application Examples / 5.6:
Part-of-Speech Tagging Using Rules / 5.7:
Resolving Part-of-Speech Ambiguity / 6.1:
A Manual Method / 6.1.1:
Which Method to Use to Automatically Assign Parts of Speech / 6.1.2:
Tagging with Rules / 6.2:
Brill's Tagger / 6.2.1:
Implementation in Prolog / 6.2.2:
Deriving Rules Automatically / 6.2.3:
Confusion Matrices / 6.2.4:
Unknown Words / 6.3:
Standardized Part-of-Speech Tagsets / 6.4:
Multilingual Part-of-Speech Tags / 6.4.1:
Parts of Speechfor English / 6.4.2:
An Annotation Schemefor Swedish / 6.4.3:
Part-of-Speech Tagging Using Stochastic Techniques / 6.5:
The Noisy Channel Model / 7.1:
Presentation / 7.1.1:
The N-gram Approximation / 7.1.2:
Tagging a Sentence / 7.1.3:
The Viterbi Algorithm: An Intuitive Presentation / 7.1.4:
Markov Models / 7.2:
Markov Chains / 7.2.1:
Hidden Markov Models / 7.2.2:
Three Fundamental Algorithms to Solve Problems with HMMs / 7.2.3:
The Forward Procedure / 7.2.4:
Viterbi Algorithm / 7.2.5:
The Backward Procedure / 7.2.6:
The Forward-Backward Algorithm / 7.2.7:
Tagging with Decision Trees / 7.3:
An Application of the Noisy Channel Model: Spell Checking / 7.4:
A Second Application: Language Models for Machine Translation / 7.6:
Parallel Corpora / 7.6.1:
Alignment / 7.6.2:
Translation / 7.6.3:
Phrase-Structure Grammars in Prolog / 7.7:
Using Prolog to Write Phrase-Structure Grammars / 8.1:
Representing Chomsky's Syntactic Formalism in Prolog / 8.2:
Constituents / 8.2.1:
Tree Structures / 8.2.2:
Phrase-Structure Rules / 8.2.3:
The Definite Clause Grammar (DCG) Notation / 8.2.4:
Parsing with DCGs / 8.3:
Translating DCGs into Prolog Clauses / 8.3.1:
Parsing and Generation / 8.3.2:
Left-Recursive Rules / 8.3.3:
Parsing Ambiguity / 8.4:
Using Variables / 8.5:
Gender and Number Agreement / 8.5.1:
Obtaining the Syntactic Structure / 8.5.2:
Application: Tokenizing Texts Using DCG Rules / 8.6:
Word Breaking / 8.6.1:
Recognition of Sentence Boundaries / 8.6.2:
Semantic Representation / 8.7:
A-Calculus / 8.7.1:
Embedding A-Expressions into DCG Rules / 8.7.2:
Semantic Composition of Verbs / 8.7.3:
An Application of Phrase-Structure Grammars and a Worked Example / 8.8:
Partial Parsing / 8.9:
Is Syntax Necessary? / 9.1:
Word Spotting and Template Matching / 9.2:
ELIZA / 9.2.1:
Word Spotting in Prolog / 9.2.2:
Multiword Detection / 9.3:
Multiwords / 9.3.1:
AStandard Multiword Annotation / 9.3.2:
Detecting Multiwords with Rules / 9.3.3:
Running the Program / 9.3.4:
Noun Groups and Verb Groups / 9.4:
Groups Versus Recursive Phrases / 9.4.1:
DCG Rules to Detect Noun Groups / 9.4.2:
DCG Rules to Detect Verb Groups / 9.4.3:
Running the Rules / 9.4.4:
Group Detection as a Tagging Problem / 9.5:
Tagging Gaps / 9.5.1:
Tagging Words / 9.5.2:
Using Symbolic Rules / 9.5.3:
Using Statistical Tagging / 9.5.4:
Cascading Partial Parsers / 9.6:
Elementary Analysis of Grammatical Functions / 9.7:
Main Functions / 9.7.1:
Extracting Other Groups / 9.7.2:
An Annotation Scheme for Groups in French / 9.8:
Application: The FASTUS System / 9.9:
The Message Understanding Conferences / 9.9.1:
The Syntactic Layers of the FASTUS System / 9.9.2:
Evaluationof Information Extraction Systems / 9.9.3:
Syntactic Formalisms / 9.10:
Introduction / 10.1:
Chomsky's Grammar in Syntactic Structures / 10.2:
Constituency: A Formal Definition / 10.2.1:
Transformations / 10.2.2:
Transformations and Movements / 10.2.3:
Gap Threading / 10.2.4:
Gap Threading to Parse Relative Clauses / 10.2.5:
Standardized Phrase Categories for English / 10.3:
Unification-Based Grammars / 10.4:
Representing Features in Prolog / 10.4.1:
A Formalism for Features and Rules / 10.4.3:
Features Organization / 10.4.4:
Features and Unification / 10.4.5:
A Unification Algorithm for Feature Structures / 10.4.6:
Dependency Grammars / 10.5:
Properties of a Dependency Graph / 10.5.1:
Valence / 10.5.3:
Dependencies and Functions / 10.5.4:
Parsing Techniques / 10.6:
Bottom-up Parsing / 11.1:
The Shift-Reduce Algorithm / 11.2.1:
Implementing Shift-Reduce Parsing in Prolog / 11.2.2:
Differences Between Bottom-up and Top-down Parsing / 11.2.3:
Chart Parsing / 11.3:
Backtracking and Efficiency / 11.3.1:
Structure of a Chart / 11.3.2:
The Active Chart / 11.3.3:
Modules of an Earley Parser / 11.3.4:
The Earley Algorithm in Prolog / 11.3.5:
The Earley Parser to Handle Left-Recursive Rules and Empty Symbols / 11.3.6:
Probabilistic Parsing of Context-Free Grammars / 11.4:
A Description of PCFGs / 11.5:
The Bottom-up Chart / 11.5.1:
The Cocke-Younger-Kasami Algorithm in Prolog / 11.5.2:
Adding Probabilities to the CYK Parser / 11.5.3:
Parser Evaluation / 11.6:
Constituency-Based Evaluation / 11.6.1:
Dependency-Based Evaluation / 11.6.2:
PerformanceofPCFG Parsing / 11.6.3:
Parsing Dependencies / 11.7:
Dependency Rules / 11.7.1:
Extending the Shift-Reduce Algorithm to Parse Dependencies / 11.7.2:
Nivre's Parser in Prolog / 11.7.3:
Finding Dependencies Using Constraints / 11.7.4:
Parsing Dependencies Using Statistical Techniques / 11.7.5:
Semantics and Predicate Logic / 11.8:
Language Meaning and Logic: An Illustrative Example / 12.1:
Formal Semantics / 12.3:
First-Order Predicate Calculus to Represent the State of Affairs / 12.4:
Variables and Constants / 12.4.1:
Predicates / 12.4.2:
Querying the Universe of Discourse / 12.5:
Mapping Phrases onto Logical Formulas / 12.6:
Representing Nouns and Adjectives / 12.6.1:
Representing Noun Groups / 12.6.2:
Representing Verbs and Prepositions / 12.6.3:
The Case of Determiners / 12.7:
Determiners and Logic Quantifiers / 12.7.1:
Translating Sentences Using Quantifiers / 12.7.2:
A General Representation of Sentences / 12.7.3:
Compositionality to Translate Phrases to Logical Forms / 12.8:
Translating the Noun Phrase / 12.8.1:
Translating the Verb Phrase / 12.8.2:
Augmenting the Database and Answering Questions / 12.9:
Declarations / 12.9.1:
Questions with Existential and Universal Quantifiers / 12.9.2:
Prolog and Unknown Predicates / 12.9.3:
Other Determiners and Questions / 12.9.4:
Application: The Spoken Language Translator / 12.10:
Translating Spoken Sentences / 12.10.1:
Compositional Semantics / 12.10.2:
Semantic Representation Transfer / 12.10.3:
Lexical Semantics / 12.11:
Beyond Formal Semantics / 13.1:
La langue etlaparole / 13.1.1:
Language and the Structure of the World / 13.1.2:
Lexical Structures / 13.2:
Some Basic Terms and Concepts / 13.2.1:
Ontological Organization / 13.2.2:
Lexical Classes and Relations / 13.2.3:
Semantic Networks / 13.2.4:
Building a Lexicon / 13.3:
The Lexicon and Word Senses / 13.3.1:
Verb Models / 13.3.2:
Definitions / 13.3.3:
An Example of Exhaustive Lexical Organization: Word Net / 13.4:
Nouns / 13.4.1:
Adjectives / 13.4.2:
Verbs / 13.4.3:
Automatic Word Sense Disambiguation / 13.5:
Senses as Tags / 13.5.1:
Associating a Word with a Context / 13.5.2:
Guessing the Topic / 13.5.3:
Naive Bayes / 13.5.4:
Using Constraints on Verbs / 13.5.5:
Using Dictionary Definitions / 13.5.6:
An Unsupervised Algorithm to Tag Senses / 13.5.7:
Senses and Languages / 13.5.8:
Case Grammars / 13.6:
Cases in Latin / 13.6.1:
Cases and Thematic Roles / 13.6.2:
Parsing with Cases / 13.6.3:
Semantic Grammars / 13.6.4:
Extending Case Grammars / 13.7:
Frame Net / 13.7.1:
A Statistical Method to Identify Semantic Roles / 13.7.2:
An Example of Case Grammar Application: EVAR / 13.8:
EVAR's Ontology and Syntactic Classes / 13.8.1:
Cases in EVAR / 13.8.2:
Discourse / 13.9:
Discourse: A Minimalist Definition / 14.1:
A Description of Discourse / 14.2.1:
Discourse Entities / 14.2.2:
References: An Application-Oriented View / 14.3:
References and Noun Phrases / 14.3.1:
Finding Names - Proper Nouns / 14.3.2:
Coreference / 14.4:
Anaphora / 14.4.1:
Solving Coreferences in an Example / 14.4.2:
A Standard Coreference Annotation / 14.4.3:
References: A More Formal View / 14.5:
Generating Discourse Entities: The Existential Quantifier / 14.5.1:
Retrieving Discourse Entities: Definite Descriptions / 14.5.2:
Generating Discourse Entities: The Universal Quantifier / 14.5.3:
Centering: A Theory on Discourse Structure / 14.6:
Solving Coreferences / 14.7:
A Simplistic Method: Using Syntactic and Semantic Compatibility / 14.7.1:
Solving Coreferences with Shallow Grammatical Information / 14.7.2:
Salience in a Multimodal Context / 14.7.3:
Using a Machine-Learning Technique to Resolve Coreferences / 14.7.4:
More Complex Phenomena: Ellipses / 14.7.5:
Discourse and Rhetoric / 14.8:
Ancient Rhetoric: An Outline / 14.8.1:
Rhetorical Structure Theory / 14.8.2:
Types of Relations / 14.8.3:
Implementing Rhetorical Structure Theory / 14.8.4:
Events and Time / 14.9:
Events / 14.9.1:
Event Types / 14.9.2:
Temporal Representation of Events / 14.9.3:
Events and Tenses / 14.9.4:
Time ML, an Annotation Scheme for Time and Events / 14.10:
Dialogue / 14.11:
Why a Dialogue? / 15.1:
Simple Dialogue Systems / 15.3:
Dialogue Systems Based on Automata / 15.3.1:
Dialogue Modeling / 15.3.2:
Speech Acts: A Theory of Language Interaction / 15.4:
Speech Acts and Human-Machine Dialogue / 15.5:
Speech Acts as a Tagging Model / 15.5.1:
Speech Acts Tags Used in the SUNDIAL Project / 15.5.2:
Dialogue Parsing / 15.5.3:
Interpreting Speech Acts / 15.5.4:
EVAR: A Dialogue Application Using Speech Acts / 15.5.5:
Taking Beliefs and Intentions into Account / 15.6:
Representing Mental States / 15.6.1:
The STRIPS Planning Algorithm / 15.6.2:
Causality / 15.6.3:
An Introduction to Prolog / 15.7:
A Short Background / A.1:
Basic Features of Prolog / A.2:
Facts / A.2.1:
Terms / A.2.2:
Queries / A.2.3:
Logical Variables / A.2.4:
Shared Variables / A.2.5:
Data Types in Prolog / A.2.6:
Rules / A.2.7:
Running a Program / A.3:
Unification / A.4:
Substitution and Instances / A.4.1:
Terms and Unification / A.4.2:
The Herbrand Unification Algorithm / A.4.3:
Example / A.4.4:
The Occurs-Check / A.4.5:
Resolution / A.5:
Modus Ponens / A.5.1:
A Resolution Algorithm / A.5.2:
Derivation Trees and Backtracking / A.5.3:
Tracing and Debugging / A.6:
Cuts, Negation, and Related Predicates / A.7:
Cuts / A.7.1:
Negation / A.7.2:
The once/1 Predicate / A.7.3:
Lists / A.8:
Some List-Handling Predicates / A.9:
The member/2 Predicate / A.9.1:
The append/3 Predicate / A.9.2:
The delete/3 Predicate / A.9.3:
The intersection/3 Predicate / A.9.4:
The reverse/2 Predicate / A.9.5:
The Mode of an Argument / A.9.6:
Operators and Arithmetic / A.10:
Operators / A.10.1:
Arithmetic Operations / A.10.2:
Comparison Operators / A.10.3:
Lists and Arithmetic: The length/2 Predicate / A.10.4:
Lists and Comparison: The quicksort/2 Predicate / A.10.5:
Some Other Built-in Predicates / A.11:
Type Predicates / A.11.1:
Term Manipulation Predicates / A.11.2:
Handling Run-Time Errors and Exceptions / A.12:
Dynamically Accessing and Updatingthe Database / A.13:
Accessing a Clause: The clause/2 Predicate / A.13.1:
Dynamic and Static Predicates / A.13.2:
Adding a Clause: The asserta/1 and 1 assertz/Predicates / A.13.3:
Removing Clauses: The retract/1 and abolish/2 Predicates / A.13.4:
Handling Unknown Predicates / A.13.5:
All-Solutions Predicates / A.14:
Fundamental Search Algorithms / A.15:
Representing the Graph / A.15.1:
Depth-First Search / A.15.2:
Breadth-First Search / A.15.3:
A* Search / A.15.4:
Input/Output / A.16:
Reading and Writing Characters with Edinburgh Prolog / A.16.1:
Reading and Writing Terms with Edinburgh Prolog / A.16.2:
Opening and Closing Files with Edinburgh Prolog / A.16.3:
Reading and Writing Characters with Standard Prolog / A.16.4:
Reading and Writing Terms with Standard Prolog / A.16.5:
Opening and Closing Files with Standard Prolog / A.16.6:
Writing Loops / A.16.7:
Developing Prolog Programs / A.17:
Presentation Style / A.17.1:
Improving Programs / A.17.2:
Index
References
An Overview of Language Processing / 1:
Linguistics and Language Processing / 1.1:
Applications of Language Processing / 1.2:
98.

電子ブック

EB
Ilias Maglogiannis, Max Bramer, Kostas Karpouzis
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
99.

電子ブック

EB
Max Bramer
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
100.

電子ブック

EB
Khalid; Pejas, Jerzy; Mosdorf, Romuald Saeed, Jerzy Pejas, Khalid Saeed
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Image Analysis and Biometrics / Part I:
Image Filtration and Feature Extraction for Face Recognition / Tomasz Andrysiak ; Michat Choras
Visualization of Some Multi-Class Erosion Data Using GDA and Supervised SOM / Anna Bartkowiak ; Niki Evelpidou
Wavelet Transform in Face Recognition / Janusz Bobulski
Content-Based Image Retrieval - A Survey / Ryszard S. Choras
Method of Speech Recognition and Speaker Identification Using Audio-Visual of Polish Speech and Hidden Markov Models / Mariusz Kubanek
Synthesis of Codebooks with Perceptually Monitored Structure for Multiband CELP-Coders / Michael Livshitz ; Alexander Petrovsky
The Color Information as a Feature for Postage Stamps Recognition / Miroslaw Miciak
Iris Shape Evaluation in Face Image with Simple Background / Szymon Rydzek
Experimental Algorithm for Characteristic Points Evaluation in Static Images of Signatures / Khalid Saeed ; Marcin Adamski
Computer Security Systems / Part II:
Parallelization of Standard Modes of Operation for Symmetric Key Block Ciphers / Wlodzimierz Bielecki ; Dariusz Burak
On Differentia] and Linear Approximation of S-box Functions / Krzysztof Chmiel
Random Generation of S-Boxes for Block Cipliers / Anna Grocholewska-Czuryto ; Janusz Stoklosa
Problems of Sending Sensitive Information / Eugeniusz Kuriata
Hash Chaining for Authenticated Data Structures Freshness Checking / Witold Mackow ; Pawel Sukiennik
Stream Cipher Keys Generation with Low Power Consumption Based on LFSR / Mirosiaw Fuczko ; Vyatcheslav N. Yarmolik
The Quality of Obfuscation and Obfuscation Techniques / Joanna Witkowska
Artificial Intelligence and Applications / Part III:
Capability and Functionings: A Fuzzy Way to Measure Interaction between Father and Child / Tindara Addabbo ; Gisella Facchinetti ; Giovanni Mastroleo
Remarks on Computer Simulations / Wiktor Danko
Analysis of E-learning System Dynamics / Bozena Ignatowska ; Romuald Mosdorf
Can a Negative Selection Detect an Extremely Few Non-self Among Enormous Amount of Self Cells? / Akira Imada
An Average Length of Computations of Normalized Probabilistic Algorithms / Joanna Karbowska-Chilinska
A Marine Environment Simulator for Testing Ship Control Systems in Dangerous Situations / Andrzej Lebkowski ; Krzysztof Dziedzicki ; Marcin Tobiasz ; Roman Smierzchalski ; Miroslaw Tomera
Image Enhancement and Image Half-toning Using Fluid Particles Physics Dynamics / Kurosh Madani
Tandem Models with Blocking in the Computer Subnetworks Performance Analysis / Walenty Oniszczuk
Interchangeable Strategies in Games Without Side Payments on the Base of Uncertain Information on Resources / Henryk Piech ; Aleksandra Ptak ; Marcin Machura
Properties of Morphological Operators Applied to Analysis of ECG Signals / Krzysztof Piekarskl ; Pawel Tadejko ; Waldemar Rakowski
Input's Significance Evaluation in a Multi Input-Variable System / Izabela Rejer
Calculating the Fractal Dimension of River Basins, Comparison of Several Methods / Adam Szustalewicz ; Andreas Vassilopoulos
Automatic Management of Tele-Interpretation Knowledge in a Wearable Diagnostic Device / Ryszard Tadeusiewicz ; Piotr Augustyniak
Evaluation of Clusters Quality in Artificial Immune Clustering System - SArIS / Slawomir Wierzchon ; Urszula Kuzelewska
Convergence Analysis of the Boundary Geometry Identification Obtained by Genetic Algorithms in the PIES / Eugeniusz Zieniuk ; Krzysztof Szerszen ; Agnieszka Boltuc
Image Analysis and Biometrics / Part I:
Image Filtration and Feature Extraction for Face Recognition / Tomasz Andrysiak ; Michat Choras
Visualization of Some Multi-Class Erosion Data Using GDA and Supervised SOM / Anna Bartkowiak ; Niki Evelpidou
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼