close
1.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
2.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
3.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
4.

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
21.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Yue Hao, Yiu-ming Cheung, Licheng Jiao, Yong-Chang Jiao, Takeo Kanade, Jiming Liu, Jianfeng Ma, Yu-Ping Wang, Hujun Yin
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
36.

電子ブック

EB
Yue Hao, Yiu-ming Cheung, Licheng Jiao, Yong-Chang Jiao, Takeo Kanade, Jiming Liu, Jianfeng Ma, Yuping Wang, Hujun Yin
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
37.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Lipo Wang, Yaochu Jin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
62.

電子ブック

EB
Lipo Wang, Yaochu Jin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
63.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
R. Ramanujam, Takeo Kanade, Sundar Sarukkai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré
Some Second Order Set Theory (Invited Talk) / Joel David Hamkins
Connection Matrices for MSOL-Definable Structural Invariants (Invited Talk) / Johann Makowsky
Knowledge, Games and Tales from the East (Invited Talk) / Rohit Parikh
A Para Consistent Fuzzy Logic (Invited Talk) / Esko Turunen
From Philosophical to Industrial Logics (Invited Talk) / Moshe Y. Vardi
Game Quantification Patterns / Dietmar Berwanger ; Sophie Pinchinat
Extensive Questions: From Research Agendas to Interrogative Strategies / Emmanuel J. Genot
An Analytic Logic of Aggregation / Patrick Girard ; Jeremy Seligman
Instantial Relevance in Polyadic Inductive Logic / Jürgen Landes ; Jeff Paris ; Alena Vencouská
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic / Yoshihiro Maruyama
A General Setting for the Pointwise Investigation of Determinacy / Yurii Khomskii
A Two-Dimensional Hybrid Logic of Subset Spaces / Yi N. Wang
A Unified Framework for Certificate and Compilation for QBF / Igor Stéphan ; Benoit Da Mota
Towards Decidability of Conjugacy of Pairs and Triples / Benny George Kenkireth ; Samrith Ram
Gautama - Ontology Editor Based on Nyaya Logic / G.S. Mahalakshmi ; T. V. Geetha ; Arun Kumar ; Dinesh Kumar ; S. Manikandan
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
The Art of Non-asserting: Dialogue with N&abar;g&abar;rjuna / Marie-Hélène Gorisse
Author Index
Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré
Some Second Order Set Theory (Invited Talk) / Joel David Hamkins
75.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Marcos Faundez-Zanuy, Virginia Espinosa-Duro, Anna Esposito, Marcos Faúndez Zanuy, Léonard Janer, Takeo Kanade, Josep Roure, Antonio Satue-Villar
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
88.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Takahira Yamaguchi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Knowledge Exploratory for Service Management and Innovation / Yoshinori Hara
From Corporate Memory to Corporate Knowledge / Dennis Tsichritzis
Knowledge Sharing
Behavior and Social Influence in Knowledge Sharing: Intention Formation and the Moderating Role of Knowledge Type / Joseph C. Shih ; C.K. Farn
A Lightweight Approach for Knowledge Sharing in Distributed Software Teams / Walid Maalej ; Hans-Jorg Happel
Collaboration-Oriented Knowledge Management Using Interaction Patterns / Ulrich Reimer ; Uwe Heck ; Stephan Streit
Collaboration Platforms
The Right Expert at the Right Time and Place: From Expertise Identification to Expertise Selection / Pavel Serdyukov ; Ling Feng ; Arthur van Bunningen ; Sander Evers ; Harold van Heerde ; Peter Apers ; Maarten Fokkinga ; Djoerd Hiemstra
Semantic and Event-Based Approach for Link Prediction / Till Wohlfarth ; Ryutaro Ichise
Social Semantic Bookmarking / Simone Braun ; Valentin Zacharias
Content-Oriented Retrieval
Closing Information Gaps with Inverse Search
Representing and Retrieving Knowledge Artifacts / Rosina Weber ; Sid Gunawardena ; George Abraham
Knowledge Acquisition
Extracting Advantage Phrases That Hint at a New Technology's Potentials / Risa Nishiyama ; Hironori Takeuchi ; Tetsuya Nasukawa ; Hideo Watanabe
Extracting Causal Knowledge Using Clue Phrases and Syntactic Patterns / Hiroki Sakaji ; Satoshi Sekine ; Shigeru Masuyama
Context-Based Text Mining for Insights in Long Documents / Shiho Ogino ; Yoshiko Shirata
Knowledge Management Solutions
A Knowledge Management Approach for Structural Capital / Dimitris Karagiannis ; Florian Waldner ; Anita Stoeger ; Marin Nemetz
Developing a Reference Method for Knowledge Auditing / Theodoros Levantakis ; Remko Helms ; Marco Spruit
An Empirical Study on the Correlation between Knowledge Management Level and Efficiency in Ceramic Tile Industry / Gholamreza Khoshsima ; Mehdi Ebrahiminejad
Knowledge Mining from Data, Text and the Web
Web-Based Knowledge Database Construction Method for Supporting Design / Kiyotaka Takahashi ; Aki Sugiyama ; Yoshiki Shimomura ; Takeshi Tateyama ; Ryosuke Chiba ; Masaharu Yoshioka ; Hideaki Takeda
Classifying Digital Resources in a Practical and Coherent Way with Easy-to-Get Features / Chong Chen ; Hongfei Yan ; Xiaoming Li
Finding Functional Groups of Objective Rule Evaluation Indices Using PCA / Hidenao Abe ; Shusaku Tsumoto ; Miho Ohsaki ; Takahira Yamaguchi
Ontology
Organizational Knowledge Transfer of Intelligence Skill Using Ontologies and a Rule-Based System / Masao Okabe ; Masahiko Yanagisawa ; Hiroshi Yamazaki ; Keido Kobayashi ; Akiko Yoshioka
Ontology Based Object Categorization for Robots / Benjamin Johnston ; Fangkai Yang ; Rogan Mendoza ; Xiaoping Chen ; Mary-Anne Williams
Ontology-Based Expertise Finding / Maryam Fazel-Zarandi ; Eric Yu
Knowledge Utilization
Design for Learning and Teaching: A Knowledge-Based Approach to Design Products / Mahmoud Moradi ; Stephane Brunel ; Marc Zolghadri ; Bruno Vallespir
Towards "Kiga-kiku" Services on Speculative Computation / Naoki Fukuta ; Ken Satoh
Context Model Based CF Using HMM for Improved Recommendation / Jong-Hun Kim ; Chang-Woo Song ; Kyung-Yong Chung ; Un-Gu Kang ; Kee-Wook Rim ; Jung-Hyun Lee
Author Index
Invited Papers
Knowledge Exploratory for Service Management and Innovation / Yoshinori Hara
From Corporate Memory to Corporate Knowledge / Dennis Tsichritzis
92.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Paul Vogt, Takeo Kanade, Chrystopher Nehaniv, Yuuya Sugita, Elio Tuci
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼