close
1.

電子ブック

EB
Xue Li, Takeo Kanade, Zhan-huai Li, Zhanhuai Li, Osmar R. Zaïane
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Warehousing and Mining Massive RFID Data Sets / Jiawei Han ; Hector Gonzalez ; Xiaolei Li ; Diego Klabjan
Self-organising Map Techniques for Graph Data Applications to Clustering of XML Documents / A.C. Tsoi ; M. Hagenbuchner ; A. Sperduti
Finding Time Series Discords Based on Haar Transform / Ada Wai-chee Fu ; Oscar Tat-Wing Leung ; Eamonn Keogh ; Jessica Lin
Learning with Local Drift Detection / Joao Gama ; Gladys Castillo
Association Rules
A Fast Algorithm for Maintenance of Association Rules in Incremental Databases / Xin Li ; Zhi-Hong Deng ; Shiwei Tang
Extending OLAP with Fuzziness for Effective Mining of Fuzzy Multidimensional Weighted Association Rules / Mehmet Kaya ; Reda Alhajj
Incremental Maintenance of Association Rules Based on Multiple Previously Mined Results / Zhuohua Duan ; Zixing Cai ; Yan Lv
Mining and Validation of Localized Frequent Web Access Patterns with Dynamic Tolerance / Olfa Nasraoui ; Suchandra Goswami
S A-IFIM: Incrementally Mining Frequent Itemsets in Update Distorted Databases / Jinlong Wang ; Congfu Xu ; Hongwei Dan ; Yunhe Pan
Study of Positive and Negative Association Rules Based on Multi-confidence and Chi-Squared Test / Xiangjun Dong ; Fengrong Sun ; Xiqing Han ; Ruilian Hou
Efficiently Mining Maximal Frequent Mutually Associated Patterns / Zhongmei Zhou ; Zhaohui Wu ; Chunshan Wang ; Yi Feng
Efficiently Mining Mutually and Positively Correlated Patterns
Classification
ComEn V prs: A Novel Approach for Inducing Decision Tree Classifiers / Shuqin Wang ; Jinmao Wei ; Junping You ; Dayou Liu
Towards a Rough Classification of Business Travelers / Rob Law ; Thomas Bauer ; Karin Weber ; Tony Tse
Feature Extraction Based on Optimal Discrimination Plane in ECG Signal Classification / Dingfei Ge ; Xiao Qu
Music Style Classification with a Novel Bayesian Model / Yatong Zhou ; Taiyi Zhang ; Jiancheng Sun
Classification of Polarimetric SAR Data Based on Multidimensional Watershed Clustering / Wen Yang ; Hao Wang ; Yongfeng Cao ; Haijian Zhang
An Effective Combination Based on Class-Wise Expertise of Diverse Classifiers for Predictive Toxicology Data Mining / Daniel Neagu ; Gongde Guo ; Shanshan Wang
Robust Collective Classification with Contextual Dependency Network Models / Yonghong Tian ; Tiejun Huang ; Wen Gao
User-Centered Image Semantics Classification / Hongli Xu ; De Xu ; Fangshi Wang
A Performance Study of Gaussian Kernel Classifiers for Data Mining Applications / Miyoung Shin
TTLSC - Transductive Total Least Square Model for Classification and Its Application in Medicine / Qun Song ; Tian Min Ma ; Nikola Kasabov
Forecasting Electricity Market Price Spikes Based on Bayesian Expert with Support Vector Machines / Wei Wu ; Jianzhong Zhou ; Li Mo ; Chengjun Zhu
Integrating Local One-Class Classifiers for Image Retrieval / Yiqing Tu ; Gang Li ; Honghua Dai
Incremental Discretization for Naive-Bayes Classifier / Jingli Lu ; Ying Yang ; Geoffrey I. Webb
Distance Guided Classification with Gene Expression Programming / Lei Duan ; Changjie Tang ; Tianqing Zhang ; Dagang Wei ; Huan Zhang
Research on Multi-valued and Multi-labeled Decision Trees / Hong Li ; Rui Zhao ; Jianer Chen ; Yao Xiang
Clustering
A Spatial Clustering Algorithm Based on SOFM / Zhong Qu ; Lian Wang
Mining Spatial-temporal Clusters from Geo-databases / Min Wang ; Aiping Wang ; Anbo Li
A Fuzzy Subspace Algorithm for Clustering High Dimensional Data / Guojun Gan ; Jianhong Wu ; Zijiang Yang
Robust Music Information Retrieval on Mobile Network Based on Multi-Feature Clustering / Won-Jung Yoon ; Sanghun Oh ; Kyu-Sik Park
Joint Cluster Based Co-clustering for Clustering Ensembles / Tianming Hu ; Liping Liu ; Chao Qu ; Sam Yuan Sung
Mining Gait Pattern for Clinical Locomotion Diagnosis Based on Clustering Techniques / Guandong Xu ; Yanchun Zhang ; Rezaul Begg
Combining Multiple Clusterings Via k-Modes Algorithm / Huilan Luo ; Fansheng Kong ; Yixiao Li
HOV[superscript 3]: An Approach to Visual Cluster Analysis / Ke-Bing Zhang ; Mehmet A. Orgun ; Kang Zhang
A New Fuzzy Co-clustering Algorithm for Categorization of Datasets with Overlapping Clusters / William-Chandra Tjhi ; Lihui Chen
Quantum-Behaved Particle Swarm Optimization Clustering Algorithm / Jun Sun ; Wenbo Xu ; Bin Ye
Clustering Mixed Data Based on Evidence Accumulation
Mining Maximal Local Conserved Gene Clusters from Microarray Data / Yuhai Zhao ; Guoren Wang ; Ying Yin ; Guangyu Xu
Novel Algorithms
A Novel P2P Information Clustering and Retrieval Mechanism / Huaxiang Zhang ; Peide Liu
Keeping Track of Customer Life Cycle to Build Customer Relationship / Sung Ho Ha ; Sung Min Bae
Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets / Hesuan Hu ; Zhiwu Li ; Anrong Wang
Improved Genetic Algorithm for Multiple Sequence Alignment Using Segment Profiles (GASP) / Yanping Lv ; Shaozi Li ; Changle Zhou ; Wenzhong Guo ; Zhengming Xu
A Novel Visual Clustering Algorithm for Finding Community in Complex Network / Shuzhong Yang ; Siwei Luo ; Jianyu Li
Self-Organizing Network Evolving Model for Mining Network Community Structure / Bo Yang
An Interactive Visualization Environment for Data Exploration Using Points of Interest / David Da Costa ; Gilles Venturini
Forecasting the Volatility of Stock Price Index / Tae Hyup Roh
ExMiner: An Efficient Algorithm for Mining Top-K Frequent Patterns / Tran Minh Quang ; Shigeru Oyanagi ; Katsuhiro Yamazaki
Learning Bayesian Networks Structure with Continuous Variables / Shuang-Cheng Wang ; Xiao-Lin Li ; Hai-Yan Tang
A Unified Strategy of Feature Selection / Peng Liu ; Naijun Wu ; Jiaxian Zhu ; Junjie Yin ; Wei Zhang
Experimental Comparison of Feature Subset Selection Using GA and ACO Algorithm / Keunjoon Lee ; Jinu Joo ; Jihoon Yang ; Vasant Honavar
OMVD: An Optimization of MVD / Zhi He ; Shengfeng Tian ; Houkuan Huang
ZED: Explaining Temporal Variations in Query Volume / Maojin Jiang ; Shlomo Argamon ; Abdur Chowdhury ; Kush Sidhu
An Effective Multi-level Algorithm for Bisecting Graph / Ming Leng ; Songnian Yu
A New Polynomial Time Algorithm for Bayesian Network Structure Learning / Sanghack Lee ; Sungyong Park
Personalized Recommendation Based on Partial Similarity of Interests / Ming-Hua Yang ; Zhi-Min Gu
A Fast Implementation of the EM Algorithm for Mixture of Multinomials / Jan Peter Patist
A Novel Approach to Pattern Recognition Based on PCA-ANN in Spectroscopy / Xiaoli Li ; Yong He
Semi-supervised Dynamic Counter Propagation Network / Yao Chen ; Yuntao Qian
The Practical Method of Fractal Dimensionality Reduction Based on Z-Ordering Technique / Guanghui Yan ; Zhanhuai Li ; Liu Yuan
Feature Selection for Complex Patterns / Peter Schenkel ; Wanqing Li ; Wanquan Liu
Naive Bayesian Tree Pruning by Local Accuracy Estimation / Zhipeng Xie
A New Visualization Method for Patent Map: Application to Ubiquitous Computing Technology / Jong Hwan Suh ; Sang Chan Park
Local Linear Logistic Discriminant Analysis with Partial Least Square Components / Jangsun Baek ; Young Sook Son
Activity Mining: Challenges and Prospects / Longbing Cao
Finding the Optimal Cardinality Value for Information Bottleneck Method / Dong Liu ; Yangdong Ye
A New Algorithm for Enumerating All Maximal Cliques in Complex Network / Li Wan ; Bin Wu ; Nan Du ; Qi Ye ; Ping Chen
Modeling and Mining the Rule Evolution / Ding Pan
Knowledge Reduction in Inconsistent Decision Tables / Qihe Liu ; Leiting Chen ; Jianzhong Zhang ; Fan Min
Text Mining
Semantic Scoring Based on Small-World Phenomenon for Feature Selection in Text Mining / Chong Huang
A Comparative Study on Text Clustering Methods / Yan Zheng ; Xiaochun Cheng ; Ronghuai Huang ; Yi Man
Concept Based Text Classification Using Labeled and Unlabeled Data / Ping Gu ; Qingsheng Zhu ; Xiping He
Learning Semantic User Profiles from Text / M. Degemmis ; P. Lops ; G. Semeraro
Multimedia Mining
Audiovisual Integration for Racquet Sports Video Retrieval / Yaqin Zhao ; Xianzhong Zhou ; Guizhong Tang
A Correlation Approach for Automatic Image Annotation / David R. Hardoon ; Craig Saunders ; Sandor Szedmak ; John Shawe-Taylor
Sequential Data Mining and Time Series Mining
Fast Discovery of Time-Constrained Sequential Patterns Using Time-Indexes / Ming-Yen Lin ; Sue-Chen Hsueh ; Chia-Wen Chang
Multi-dimensional Sequential Pattern Mining Based on Concept Lattice / Yang Jin ; Wanli Zuo
Mining Time-Delayed Coherent Patterns in Time Series Gene Expression Data / Linjun Yin ; Keming Mao
Mining Delay in Streaming Time Series of Industrial Process / Haijie Gu ; Gang Rong
Segmental Semi-Markov Model Based Online Series Pattern Detection Under Arbitrary Time Scaling / Guangjie Ling ; Sen Jia
Diagnosis of Inverter Faults in PMSM DTC Drive Using Time-Series Data Mining Technique / Dan Sun ; Jun Meng ; Zongyuan He
Applications of Data Mining Time Series to Power Systems Disturbance Analysis / Zhiyong Li
Mining Compressed Sequential Patterns / Lei Chang ; Dongqing Yang ; Tengjiao Wang
Effective Feature Preprocessing for Time Series Forecasting / Jun Hua Zhao ; Zhao Yang Dong ; Zhao Xu
On Similarity of Financial Data Series Based on Fractal Dimension / Jian-rong Hou ; Hui Zhao ; Pei Huang
Web Mining
A Hierarchical Model of Web Graph / Jie Han ; Yong Yu ; Chenxi Lin ; Dingyi Han ; Gui-Rong Xue
Web Scale Competitor Discovery Using Mutual Information / Rui Li ; Shenghua Bao ; Jin Wang ; Yuanjie Liu
Biomedical Mining
Co-expression Gene Discovery from Microarray for Integrative Systems Biology / Yutao Ma ; Yonghong Peng
Cardiovascular Disease Diagnosis Method by Emerging Patterns / Heon Gyu Lee ; Kiyong Noh ; Bum Ju Lee ; Ho-Sun Shon ; Keun Ho Ryu
DNA Microarray Data Clustering by Hidden Markov Models and Bayesian Information Criterion / Phasit Charoenkwan ; Aompilai Manorat ; Jeerayut Chaijaruwanich ; Sukon Prasitwattanaseree ; Sakarindr Bhumiratana
Application of Factor Analysis on Mycobacterium Tuberculosis Transcriptional Responses for Drug Clustering, Drug Target, and Pathway Detections / Jamlong Khamphachua ; Saradee Warit ; Prasit Palittapongarnpim
First Steps to an Audio Ontology-Based Classifier for Telemedicine / Cong Phuong Nguyen ; Ngoc Yen Pham ; Eric Castelli
Obstacles and Misunderstandings Facing Medical Data Mining / Ashkan Sami
SVM-Based Tumor Classification with Gene Expression Data / Shulin Wang ; Ji Wang ; Huowang Chen ; Boyun Zhang
GEPCLASS: A Classification Rule Discovery Tool Using Gene Expression Programming / Wagner R. Weinert ; Heitor S. Lopes
Advanced Applications
CBR-Based Knowledge Discovery on Results of Evolutionary Design of Logic Circuits / Shuguang Zhao ; Mingying Zhao ; Jin Li ; Change Wang
Data Summarization Approach to Relational Domain Learning Based on Frequent Pattern to Support the Development of Decision Making / Rayner Alfred ; Dimitar Kazakov
Extreme Value Dependence in Problems with a Changing Causation Structure / Marlon Nunez ; Rafael Morales
A Study on Object Recognition Technology Using PCA in the Variable Illumination / Jong-Min Kim ; Hwan-Seok Yang
Pattern Recurring in Three-Dimensional Graph Based on Data Mining / Yanbing Liu ; Menghao Wang
Mining the Useful Skyline Set Based on the Acceptable Difference / Zhenhua Huang ; Wei Wang
Modeling Information-Sharing Behaviors in BitTorrent System Based on Real Measurement / Jinkang Jia ; Changjia Chen
Financial Distress Prediction Based on Similarity Weighted Voting CBR / Jie Sun ; Xiao-Feng Hui
Customer Churn Prediction by Hybrid Model / Jae Sik Lee ; Jin Chun Lee
Base Vector Selection for Kernel Matching Pursuit / Qing Li ; Licheng Jiao
WaveSim Transform for Multi-channel Signal Data Mining Through Linear Regression PCA / R. Pradeep Kumar ; P. Nagabhushan
Research on Query-by-Committee Method of Active Learning and Application / Yue Zhao ; Ciwen Xu ; Yongcun Cao
Traffic Management Genetic Algorithm Supporting Data Mining and QoS in Sensor Networks / Yantao Pan ; Wei Peng ; Xicheng Lu
Comparison of Data Pre-processing in Pattern Recognition of Milk Powder Vis/NIR Spectra / Haiyan Cen ; Yidan Bao ; Min Huang
Semi-automatic Hot Event Detection / Tingling He ; Guozhong Qu ; Siwei Li ; Xinhui Tu ; Yong Zhang ; Han Ren
Security and Privacy Issues
Profile-Based Security Against Malicious Mobile Agents / Hua Li ; Glena Greene ; Rafael Alonso
A Comprehensive Categorization of DDoS Attack and DDoS Defense Techniques / Usman Tariq ; ManPyo Hong ; Kyung-suk Lhee
Structural Analysis and Mathematical Methods for Destabilizing Terrorist Networks Using Investigative Data Mining / Nasrullah Memon ; Henrik Legind Larsen
Alert Correlation Analysis in Intrusion Detection / Moon Sun Shin ; Kyeong Ja Jeong
Spatial Data Mining
OSDM: Optimized Shape Distribution Method / Ryoichi Nagatomi ; Makoto Takahashi ; Takeshi Tokuyama
View-Angle of Spatial Data Mining / Shuliang Wang ; Haning Yuan
Streaming Data Mining
Maintaining Moving Sums over Data Streams / Tzu-Chiang Wu ; Arbee L.P. Chen
MFIS-Mining Frequent Itemsets on Data Streams / Zhi-jun Xie ; Hong Chen ; Cuiping Li
Improving the Performance of Data Stream Classifiers by Mining Recurring Contexts / Yong Wang ; Yang Zhang ; Longbo Zhang ; Yun Jiang
Author Index
Invited Papers
Warehousing and Mining Massive RFID Data Sets / Jiawei Han ; Hector Gonzalez ; Xiaolei Li ; Diego Klabjan
Self-organising Map Techniques for Graph Data Applications to Clustering of XML Documents / A.C. Tsoi ; M. Hagenbuchner ; A. Sperduti
2.

電子ブック

EB
Moonis Ali, Richard Dapoigny, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
Luc Lamontagne, Takeo Kanade, Luc D. Lamontagne, Mario Marchand
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
Grigoris Antoniou, Takeo Kanade, Dimitris Plexousakis, George Potamias, Costas Spyropoulos
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
5.

電子ブック

EB
Zhigeng Pan, Adrian Cheok, Michael Haller, Takeo Kanade, Rynson W. H. Lau, Ronghua Liang, Hideo Saito
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
6.

電子ブック

EB
Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir, Halil Altay Güvenir, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Fun Begins with Retrieval: Explanation and CBR / Edwina L. Rissland
Completeness Criteria for Retrieval in Recommender Systems / David McSherry
Is Consideration of Background Knowledge in Data Driven Solutions Possible at All? / Gholamreza Nakhaeizadeh
Reality Meets Research / Stefan Wess
Research Papers
Multi-agent Case-Based Reasoning for Cooperative Reinforcement Learners / Thomas Gabel ; Martin Riedmiller
Retrieving and Reusing Game Plays for Robot Soccer / Raquel Ros ; Manuela Veloso ; Ramon Lopez de Mantaras ; Carles Sierra ; Josep Lluis Arcos
Self-organising Hierarchical Retrieval in a Case-Agent System / Ian Watson ; Jens Trotzky
Cobras: Cooperative CBR System for Bibliographical Reference Recommendation / Hager Karoui ; Rushed Kanawati ; Laure Petrucci
A Knowledge-Light Approach to Regression Using Case-Based Reasoning / Neil McDonnell ; Padraig Cunningham
Case-Base Maintenance for CCBR-Based Process Evolution / Barbara Weber ; Manfred Reichert ; Werner Wild
Evaluating CBR Systems Using Different Data Sources: A Case Study / Mingyang Gu ; Agnar Aamodt
Decision Diagrams: Fast and Flexible Support for Case Retrieval and Recommendation / Ross Nicholson ; Derek Bridge ; Nic Wilson
Case-Based Reasoning for Knowledge-Intensive Template Selection During Text Generation / Raquel Hervas ; Pablo Gervas
Rough Set Feature Selection Algorithms for Textual Case-Based Classification / Kalyan Moy Gupta ; David W. Aha ; Philip G. Moore
Experience Management with Case-Based Assistant Systems / Mirjam Minor
The Needs of the Many: A Case-Based Group Recommender System / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth ; Maria Salamo
Contextualised Ambient Intelligence Through Case-Based Reasoning / Anders Kofod-Petersen
Improving Annotation in the Semantic Web and Case Authoring in Textual CBR / Juan A. Recio-Garcia ; Marco Antonio Gomez-Martin ; Belen Diaz-Agudo ; Pedro A. Gonzalez-Calero
Unsupervised Case Memory Organization: Analysing Computational Time and Soft Computing Capabilities / Albert Fornells ; Herrera Elisabet ; Golobardes i Ribe ; David Vernet Bellet ; Guiomar Corral Torruella
Further Experiments in Case-Based Collaborative Web Search / Jill Freyne
Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge / Ralph Bergmann ; Babak Mougouie
Case-Based Sequential Ordering of Songs for Playlist Recommendation / Claudio Baccigalupo ; Enric Plaza
A Comparative Study of Catalogue-Based Classification / Petra Perner
Ontology-Driven Development of Conversational CBR Systems / Hector Gomez-Gauchia ; Pedro Gonzalez-Calero
Complexity Profiling for Informed Case-Base Editing / Stewart Massie ; Susan Craw ; Nirmalie Wiratunga
Unsupervised Feature Selection for Text Data / Robert Lothian
Combining Case-Based and Similarity-Based Product Recommendation / Armin Stahl
On the Use of Selective Ensembles for Relevance Classification in Case-Based Web Search / Maurice Coyle
What Evaluation Criteria Are Right for CCBR? Considering Rank Quality / Steven Bogaerts ; David B. Leake
Fast Case Retrieval Nets for Textual Data / Sutanu Chakraborti ; Amandine Orecchioni ; Stuart Watt
Combining Multiple Similarity Metrics Using a Multicriteria Approach / Luc Lamontagne ; Irene Abi-Zeid
Case Factory - Maintaining Experience to Learn / Klaus-Dieter Althoff ; Alexandre Hanft ; Martin Schaaf
Retrieval over Conceptual Structures / Pablo Beltran-Ferruz ; Oscar Lagerquist
An Analysis on Transformational Analogy: General Framework and Complexity / Vithal Kuchibatla ; Hector Munoz-Avila
Discovering Knowledge About Key Sequences for Indexing Time Series Cases in Medical Applications / Peter Funk ; Xiong Ning
Application Papers
Case-Based Reasoning for Autonomous Service Failure Diagnosis and Remediation in Software Systems / Stefania Montani ; Cosimo Anglano
Tracking Concept Drift at Feature Selection Stage in SpamHunting: An Anti-spam Instance-Based Reasoning System / Jose Ramon ; Mendez Reboredo ; Florentino Fernandez-Riverola ; Eva Lorenzo Iglesias ; Fernando Diaz Gomez ; Juan Manuel Corchado
Case-Based Support for Collaborative Business / Andrea Fressmann ; Kerstin Maximini ; Rainer Maximini ; Thomas Sauer
A CBR-Based Approach for Supporting Consulting Agencies in Successfully Accompanying a Customer's Introduction of Knowledge Management / Mark Hefke ; Andreas Abecker
The PwC Connection Machine: An Adaptive Expertise Provider / Mehmet H. Goker ; Cynthia Thompson ; Simo Arajarvi ; Kevin Hua
Author Index
Invited Talks
The Fun Begins with Retrieval: Explanation and CBR / Edwina L. Rissland
Completeness Criteria for Retrieval in Recommender Systems / David McSherry
7.

電子ブック

EB
Achim Hoffmann, Takeo Kanade, Byeong-ho Kang, Debbie Richards, Shusaku Tsumoto
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック

EB
Wee-Keong Ng, Kuiyu Chang, Takeo Kanade, Masaru Kitsuregawa, Jianzhong Li
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
9.

電子ブック

EB
Daniel S. Yeung, Takeo Kanade, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック

EB
Tapio Salakoski, Filip Ginter, Takeo Kanade, Tapio Pahikkala, Sampo Pyysalo
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
Recursion in Natural Languages / Fred Karlsson
The Explanatory Combinatorial Dictionary as the Key Tool in Machine Translation / Igor Mel'cuk
A Finite-State Approximation of Optimality Theory: The Case of Finnish Prosody / Lauri Karttunen
Research Papers
A Bilingual Corpus of Novels Aligned at Paragraph Level / Alexander Gelbukh ; Grigori Sidorov ; Jose Angel Vera-Felix
A Computational Implementation of Internally Headed Relative Clause Constructions / Jong-Bok Kim ; Peter Sells ; Jaehyung Yang
A Corpus-Based Empirical Account of Adverbial Clauses Across Speech and Writing in Contemporary British English / Alex Chengyu Fang
A Korean Syntactic Parser Customized for Korean-English Patent MT System / Chang-Hyun Kim ; Munpyo Hong
A Scalable and Distributed NLP Architecture for Web Document Annotation / Julien Deriviere ; Thierry Hamon ; Adeline Nazarenko
A Straightforward Method for Automatic Identification of Marginalized Languages / Ana Lilia Reyes-Herrera ; Luis Villasenor-Pineda ; Manuel Montes-y-Gomez
A Text Mining Approach for Definition Question Answering / Claudia Denicia-Carral ; Rene Garcia-Hernandez
Accommodating Multiword Expressions in an Arabic LFG Grammar / Mohammed A. Attia
Analysis of EU Languages Through Text Compression / Kimmo Kettunen ; Markus Sadeniemi ; Tiina Lindh-Knuutila ; Timo Honkela
Applying Latent Dirichlet Allocation to Automatic Essay Grading / Tuomo Kakkonen ; Niko Myller ; Erkki Sutinen
Automatic Acquisition of Semantic Relationships from Morphological Relatedness / Delphine Bernhard
Automatic Feature Extraction for Question Classification Based on Dissimilarity of Probability Distributions / David Tomas ; Jose L. Vicedo ; Empar Bisbal ; Lidia Moreno
Cat3LB and Cast3LB: From Constituents to Dependencies / Montserrat Civit ; Ma. Antonia Marti ; Nuria Bufi
Classification of News Web Documents Based on Structural Features / Shisanu Tongchim ; Virach Sornlertlamvanich ; Hitoshi Isahara
Cognition and Physio-acoustic Correlates-Audio and Audio-Visual Effects of a Short English Emotional Statement: On JL2, FL2 and EL1 / Toshiko Isei-Jaakkola
Compiling Generalized Two-Level Rules and Grammars / Anssi Yli-Jyra ; Kimmo Koskenniemi
Computer Analysis of the Turkmen Language Morphology / A. Cuneyd Tantug ; Esref Adah ; Kemal Oflazer
Coordination Structures in a Typed Feature Structure Grammar: Formalization and Implementation
Cue-Based Interpretation of Customer's Requests: Analysis of Estonian Dialogue Corpus / Tiit Hennoste ; Olga Gerassimenko ; Riina Kasterpalu ; Mare Koit ; Andriela Raabis ; Krista Strandson ; Maret Valdisoo
Czech-English Phrase-Based Machine Translation / Ondrej Bojar ; Evgeny Matusov ; Hermann Ney
Deep vs. Shallow Semantic Analysis Applied to Textual Entailment Recognition / Oscar Ferrandez ; Rafael Munoz ; Patricio Martinez-Barco ; Manuel Palomar
Dictionary-Free Morphological Classifier of Russian Nouns / Igor A. Bolshakov ; Elena I. Bolshakova
Discourse Segmentation of German Written Texts / Harald Lungen ; Csilla Puskas ; Maja Barenfanger ; Mirco Hilbert ; Henning Lobin
Document Clustering Based on Maximal Frequent Sequences / Edith Hernandez-Reyes ; Jesus A. Carrasco-Ochoa ; Jose Fco. Martinez-Trinidad
Enriching Thesauri with Hierarchical Relationships by Pattern Matching in Dictionaries / Lourdes Araujo ; Jose R. Perez-Aguera
Evaluation of Alignment Methods for HTML Parallel Text / Enrique Sanchez-Villamil ; Susana Santos-Anton ; Sergio Ortiz-Rojas ; Mikel L. Forcada
Experiments in Passage Selection and Answer Identification for Question Answering / Horacio Saggion ; Robert Gaizauskas
Extracting Idiomatic Hungarian Verb Frames / Balint Sass
Extracting Term Collocations for Directing Users to Informative Web Pages / Eiko Yamamoto
Feasibility of Enriching a Chinese Synonym Dictionary with a Synchronous Chinese Corpus / Oi Yee Kwong ; Benjamin K. Tsou
Finding Spanish Syllabification Rules with Decision Trees / John Goddard ; Rene MacKinney-Romero
Identifying Text Discourse Structure of the Narratives Describing Psychiatric Patients' Defense Mechanisms / Eunmi Ham ; Woojin Paik
Implementing a Rule-Based Speech Synthesizer on a Mobile Platform / Tuomo Saarni ; Jyri Paakkulainen ; Tuomas Makila ; Jussi Hakokari ; Olli Aaltonen ; Jouni Isoaho ; Tapio Saakoski
Improving Phrase-Based Statistical Translation Through Combination of Word Alignments / Boxing Chen ; Marcello Federico
Improving Statistical Word Alignments with Morpho-syntactic Transformations / Adria de Gispert ; Deepa Gupta ; Maja Popovic ; Patrik Lambert ; Jose B. Marino ; Rafael Banchs
Improving Term Extraction with Terminological Resources / Sophie Aubin
Improving Thai Spelling Recognition with Tone Features / Chutima Pisarn ; Thanaruk Theeramunkong
Incorporating External Information in Bayesian Classifiers Via Linear Feature Transformations / Tapio Pahikkala ; Jorma Boberg ; Aleksandr Myllari ; Tapio Salakoski
Is a Morphologically Complex Language Really That Complex in Full-Text Retrieval? / Eija Airio
Language Independent Answer Prediction from the Web / Alejandro Figueroa ; Gunter Neumann
Language Model Mixtures for Contextual Ad Placement in Personal Blogs / Gilad Mishne ; Maarten de Rijke
Local Constraints on Arabic Word Order / Allan Ramsay ; Hanady Mansour
MEDITE: A Unilingual Textual Aligner / Julien Bourdaillet ; Jean-Gabriel Ganascia
Maximum Likelihood Alignment of Translation Equivalents / Saba Amsalu
Measuring Intelligibility of Japanese Learner English / Emi Izumi ; Kiyotaka Uchimoto
Morphological Lexicon Extraction from Raw Text Data / Markus Forsberg ; Harald Hammarstrom ; Aarne Ranta
On the Use of Topic Models for Word Completion / Elisabeth Wolf ; Shankar Vembu ; Tristan Miller
Ord i Dag: Mining Norwegian Daily Newswire / Unni Cathrine Eiken ; Anja Therese Liseth ; Hans Friedrich Witschel ; Matthias Richter ; Chris Biemann
Paraphrase Identification on the Basis of Supervised Machine Learning Techniques / Zornitsa Kozareva ; Andres Montoyo
Passage Filtering for Open-Domain Question Answering / Elisa Noguera ; Fernando Llopis ; Antonio Ferrdndez
Persian in MULTEXT-East Framework / Behrang QasemiZadeh ; Saeed Rahimi
Prerequisites for a Comprehensive Dictionary of Serbian Compounds / Cvetana Krstev ; Dusko Vitas ; Agata Savary
Regular Approximation of Link Grammar / Filip Ginter ; Sampo Pyysalo
Segmental Duration in Utterance-Initial Environment: Evidence from Finnish Speech Corpora
Selection Strategies for Multi-label Text Categorization / Arturo Montejo-Raez ; Luis Alfonso Urena-Lopez
Some Problems of Prepositional Phrases in Machine Translation / Xiaohong Wu ; Sylviane Cardey ; Peter Greenfield
Speech Confusion Index (O): A Recognition Rate Indicator for Dysarthric Speakers / Prakasith Kayasith ; Nuttakorn Thubthong
Statistical Machine Translation of German Compound Words / Daniel Stein
Summarizing Documents in Context: Modeling the User's Information Need / Yllias Chali
Supervised TextRank / Fermin Cruz ; Jose A. Troyano ; Fernando Enriquez
Tagging a Morphologically Complex Language Using Heuristics / Hrafn Loftsson
Terminology Structuring Through the Derivational Morphology / Natalia Grabar ; Thierry Harnon
Text Segmentation Criteria for Statistical Machine Translation / Mauro Cettolo
The Classificatim Sense-Mining System / Mounira Bioud ; Aleksandra Dziadkiewicz ; Kyoko Kuroda ; Izabel Marcelino ; Ciprian Melian ; Helena Morgadinho ; Guillaume Robardet ; Severine Vienney
The Role of Verb Sense Disambiguation in Semantic Role Labeling / Paloma Moreda
The Vowel Game: Continuous Real-Time Visualization for Pronunciation Learning with Vowel Charts / Annu Paganus ; Vesa-Petteri Mikkonen ; Tomi Mantyla ; Sami Nuuttila
Towards a Framework for Evaluating Syntactic Parsers
Towards the Improvement of Statistical Translation Models Using Linguistic Features / Alicia Perez ; Ines Torres ; Francisco Casacuberta
Treating Unknown Light Verb Construction in Korean-to-English Patent MT / Sang-Kyu Park
Trees as Contexts in Formal Language Generation / Adrian-Horia Dediu ; Gabriela Martin
Two String-Based Finite-State Models of the Semantics of Calendar Expressions / Jyrki Niemi ; Lauri Carlson
Using Alignment Templates to Infer Shallow-Transfer Machine Translation Rules / Felipe Sanchez-Martinez
Author Index
Keynote Addresses
Recursion in Natural Languages / Fred Karlsson
The Explanatory Combinatorial Dictionary as the Key Tool in Machine Translation / Igor Mel'cuk
11.

電子ブック

EB
Olfa Nasraoui, Takeo Kanade, Brij Masand, Bamshad Mobasher, Myra Spiliopoulou, Philip S. Yu, Osmar Zaïane
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
12.

電子ブック

EB
Bamshad Mobasher, Takeo Kanade, Bing Liu, Brij Masand, Olfa Nasraoui
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Web Usage Analysis and User Modeling
Mining Temporally Changing Web Usage Graphs / Prasanna Desikan ; Jaideep Srivastava
Improving the Web Usage Analysis Process: A UML Model of the ETL Process / Thilo Maier
Web Personalization and Recommender Systems
Mission-Based Navigational Behaviour Modeling for Web Recommender Systems / Osmar R. Zaiane ; Jia Li ; Robert Hayward
Complete This Puzzle: A Connectionist Approach to Accurate Web Recommendations Based on a Committee of Predictors / Olfa Nasraoui ; Mrudula Pavuluri
Collaborative Quality Filtering: Establishing Consensus or Recovering Ground Truth? / Jonathan Traupman ; Robert Wilensky
Search Personalization
Spying Out Accurate User Preferences for Search Engine Adaptation / Lin Deng ; Wilfred Ng ; Xiaoyong Chai ; Dik-Lun Lee
Using Hyperlink Features to Personalize Web Search / Mehmet S. Aktas ; Mehmet A. Nacar ; Filippo Menczer
Semantic Web Mining
Discovering Links Between Lexical and Surface Features in Questions and Answers / Soumen Chakrabarti
Integrating Web Conceptual Modeling and Web Usage Mining / Rosa Meo ; Pier Luca Lanzi ; Maristella Matera ; Roberto Esposito
Boosting for Text Classification with Semantic Features / Stephan Bloehdorn ; Andreas Hotho
Markov Blankets and Meta heuristics Search: Sentiment Extraction from Unstructured Texts / Edoardo Airoldi ; Xue Bai ; Rema Padman
Author Index
Web Usage Analysis and User Modeling
Mining Temporally Changing Web Usage Graphs / Prasanna Desikan ; Jaideep Srivastava
Improving the Web Usage Analysis Process: A UML Model of the ETL Process / Thilo Maier
13.

電子ブック

EB
Frank P. M. Dignum, Rogier M. Eijk, Rogier M. van Eijk, Roberto Flores, Roberto A. Flores, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
14.

電子ブック

EB
Zhong-Zhi Shi, Takeo Kanade, R. Sadananda, Ramakoti Sadananda, Zhongzhi Shi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Agent and Grid Technologies for Intercultural Collaboration / Toru Ishida
Agent Grid Collaborative Environment / Zhongzhi Shi
An Agent-Based System Integration Architecture for Intelligent Service Robots / Jaeho Lee
DartGrid: A Semantic Grid and Application for Traditional Chinese Medicine / Zhaohui Wu
Agent Model
A Grammatical Framework for Modelling Multi-agent Dialogues / Gemma Bel-Enguix ; Maria Adela Grando ; M. Dolores Jimenez-Lopez
A Calculus for MAS Interaction Protocol / Hongbing Chen ; Qun Yang ; Manwu Xu
Synthesizing Stigmergy for Multi Agent Systems / Grant Blaise O'Reilly ; Elizabeth Ehlers
Model Checking for Epistemic and Temporal Properties of Uncertain Agents / Zining Cao
Agent Architectures
A Task Management Architecture for Control of Intelligent Robots / Byulsaim Kwak
Multi-agent Based Selfish Routing for Multi-channel Wireless Mesh Networks / Yanxiang He ; Jun Xiao
Natural Language Communication Between Human and Artificial Agents / Christel Kemke
An Extended BDI Agent with Policies and Contracts / Bei-shui Liao ; Hua-xin Huang ; Ji Gao
Agent-Oriented Software Engineering
Towards a Customized Methodology to Develop Multi-Agent Systems / Xiao Xue ; Xingquan Liu ; Rong Li
A Systematic Methodology for Adaptive Systems in Open Environments / Li-ming Wang ; Ya-chong Li
Multi-modal Services for Web Information Collection Based on Multi-agent Techniques / Qing He ; Xiurong Zhao ; Sulan Zhang
Formalizing Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Infinitely Repeated Games / Ka-man Lam ; Ho-fung Leung
Agent Grid
Reverse Auction-Based Grid Resources Allocation / Zhengyou Liang ; Yu Sun ; Ling Zhang ; Shoubin Dong
Data Grid System Based on Agent for Interoperability of Distributed Data / Youn-Gyou Kook ; Gye-Dong Jung ; Young-Keun Choi
A Layered Semantics for Mobile Computation / Jianghua Lv ; Shilong Ma ; Jing Pan ; Li Ma
Immunity and Mobile Agent Based Intrusion Detection for Grid / Xun Gong ; Tao Li ; Ji Lu ; Tiefang Wang ; Gang Liang ; Jin Yang ; Feixian Sun
Semantic Web Services
Description Logic Based Composition of Web Services / Fen Lin ; Lirong Qiu ; He Huang ; Qing Yu
A Reputation Multi-agent System in Semantic Web / Wei Wang ; Guosun Zeng ; Lulai Yuan
Ontological Modeling of Virtual Organization Agents / Lejian Liao ; Liehuang Zhu ; Jing Qiu
Parameter Evolution for Quality of Service in Multimedia Networking
Collaboration
A DDL Based Formal Policy Representation / Maoguang Wang ; Li Zeng ; Jiewen Luo
Concurrent Agent Social Strategy Diffusion with the Unification Trend / Yichuan Jiang
Exploiting Based Pre-testing in Competition Environment / Yang Bai
Teamwork Formation for Keepaway in Robotics Soccer (Reinforcement Learning Approach) / Nobuyuki Tanaka ; Sachiyo Arai
Coordination and Negotiation
Coordination of Concurrent Scenarios in Multi-agent Interaction / Rie Tanaka ; Hideyuki Nakanishi
A Multi-agent Negotiation Model Applied in Multi-objective Optimization / Chuan Shi
Model for Negotiating Prices and Due Dates with Suppliers in Make-to-Order Supply Chains / Lanshun Nie ; Xiaofei Xu ; Dechen Zhan
Interest-Based Negotiation as an Extension of Monotonic Bargaining in 3APL / Philippe Pasquier ; Frank Dignum ; Iyad Rahwan ; Liz Sonenberg
Agent Learning
Multiagent Reinforcement Learning for a Planetary Exploration Multirobot System / Zheng Zhang ; Shu-gen Ma ; Bing-gang Cao ; Li-ping Zhang ; Bin Li
An Improved Multi-agent Approach for Solving Large Traveling Salesman Problem / Yu-An Tan ; Xin-Hua Zhang ; Li-Ning Xing ; Xue-Lan Zhang ; Shu-Wu Wang
Design of Agent Registry/Repository System Based on ebXML / Il Kwang Kim ; Jae Young Lee ; Il Kon Kim
Ant Agent-Based QoS Multicast Routing in Networks with Imprecise State Information / Xin Yan ; Layuan Li
Peer to Peer Computing
Cactus: A New Constant-Degree and Fault Tolerate P2P Overlay / Chao Shui ; Huaiming Wang ; Pen Zhou ; Yan Jia
MPSS: A Multi-agents Based P2P-SIP Real Time Stream Sharing System / DeGuo Yang ; Hui Wang ; CuiRong Wang ; Yuan Gao
Dynamic Context Aware System for Ubiquitous Computing Environment / Seungkeun Lee ; Junghyun Lee
Applications
Partial Group Session Key Agreement Scheme for Mobile Agents in e-Commerce Environment / Hyun-jin Cho ; Gu Su Kim ; Young Ik Eom
Optimal Agendas for Sequential English Auctions with Private and Common Values / Yu-mei Chai ; Zhong-feng Wang
Intelligent Game Agent Based Physics Engine for Intelligent Non Player Characters / Jonghwa Choi ; Dongkyoo Shin ; Dongil Shin
Palmprint Recognition Based on Improved 2DPCA / Junwei Tao ; Wei Jiang ; Zan Gao ; Shuang Chen ; Chao Wang
Short Papers
A Combination Framework for Semantic Based Query Across Multiple Ontologies / Yinglong Ma ; Kehe Wu ; Beihong Jin ; Wei Li
Adaptive Mechanisms of Organizational Structures in Multi-agent Systems / Zheng-guang Wang ; Xiao-hui Liang ; Qin-ping Zhao
An Agent-Based Services Composition Framework for Ubiquitous Media / Yuhui Zhao ; Deguo Yang ; Cuirong Wang
A Multi-subset Possible World Semantics for Intention Operator of Agent / Shan-Li Hu ; Chun-Yi Shi
A Concurrent Agent Model Based on Twin-Subset Semantic / Youmin Ke ; Shanli Hu
The Communication Model of Migrating Workflow System / Zhaoxia Lu ; Dongming Liu ; Guangzhou Zeng ; Gongping Yang
Multi-user Human Tracking Agent for the Smart Home / Juyeon Lee
Towards Embedding Evolution into a Multi-agent Environment / Chantelle S. Ferreira ; Elizabeth M. Ehlers
A Multi-agent Framework for Collaborative Product Design / Jian Xun Wang ; Ming Xi Tang
Research on Algorithms of Gabor Wavelet Neural Network Based on Parallel Structure / Tingfa Xu ; Zefeng Nie ; Jianmin Yao ; Guoqiang Ni
A Momentum-Based Approach to Learning Nash Equilibria / Huaxiang Zhang ; Peide Liu
Model of Emotional Agent / Jun Hu ; Chun Guan
Multi Region-Tree Based Dynamic Commission Home Proxy Communication Mechanism for Mobile Agent / Zehua Zhang ; Xuejie Zhang
Research on Modeling and Description of Software Architecture of Cooperation-Oriented System / Munan Li ; Hong Peng ; Jinsong Hu
An A-Team Based Architecture for Constraint Programming / Yujun Zheng ; Lianlai Wang ; Jinyun Xue
The Efficient and Low Load Range Queries in P2P / Bing Zhou
Research of Agent Based Multiple-Granularity Load Balancing Middleware for Service-Oriented Computing / Jun Wang ; Di Zheng ; Quan-Yuan Wu
Multiagent Model for Grid Computing / Qingkui Chen ; Lichun Na
Using Two Main Arguments in Agent Negotiation / Jinghua Wu ; Guorui Jiang ; Tiyun Huang
A Frustum-Based Ocean Rendering Algorithm / Ho-Min Lee ; Christian Anthony L. Go ; Won-Hyung Lee
A Model of Video Coding Based on Multi-agent / Yang Tao ; Zhiming Liu ; Yuxing Peng
PDC-Agent Enabled Autonomic Computing: A Theory of Autonomous Service Composition / Li Jin
QoS Based Routing in Wireless Sensor Network with Particle Swarm Optimization / Xi-huang Zhang ; Wen-bo Xu
A Novel Multi-agent Automated Negotiation Model Based on Associated Intent / Weijin Jiang ; Yusheng Xu
Research on Design and Implementation of Adaptive Physics Game Agent for 3D Physics Game
An Improved TTS Model and Algorithm for Web Voice Browser / Rikun Liao ; Yuefeng Ji ; Hui Li
Network-Based Face Recognition System Using Multiple Images / Jong-Min Kim ; Hwan-Seok Yang ; Woong-Ki Lee
Reusable Component Oriented Agents: A New Architecture / W.H. Boshoff ; E.M. Ehlers
Expected Utility Maximization and Attractiveness Maximization
Modeling Negotiation in Combinatorial Auctions Based on Multi-agent / Man-Yin Shi
A Methodology for Agent Oriented Web Service Engineering / Hongen Lu ; Manish Chhabra
Deliberate Soccer Agents Powered by Resource-Bounded Argumentation / Takumi Nisikata ; Hajime Sawamura
Agent-Oriented Probabilistic Logic Programming with Fuzzy Constraints / Jie Wang ; Chunnian Liu
An Agent-Based Adaptive Monitoring System / Sungju Kwon ; Jaeyoung Choi
A Peer-to-Peer CF-Recommendation for Ubiquitous Environment / Hyea Kyeong Kim ; Kyoung Jun Lee ; Jae Kyeong Kim
Platform-Level Multiple Sensors Simulation Based on Multi-agent Interactions / Xiong Li ; Kai Wang ; Xianggang Liu ; Jiuting Duo ; Zhiming Dong
Modeling Viral Agents and Their Dynamics with Persistent Turing Machines and Cellular Automata / Jingbo Hao ; Jianping Yin ; Boyun Zhang
A Lightweight Architecture to Support Context-Aware Ubiquitous Agent System / Qiu-sheng He ; Shi-liang Tu
Towards an Agent-Based Robust Collaborative Virtual Environment for E-Learning in the Service Grid / Changqin Huang ; Fuyin Xu ; Xianghua Xu ; Xiaolin Zheng
Design of Music Recommendation System Using Context Information / Jong-Hun Kim ; Chang-Woo Song ; Kee-Wook Lim ; Jung-Hyun Lee
Semantic Grid: Interoperability Between OWL and FIPA SL / Maruf Pasha ; H. Farooq Ahmad ; Arshad Ali ; Hiroki Suguri
An Agent-Based Adaptive Task-Scheduling Model for Peer-to-Peer Computational Grids / Zhikun Zhao
Cluster-Based Secure Data Transmission Solution for Ad Hoc Network / Joung-Min Kim ; Seung-Kyu Park
Embodied Conversational Agent Based on Semantic Web / Mikako Kimura ; Yasuhiko Kitamura
Dynamic Service Composition Model for Ubiquitous Service Environments
Framework for Agent-Based Buying Decision Process / Sazalinsyah Razali ; Mashanum Osman
Improving Adaptability and Transparency of Dynamically Changing Mobile Agent Runtime Environments / JinHo Ahn ; SungMin Hur
AgentAssembly: The Agent Framework Platform / Ockmer L. Oosthuizen
A Multi-agent Architecture for CSCW Systems: From Organizational Semiotics Perspective / Wenge Rong ; Kecheng Liu
Knowledge Description Model for MAS Utilizing Distributed Ontology Repositories / Kyengwhan Jee ; Jung-Jin Yang
Object Recognition Using K-Nearest Neighbor in Object Space / Jin-Kyoung Heo ; Mang-Kyu Song
Research on Smart Multi-agent Middleware for RFID-Based Ubiquitous Computing Environment / Minwoo Son ; Joonhyung Kim
Certificate Management System in MANET for Ubiquitous Computing / Dae-Young Lee ; Sang-Hyun Bae
FPGA Based Intrusion Detection System Against Unknown and Known Attacks / Dong-Ho Kang ; Byoung-Koo Kim ; Jin-Tae Oh ; Taek-Yong Nam ; Jong-Soo Jang
Agent-Based Real Time Intrusion Detection System Against Malformed Packet Attacks / Jun-Cheol Jeon ; Eun-Yeung Choi ; Kee-Young Yoo
Efficient Mutual Authentication Scheme with Smart Card / Eun-Jun Yoon
Strong Mobility for FIPA Compliant Multi-agent Systems / Javed Iqbal ; Sarmad Sadik
Author Index
Invited Talks
Agent and Grid Technologies for Intercultural Collaboration / Toru Ishida
Agent Grid Collaborative Environment / Zhongzhi Shi
15.

電子ブック

EB
Han Poutré, Sverker Janson, Takeo Kanade, Norman M. Sadeh
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
AMEC VII 2005 / Part 1:
Learning Environmental Parameters for the Design of Optimal English Auctions with Discrete Bid Levels / A. Rogers ; E. David ; J. Schiff ; S. Kraus ; N.R. Jennings
Repeated Auctions with Complementarities / P.J. 't Hoen ; J.A. La Poutre
An Analysis of Sequential Auctions for Common and Private Value Objects / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
Algorithms for Distributed Winner Determination in Combinatorial Auctions / Muralidhar V. Narumanchi ; Jose M. Vidal
Market-Based Allocation with Indivisible Bids / L. Julian Schvartzman ; Michael P. Wellman
Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents / Yoram Bachrach ; Jeffrey S. Rosenschein
An Analysis of the Shapley Value and Its Uncertainty for the Voting Game
TAD A 2005 / Part 2:
An Analysis of the 2004 Supply Chain Management Trading Agent Competition / Christopher Kiekintveld ; Yevgeniy Vorobeychik
Identifying and Forecasting Economic Regimes in TAC SCM / Wolfgang Ketter ; John Collins ; Maria Gini ; Alok Gupta ; Paul Schrater
Socrates: A Production-Driven SCM Agent / Carlos R. Jaimez Gonzalez ; Maria Fasli
Designing and Evaluating an Adaptive Trading Agent for Supply Chain Management / Minghua He ; Alex Rogers ; Esther David
Searching for Walverine 2005 / Daniel M. Reeves ; Kevin M. Lochner ; Rahul Suri
Trading Strategies for Markets: A Design Framework and Its Application / P. Vytelingum ; R.K. Dash ; M. He ; A. Sykulski
Scaling Up the Sample Average Approximation Method for Stochastic Optimization with Applications to Trading Agents / Amy Greenwald ; Bryan Guillemette ; Victor Naroditskiy ; Michael Tschantz
Who to Listen to: Exploiting Information Quality in a ZIP-Agent Market / Dan Ladley ; Seth Bullock
AMEC VI 2004 / Part 3:
On Correctness and Privacy in Distributed Mechanisms / Felix Brandt ; Taoraas Sandholm
Author Index
AMEC VII 2005 / Part 1:
Learning Environmental Parameters for the Design of Optimal English Auctions with Discrete Bid Levels / A. Rogers ; E. David ; J. Schiff ; S. Kraus ; N.R. Jennings
Repeated Auctions with Complementarities / P.J. 't Hoen ; J.A. La Poutre
16.

電子ブック

EB
Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Takeo Kanade, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
17.

電子ブック

EB
Zoran Despotovic, Sam Joseph, Takeo Kanade, Claudio Sartori
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
18.

電子ブック

EB
José L. Balcázar, Josae Luis Balcaazar, Takeo Kanade, Philip M. Long, Frank Stephan, Frank Christian Stephan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
19.

電子ブック

EB
Yang Cai, Julio Abascal, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Human-Centric Computing / Part I:
Common Sense Reasoning - Prom Cyc to Intelligent Assistant / Kathy Panton ; Cynthia Matuszek ; Douglas Lenat ; Dave Schneider ; Michael Witbrock ; Nick Siegel ; Blake Shepard
Face for Ambient Interface / Maja Pantic
Empathic Computing / Yang Cai
Location and Activity Recognition Using eWatch: A Wearable Sensor Platform / Uwe Maurer ; Anthony Rowe ; Asim Smailagic ; Daniel Siewiorek
Ambient Interfaces / Part II:
Co-Creation in Ambient Narratives / Mark van Doorn ; Arjen P. de Vries
Living with Hyper-reality / Leonardo Bonanni
Ambient Pre-Communication / Atsunobu Kimura ; Yoshihiro Shimada ; Minoru Kobayashi
AmbientBrowser: Web Browser in Everyday Life / Satoshi Nakamura ; Mitsuru Minakuchi ; Katsumi Tanaka
Online Music Search by Tapping / Geoffrey Peters ; Diana Cukierman ; Caroline Anthony ; Michael Schwartz
Whistling to Machines / Urko Esnaola ; Tim Smithers
Speaker Identification and Speech Recognition Using Phased Arrays / Roger Xu ; Gang Mei ; ZuBing Ren ; Chiman Kwan ; Julien Aube ; Cedrick Rochet ; Vincent Stanford
Architectures in Ambient Intelligence / Part III:
A Middleware for the Deployment of Ambient Intelligent Spaces / Diego Lopez-de-Ipina ; Juan Ignacio Vazquez ; Daniel Garcia ; Javier Fernandez ; Ivan Garcia ; David Sainz ; Aitor Almeida
Ambient Interfaces for Elderly People at Home / Fausto J. Sainz Salces ; Michael Baskett ; David Llewellyn-Jones ; David England
A Smart Electric Wheelchair Using UPnP / Daniel Cascado ; Saturnino Vicente ; J. Luis Sevillano ; Claudio Amaya ; Alejandro Linares ; Gabriel Jimenez ; Anton Civit-Balcells
Collaborative Discovery Through Biological Language Modeling Interface / Madhavi Ganapathiraju ; Vijayalaxmi Manoharan ; Raj Reddy ; Judith Klein-Seetharaman
Author Index
Human-Centric Computing / Part I:
Common Sense Reasoning - Prom Cyc to Intelligent Assistant / Kathy Panton ; Cynthia Matuszek ; Douglas Lenat ; Dave Schneider ; Michael Witbrock ; Nick Siegel ; Blake Shepard
Face for Ambient Interface / Maja Pantic
20.

電子ブック

EB
Simon Parsons, Takeo Kanade, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
21.

電子ブック

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

電子ブック

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
23.

電子ブック

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

電子ブック

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

電子ブック

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
26.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
30.

電子ブック

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

電子ブック

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…
32.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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…
37.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
45.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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…
52.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
57.

電子ブック

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…
58.

電子ブック

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

電子ブック

EB
Jonathan Gratch, Ruth Aylett, Daniel Ballin, Jonathan Matthew Gratch, Takeo Kanade, Patrick Olivier, Michael Young
出版情報: 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
60.

電子ブック

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

電子ブック

EB
Jérôme Lang, Takeo Kanade, Jaer?ome Lang, Fangzhen Lin, Ju Wang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules / Jos de Bruijn ; Thomas Eiter ; Axel Polleres ; Hans Tompits
Towards a Software/Knowware Co-engineering / Ruqian Lu
Modeling and Evaluation of Technology Creation Process in Academia / Yoshiteru Nakamori
Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective / Joy Wei He ; Kwok-Kee Wei
Regular Papers
Modelling the Interaction Between Objects: Roles as Affordances / Matteo Baldoni ; Guido Boella ; Leendert van der Torre
Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks / Raquel Barco ; Pedro Lazaro ; Volker Wille ; Luis Diez
Building Conceptual Knowledge for Managing Learning Paths in e-Learning / Yu-Liang Chi ; Hsun-Ming Lee
Measuring Similarity in the Semantic Representation of Moving Objects in Video / Miyoung Cho ; Dan Song ; Chang Choi ; Pankoo Kim
A Case Study for CTL Model Update / Yulin Ding ; Yan Zhang
Modeling Strategic Beliefs with Outsmarting Belief Systems / Ronald Fadel
Marker-Passing Inference in the Scone Knowledge-Base System / Scott E. Fahlman
Hyper Tableaux - The Third Version / Shasha Feng ; Jigui Sun ; Xia Wu
A Service-Oriented Group Awareness Model and Its Implementation / Gao-feng Ji ; Yong Tang ; Yun-cheng Jiang
An Outline of a Formal Ontology of Genres / Pawel Garbacz
An OWL-based Approach for RBAC with Negative Authorization / Nuermaimaiti Heilili ; Yang Chen ; Chen Zhao ; Zhenxing Luo ; Zuoquan Lin
LCS: A Linguistic Combination System for Ontology Matching / Qiu Ji ; Weiru Liu ; Guilin Qi ; David A. Bell
Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations / Dong-Hwee Kim ; Soon-Ja Kim
On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory / Han-joon Kim
Using Word Clusters to Detect Similar Web Documents / Jonathan Koberstein ; Yiu-Kai Ng
Construction of Concept Lattices Based on Indiscernibility Matrices / Hongru Li ; Ping Wei ; Xiaoxue Song
Selection of Materialized Relations in Ontology Repository Management System / Man Li ; Xiaoyong Du ; Shan Wang
Combining Topological and Directional Information: First Results / Sanjiang Li
Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory
WWW Information Integration Oriented Classification Ontology Integrating Approach / Anxiang Ma ; Kening Gao ; Bin Zhang ; Yu Wang ; Ying Yin
Configurations for Inference Between Causal Statements / Philippe Besnard ; Marie-Odile Cordier ; Yves Moinard
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction / Abhaya Nayak ; Randy Goebel ; Mehmet Orgun ; Tam Pham
Description and Generation of Computational Agents / Roman Neruda ; Gerd Beuster
Knowledge Capability: A Definition and Research Model / Ye Ning ; Zhi-Ping Fan ; Bo Feng
Quota-Based Merging Operators for Stratified Knowledge Bases
Enumerating Minimal Explanations by Minimal Hitting Set Computation / Ken Satoh ; Takeaki Uno
Observation-Based Logic of Knowledge, Belief, Desire and Intention / Kaile Su ; Weiya Yue ; Abdul Sattar ; Mehmet A. Orgun ; Xiangyu Luo
Repairing Inconsistent XML Documents / Zijing Tan ; Wei Wang ; JianJun Xu ; Baile Shi
A Framework for Automated Test Generation in Intelligent Tutoring Systems / Suqin Tang ; Cungen Cao
A Study on Knowledge Creation Support in a Japanese Research Institute / Jing Tian ; Andrzej P. Wierzbicki ; Hongtao Ren
Identity Conditions for Ontological Analysis / Nwe Ni Tun ; Satoshi Tojo
Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System / Chao Wang ; Zhen-Qiang Bao ; Chang-Yi Li ; Fang Yang
Knowledge Contribution in the Online Virtual Community: Capability and Motivation / Chih-Chien Wang ; Cheng-Yu Lai
Effective Large Scale Ontology Mapping / Zongjiang Wang ; Yinglin Wang ; Shensheng Zhang ; Ge Shen ; Tao Du
A Comparative Study on Representing Units in Chinese Text Clustering / Hongjun Wang ; Shiwen Yu ; Xueqiang Lv ; Shuicai Shi ; Shibin Xiao
A Description Method of Ontology Change Management Using Pi-Calculus / Meiling Wang ; Longfei Jin ; Lei Liu
On Constructing Environment Ontology for Semantic Web Services / Puwei Wang ; Zhi Jin ; Lin Liu
Knowledge Reduction in Incomplete Systems Based on [gamma]-Tolerance Relation / Da-Kuan Wei
An Extension Rule Based First-Order Theorem Prover / Kun Hou
An Extended Meta-model for Workflow Resource Model / Zhijiao Xiao ; Huiyou Chang ; Sijia Wen ; Yang Yi ; Atsushi Inoue
Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems / Wei-Hua Xu ; Ming-Wen Shao ; Wen-Xiu Zhang
A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables / Dongyi Ye ; Zhaojiong Chen ; Chunyan Yu
An ICA-Based Multivariate Discretization Algorithm / Ye Kang ; Shanshan Wang ; Xiaoyan Liu ; Hokyin Lai ; Huaiqing Wang ; Baiqi Miao
An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities / Shun Ye ; Huaping Chen ; Xiaoling Jin
A Method for Evaluating the Knowledge Transfer Ability in Organization / Tian-Hui You ; Fei-Fei Li ; Zhu-Chao Yu
Information Extraction from Semi-structured Web Documents / Bo-Hyun Yun ; Chang-Ho Seo
Si-Seeker: Ontology-Based Semantic Search over Databases / Jun Zhang ; Zhaohui Peng ; Huijing Nie
Efficient Computation of Multi-feature Data Cubes / Shichao Zhang ; Rifeng Wang ; Yanping Guo
NKImathE - A Multi-purpose Knowledge Management Environment for Mathematical Concepts / Qingtian Zeng ; Hua Duan ; Yongquan Liang
Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method / Dequan Zheng ; Tiejun Zhao ; Sheng Li ; Hao Yu
Toward Formalizing Usefulness in Propositional Language / Yi Zhou ; Xiaoping Chen
Author Index
Invited Talks
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules / Jos de Bruijn ; Thomas Eiter ; Axel Polleres ; Hans Tompits
Towards a Software/Knowware Co-engineering / Ruqian Lu
62.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
67.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
72.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
77.

電子ブック

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

電子ブック

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:
79.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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…
85.

電子ブック

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

電子ブック

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…
87.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
92.

電子ブック

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…
93.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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:
97.

電子ブック

EB
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
98.

電子ブック

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:
99.

電子ブック

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

電子ブック

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