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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼