close
1.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
Characteristics / II:
Speaker Characteristics / Tanja Schultz
Foreign Accent / Ulrike Gut
Acoustic Analysis of Adult Speaker Age / Susanne Schotz
Speech Under Stress: Analysis, Modeling and Recognition / John H.L. Hansen ; Sanjay Patil
Speaker Characteristics and Emotion Classification / Anton Batliner ; Richard Huber
Emotions in Speech: Juristic Implications / Erik J. Eriksson ; Robert D. Rodman ; Robert C. Hubal
Applications / III:
Application of Speaker Classification in Human Machine Dialog Systems / Felix Burkhardt
Speaker Classification in Forensic Phonetics and Acoustics / Michael Jessen
Forensic Automatic Speaker Classification in the "Coming Paradigm Shift" / Joaquin Gonzalez-Rodriguez ; Daniel Ramos
The Many Roles of Speaker Classification in Speaker Verification and Identification / Judith Markowitz
Methods and Features / IV:
Frame Based Features / Stefan Schacht ; Jacques Koreman ; Christoph Lauer ; Andrew Morris ; Dalei Wu ; Dietrich Klakow
Higher-Level Features in Speaker Recognition / Elizabeth Shriberg
Enhancing Speaker Discrimination at the Feature Level / Andrew C. Morris
Classification Methods for Speaker Recognition / D.E. Sturim ; W.M. Campbell ; D.A. Reynolds
Multi-stream Fusion for Speaker Classification / Izhak Shafran
Evaluation / V:
Evaluations of Automatic Speaker Classification Systems / Alvin F. Martin
An Introduction to Application-Independent Evaluation of Speaker Recognition Systems / David A. van Leeuwen ; Niko Brummer
Author Index
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
2.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Study of Acoustic Correlates of Speaker Age / Susanne Schotz ; Christian Muller
The Impact of Visual and Auditory Cues in Age Estimation / Kajsa Amilon ; Joost van de Weijer
Development of a Femininity Estimator for Voice Therapy of Gender Identity Disorder Clients / Nobuaki Minematsu ; Kyoko Sakuraba
Real-Life Emotion Recognition in Speech / Laurence Devillers ; Laurence Vidrascu
Automatic Classification of Expressiveness in Speech: A Multi-corpus Study / Mohammad Shami ; Werner Verhelst
Acoustic Impact on Decoding of Semantic Emotion / Erik J. Eriksson ; Felix Schaeffler ; Kirk P.H. Sullivan
Emotion from Speakers to Listeners: Perception and Prosodic Characterization of Affective Speech / Catherine Mathon ; Sophie de Abreu
Effects of the Phonological Contents on Perceptual Speaker Identification / Kanae Amino ; Takayuki Arai ; Tsutomu Sugawara
Durations of Context-Dependent Phonemes: A New Feature in Speaker Verification / Charl Johannes van Heerden ; Etienne Barnard
Language-Independent Speaker Classification over a Far-Field Microphone / Jerome R. Bellegarda
A Linear-Scaling Approach to Speaker Variability in Poly-segmental Formant Ensembles / Frantz Clermont
Sound Change and Speaker Identity: An Acoustic Study / Gea de Jong ; Kirsty McDougall ; Francis Nolan
Bayes-Optimal Estimation of GMM Parameters for Speaker Recognition / Guillermo Garcia ; Sung-Kyo Jung ; Thomas Eriksson
Speaker Individualities in Speech Spectral Envelopes and Fundamental Frequency Contours / Tatsuya Kitamura ; Masato Akagi
Speaker Segmentation for Air Traffic Control / Michael Neffe ; Tuan Van Pham ; Horst Hering ; Gernot Kubin
Detection of Speaker Characteristics Using Voice Imitation / Elisabeth Zetterholm
Reviewing Human Language Identification / Masahiko Komatsu
Underpinning/nailon/: Automatic Estimation of Pitch Range and Speaker Relative Pitch / Jens Edlund ; Mattias Heldner
Automatic Dialect Identification: A Study of British English / Emmanuel Ferragne ; Francois Pellegrino
ACCDIST: An Accent Similarity Metric for Accent Recognition and Diagnosis / Mark Huckvale
Selecting Representative Speakers for a Speech Database on the Basis of Heterogeneous Similarity Criteria / Sacha Krstulovic ; Frederic Bimbot ; Olivier Boeffard ; Delphine Charlet ; Dominique Fohr ; Odile Mella
Speaker Classification by Means of Orthographic and Broad Phonetic Transcriptions of Speech / Christophe Van Bael ; Hans van Halteren
Author Index
A Study of Acoustic Correlates of Speaker Age / Susanne Schotz ; Christian Muller
The Impact of Visual and Auditory Cues in Age Estimation / Kajsa Amilon ; Joost van de Weijer
Development of a Femininity Estimator for Voice Therapy of Gender Identity Disorder Clients / Nobuaki Minematsu ; Kyoko Sakuraba
3.

電子ブック

EB
Khaled Mellouli, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
4.

電子ブック

EB
Manuel Kauers, Manfred Kerber, Robert Miner, Jörg Siekmann, Wolfgang Windsteiger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Contributions to Calculemus 2007
Executing in Common Lisp, Proving in ACL2 / Mirian Andres ; Laureano Lamban ; Julio Rubio
A Rational Reconstruction of a System for Experimental Mathematics / Jacques Carette ; William M. Farmer ; Volker Sorge
Context Aware Calculation and Deduction / Amine Chaieb ; Makarius Wenzel
Towards Constructive Homological Algebra in Type Theory / Thierry Coquand and Arnaud Spiwack
What Might "Understand a Function" Mean? / James H. Davenport
Biform Theories in Chiron
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic / Predrag Janicic ; Alan Bundy
Certified Computer Algebra on Top of an Interactive Theorem Prover / Cezary Kaliszyk ; Freek Wiedijk
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators / Elena Kartashova ; Scott McCallum
Rule-Based Simplification in Vector-Product Spaces / Songxin Liang ; David J. Jeffrey
Contributions to MKM 2007
Mathematics and Scientific Markup / Peter Murray Rust
The On-Line Encyclopedia of Integer Sequences / Neil J.A. Sloane
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems / Miguel A. Abanades ; Jesus Escribano ; Francisco Botana
Higher Order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case / Andrea Asperti ; Enrico Tassi
A Framework for Interactive Proof / David Aspinall ; Christoph Luth ; Daniel Winterstein
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems / Serge Autexier ; Armin Fiedler ; Thomas Neumann ; Marc Wagner
Mizar Course in Logic and Set Theory / Ewa Borak ; Anna Zalewska
Using Formal Concept Analysis in Mathematical Discovery / Simon Colton ; Daniel Wagner
Cooperative Repositories for Formal Proofs / Pierre Corbineau
Revisions as an Essential Tool to Maintain Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
The Layers of Logiweb / Klaus Grue
Formal Representation of Mathematics in a Dependently Typed Set Theory / Feryal Fulya Horozal ; Chad E. Brown
Restoring Natural Language as a Computerised Mathematics Input Method / Fairouz Kamareddine ; Robert Lamar ; Manuel Maarek ; J.B. Wells
Narrative Structure of Mathematical Texts / Krzysztof Retel
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch / Andrea Kohlhase ; Michael Kohlhase
Alternative Aggregates in Mizar / Gilbert Lee ; Piotr Rudnicki
An Approach to Mathematical Search Through Query Formulation and Data Normalization / Robert Miner ; Rajesh Munavalli
Extended Formula Normalization for [epsilon]-Retrieval and Sharing of Mathematical Knowledge / Immanuel Normann
Towards Mathematical Knowledge Management for Electrical Engineering / Agnieszka Rowinska-Schwarzweller
Spurious Disambiguation Error Detection / Claudio Sacerdoti Coen ; Stefano Zacchiroli
Methods of Relevance Ranking and Hit-Content Generation in Math Search / Abdou S. Youssef
Author Index
Contributions to Calculemus 2007
Executing in Common Lisp, Proving in ACL2 / Mirian Andres ; Laureano Lamban ; Julio Rubio
A Rational Reconstruction of a System for Experimental Mathematics / Jacques Carette ; William M. Farmer ; Volker Sorge
5.

電子ブック

EB
Malte Helmert, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Planning Benchmarks / Part I:
The Role of Benchmarks / 1:
Evaluating Planner Performance / 1.1:
Worst-Case Evaluation / 1.1.1:
Average-Case Evaluation / 1.1.2:
Planning Benchmarks Are Important / 1.2:
Theoretical Analyses of Planning Benchmarks / 1.3:
Why Theoretical Analyses Are Useful / 1.3.1:
Published Results on Benchmark Complexity / 1.3.2:
Standard Benchmarks / 1.4:
Summary and Overview / 1.5:
Defining Planning Domains / 2:
Optimization Problems / 2.1:
Minimization Problems / 2.1.1:
Approximation Algorithms / 2.1.2:
Approximation Classes / 2.1.3:
Reductions / 2.1.4:
Formalizing Planning Domains / 2.2:
General Results and Reductions / 2.3:
Upper Bounds / 2.3.1:
Shortest Plan Length / 2.3.2:
Approximation Classes of Limited Interest / 2.3.3:
Relating Planning and (Bounded) Plan Existence / 2.3.4:
Generalization and Specialization / 2.3.5:
The Benchmark Suite / 3:
Defining the Competition Domains / 3.1:
IPC1 Domains / 3.2:
IPC2 Domains / 3.2.2:
IPC3 Domains / 3.2.3:
IPC4 Domains / 3.2.4:
Domains and Domain Families / 3.3:
Transportation and Route Planning / 4:
Transport and Route / 4.1:
The Transport Domain / 4.1.1:
The Route Domain / 4.1.2:
Special Cases and Hierarchy / 4.1.3:
General Results / 4.2:
Plan Existence / 4.3:
Hardness of Optimization / 4.4:
Constant Factor Approximation / 4.5:
Hardness of Constant Factor Approximation / 4.6:
Summary / 4.7:
Beyond Transport and Route / 4.8:
IPC Domains: Transportation and Route Planning / 5:
Gripper / 5.1:
Mystery and Mystery Prime / 5.2:
Logistics / 5.3:
Zenotravel / 5.4:
Depots / 5.5:
Miconic-10 / 5.6:
Rovers / 5.7:
Grid / 5.8:
Driverlog / 5.9:
Airport / 5.10:
IPC Domains: Others / 5.11:
Assembly / 6.1:
Blocksworld / 6.2:
Freecell / 6.3:
Movie / 6.4:
Pipesworld / 6.5:
Promela / 6.6:
PSR / 6.7:
Satellite / 6.8:
Schedule / 6.9:
Conclusions / 6.10:
Ten Conclusions / 7.1:
Going Further / 7.2:
Fast Downward / Part II:
Solving Planning Tasks Hierarchically / 8:
Introduction / 8.1:
Related Work / 8.2:
Causal Graphs and Abstraction / 8.2.1:
Causal Graphs and Unary STRIPS Operators / 8.2.2:
Multi-Valued Planning Tasks / 8.2.3:
Architecture and Overview / 8.3:
Translation / 9:
PDDL and Multi-valued Planning Tasks / 9.1:
Translation Overview / 9.2:
Normalization / 9.3:
Compiling Away Types / 9.3.1:
Simplifying Conditions / 9.3.2:
Simplifying Effects / 9.3.3:
Normalization Result / 9.3.4:
Invariant Synthesis / 9.4:
Initial Candidates / 9.4.1:
Proving Invariance / 9.4.2:
Refining Failed Candidates / 9.4.3:
Examples / 9.4.4:
Grounding / 9.4.5:
Overview of Horn Exploration / 9.5.1:
Generating the Logic Program / 9.5.2:
Translating the Logic Program to Normal Form / 9.5.3:
Computing the Canonical Model / 9.5.4:
Axiom and Operator Instantiation / 9.5.5:
Multi-valued Planning Task Generation / 9.6:
Variable Selection / 9.6.1:
Converting the Initial State / 9.6.2:
Converting Operator Effects / 9.6.3:
Converting Conditions / 9.6.4:
Computing Axiom Layers / 9.6.5:
Generating the Output / 9.6.6:
Performance Notes / 9.7:
Relative Performance Compared to MIPS Translator / 9.7.1:
Absolute Performance / 9.7.2:
Knowledge Compilation / 10:
Overview / 10.1:
Domain Transition Graphs / 10.2:
Causal Graphs / 10.3:
Acyclic Causal Graphs / 10.3.1:
Generating and Pruning Causal Graphs / 10.3.2:
Causal Graph Examples / 10.3.3:
Successor Generators and Axiom Evaluators / 10.4:
Successor Generators / 10.4.1:
Axiom Evaluators / 10.4.2:
Search / 11:
The Causal Graph Heuristic / 11.1:
Conceptual View of the Causal Graph Heurstic / 11.2.1:
Computation of the Causal Graph Heuristic / 11.2.2:
States with Infinite Heuristic Value / 11.2.3:
Helpful Transitions / 11.2.4:
The FF Heuristic / 11.3:
Greedy Best-First Search in Fast Downward / 11.4:
Preferred Operators / 11.4.1:
Deferred Heuristic Evaluation / 11.4.2:
Multi-heuristic Best-First Search / 11.5:
Focused Iterative-Broadening Search / 11.6:
Experiments / 12:
Experiment Design / 12.1:
Benchmark Set / 12.1.1:
Experiment Setup / 12.1.2:
Translation and Knowledge Compilation vs. Search / 12.1.3:
Strips Domains from IPC1-3 / 12.2:
ADL Domains from IPC1-3 / 12.3:
Domains from IPC4 / 12.4:
Conclusions from the Experiment / 12.5:
Discussion / 13:
Major Contributors / 13.1:
Multi-valued Representations / 13.2.1:
Task Decomposition Heuristics / 13.2.2:
Minor Contributions / 13.3:
References / 13.4:
Index
Planning Benchmarks / Part I:
The Role of Benchmarks / 1:
Evaluating Planner Performance / 1.1:
6.

電子ブック

EB
Changjie Tang, Nick J. Cercone, Xue Li, Charles X. Ling, Jörg Siekmann, Xiaofang Zhou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Regular Papers
Improving Angle Based Mappings / Frank Rehm ; Frank Klawonn
Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks / Manolis Maragoudakis ; Nikolaos Cosmas ; Aristogiannis Garbis
Boosting over Groups and Its Application to Acronym-Expansion Extraction / Weijian Ni ; Yalou Huang ; Dong Li ; Yang Wang
A Genetic-Based Feature Construction Method for Data Summarisation / Rayner Alfred
Suicidal Risk Evaluation Using a Similarity-Based Classifier / S. Chattopadhyay ; P. Ray ; H.S. Chen ; M.B. Lee ; H.C. Chiang
Gene Selection for Cancer Classification Using DCA / Hoai An Le Thi ; Van Vinh Nguyen ; Samir Ouchani
FARS: A Multi-relational Feature and Relation Selection Approach for Efficient Classification / Bo Hu ; Hongyan Liu ; Jun He ; Xiaoyong Du
Enhancing Text Categorization Using Sentence Semantics / Shady Shehata ; Fakhri Karray ; Mohamed Kamel
Mining Evolving Web Sessions and Clustering Dynamic Web Documents for Similarity-Aware Web Content Management / Jitian Xiao
Data Quality in Privacy Preservation for Associative Classification / Nattapon Harnsamut ; Juggapong Natwichai ; Xingzhi Sun ; Xue Li
Timeline Analysis of Web News Events / Jiangtao Qiu ; Chuan Li ; Shaojie Qiao ; Taiyong Li ; Jun Zhu
Analysis of Alarm Sequences in a Chemical Plant / Savo Kordic ; Peng Lam ; Huaizhong Li
Speed Up SVM Algorithm for Massive Classification Tasks / Thanh-Nghi Do ; Van-Hoa Nguyen ; Francois Poulet
Mining Supplemental Frequent Patterns / Yintian Liu ; Yingming Liu ; Tao Zeng ; Kaikuo Xu ; Rong Tang
A Distributed Privacy-Preserving Association Rules Mining Scheme Using Frequent-Pattern Tree / Chunhua Su ; Kouichi Sakurai
Dichotomy Method toward Interactive Testing-Based Fault Localization / Ji-Rong Sun ; Zhi-Shu Li ; Jian-Cheng Ni
Maintaining the Maximum Normalized Mean and Applications in Data Stream Mining / Jan Peter Patist
Identification of Interface Residues Involved in Protein-Protein Interactions Using Naive Bayes Classifier / Chishe Wang ; Jiaxing Cheng ; Shoubao Su ; Donzhe Xu
Negative Generator Border for Effective Pattern Maintenance / Mengling Feng ; Jinyan Li ; Limsoon Wong ; Yap-Peng Tan
CommTracker: A Core-Based Algorithm of Tracking Community Evolution / Yi Wang ; Bin Wu ; Xin Pei
Face Recognition Using Clustering Based Optimal Linear Discriminant Analysis / Wenxin Yang ; Shuqin Rao ; Jina Wang ; Jian Yin ; Jian Chen
A Novel Immune Based Approach for Detection of Windows PE Virus / Yu Zhang ; Tao Li ; Jia Sun ; Renchao Qin
Using Genetic Algorithms for Parameter Optimization in Building Predictive Data Mining Models / Ashish Sureka ; Kishore Varma Indukuri
Using Data Mining Methods to Predict Personally Identifiable Information in Emails / Liqiang Geng ; Larry Korba ; Xin Wang ; Yunli Wang ; Hongyu Liu ; Yonghua You
Iterative Reinforcement Cross-Domain Text Classification / Di Zhang ; Gui-Rong Xue ; Yong Yu
Extracting Decision Rules from Sigmoid Kernel / Quanzhong Liu ; Yang Zhang ; Zhengguo Hu
DMGrid: A Data Mining System Based on Grid Computing / Liutong Xu ; Guanhui Geng ; Xiangang Zhao ; Nan Du
S-SimRank: Combining Content and Link Information to Cluster Papers Effectively and Efficiently / Yuanzhe Cai ; Pei Li
Open Domain Recommendation: Social Networks and Collaborative Filtering / Sarah K. Tyler ; Yi Zhang
An Effective Approach for Identifying Evolving Three-Dimensional Structural Motifs in Protein Folding Data / Hui Yang ; Lin Han
Texture Image Retrieval Based on Contourlet Transform and active Perceptual Similarity Learning / Huaijing Qu ; Yuhua Peng ; Honglin Wan ; Min Han
A Temporal Dominant Relationship Analysis Method / Jing Yang ; Yuanxi Wu ; Cuiping Li ; Hong Chen ; Bo Qu
Leakage-Aware Energy Efficient Scheduling for Fixed-Priority Tasks with Preemption Thresholds / XiaoChuan He ; Yan Jia
Short Papers
Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters / JiaDong Zhang ; Kun Yue ; WeiYi Liu
TARtool: A Temporal Dataset Generator for Market Basket Analysis / Asem Omari ; Regina Langer ; Stefan Conrad
Dimensionality Reduction for Classification: Comparison of Techniques and Dimension Choice / Frank Plastria ; Steven De Bruyne ; Emilio Carrizosa
Trajectories Mining for Traffic Condition Renewing / Danhuai Guo
Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications / Lian Yu ; Changzhu Kong ; Lei Xu ; Jingtao Zhao ; HuiHui Zhang
Test the Overall Significance of p-Values by Using Joint Tail Probability of Ordered p-Values as Test Statistic / Yongxiang Fang ; Ernst Wit
Mining Interesting Infrequent and Frequent Itemsets Based on MLMS Model / Xiangjun Dong ; Zhendong Niu ; Donghua Zhu ; Zhiyun Zheng ; Qiuting Jia
Text Learning and Hierarchical Feature Selection in Webpage Classification / Xiaogang Peng ; Zhong Ming ; Haitao Wang
The RSO Algorithm for Reducing Number of Set Operations in Association Rule Mining / Muhammad Sarwar ; Onaiza Maqbool
Predictive Performance of Clustered Feature-Weighting Case-Based Reasoning / Sung Ho Ha ; Jong Sik Jin ; Jeong Won Yang
Selecting the Right Features for Bipartite-Based Text Clustering / Chao Qu ; Yong Li ; Jie Zhang ; Tianming Hu ; Qian Chen
Image Emotional Classification Based on Color Semantic Description / Kaiping Wei ; Bin He ; Tao Zhang ; Wenya He
A Semi-supervised Clustering Algorithm Based on Must-Link Set / Haichao Huang ; Yong Cheng ; Ruilian Zhao
T-rotation: Multiple Publications of Privacy Preserving Data Sequence / Youdong Tao ; Yunhai Tong ; Shaohua Tan ; Shiwei Tang ; Dongqing Yang
The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress / Jian-guo Zhou ; Tao Bai ; Ji-ming Tian
Outlier Detection Based on Voronoi Diagram / Jilin Qu
AWSum - Data Mining for Insight / Anthony Quinn ; Andrew Stranieri ; John Yearwood ; Gaudenz Hafen
Integrative Neural Network Approach for Protein Interaction Prediction from Heterogeneous Data / Xue-wen Chen ; Mei Liu ; Yong Hu
Rules Extraction Based on Data Summarisation Approach Using DARA
A Rough-Apriori Technique in Mining Linguistic Association Rules / Yun-Huoy Choo ; Azuraliza Abu Bakar ; Abdul Razak Hamdan
Mining Causal Knowledge from Diagnostic Knowledge / Xiangdong An ; Nick Cercone
Modified Particle Swarm Optimizer with Adaptive Dynamic Weights for Cancer Combinational Chemotherapy / Harish Chandra Soundararajan ; Jagannathan Raman ; R. Muthucumaraswamy
MPSQAR: Mining Quantitative Association Rules Preserving Semantics / Chunqiu Zeng ; Jie Zuo ; Shengqiao Ni ; Liang Tang ; Yue Zhang
Using Support Vector Regression for Classification / Bo Huang ; Zhihua Cai ; Qiong Gu ; Changjun Chen
Dynamic Growing Self-organizing Neural Network for Clustering / Daxin Tian ; Yueou Ren ; Qiuju Li
A Design of Reward Function Based on Knowledge in Multi-agent Learning / Bo Fan ; Jiexin Pu
A Learning Method of Detecting Anomalous Pedestrian / Yue Liu ; Jun Zhang ; Zhijing Liu
Moment+: Mining Closed Frequent Itemsets over Data Stream / Haifeng Li
CDPM: Finding and Evaluating Community Structure in Social Networks / Li Wan ; Jianxin Liao ; Xiaomin Zhu
Using Matrix Model to Find Association Rule Core for Diverse Compound Critiques / Li Yu
Link-Contexts for Ranking / Jessica Gronski
DC-Tree: An Algorithm for Skyline Query on Data Streams / Cui-Ping Li
Sequential Pattern Mining for Protein Function Prediction / Miao Wang ; Xue-qun Shang ; Zhan-huai Li
Improving Web Search by Categorization, Clustering, and Personalization / Dengya Zhu ; Heinz Dreher
JSNVA: A Java Straight-Line Drawing Framework for Network Visual Analysis / Qi Ye ; Bai Wang
Recognition of Data Records in Semi-structured Web-Pages Using Ontology and X[superscript 2] Statistical Distribution / Amin Keshavarzi ; Amir Masoud Rahmani ; Mehran Mohsenzadeh ; Reza Keshavarzi
Organizing Structured Deep Web by ClusteringQuery Interfaces Link Graph / Pengpeng Zhao ; Li Huang ; Wei Fang ; Zhiming Cui
CBP: A New Efficient Method for Mining Multilevel and Generalized Frequent Itemsets / Yu Xing Mao ; Bai Le Shi
Supporting Customer Retention through Real-Time Monitoring of Individual Web Usage / Peter I. Hofgesang
A Comparative Study of Correlation Measurements for Searching Similar Tags / Yu Chen ; Yexi Jiang ; Jie Gong
Structure of Query Modification Process: Branchings / Nikolai Buzikashvili
Mining Top-n Local Outliers in Constrained Spatial Networks / Chongsheng Zhang ; Zhongbo Wu
Mining Concept-Drifting Data Streams with Multiple Semi-Random Decision Trees / Peipei Li ; Xuegang Hu ; Xindong Wu
Automatic Web Tagging and Person Tagging Using Language Models / Qiaozhu Mei
Real-Time Person Tracking Based on Data Field / Shuliang Wang ; Juebo Wu ; Feng Cheng ; Hong Jin
Author Index
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
7.

電子ブック

EB
De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Jörg Siekmann, Donald C. Wunsch
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
8.

電子ブック

EB
Sabine Bergler, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Some Simplified Forms of Reasoning with Distance-Based Entailments / Ofer Arieli ; Anna Zamansky
A Belief-Theoretic Reputation Estimation Model for Multi-context Communities / Ebrahim Bagheri ; M. Barouni-Ebrahimi ; Reza Zafarani ; Ali A. Ghorbani
A Frequency Mining-Based Algorithm for Re-ranking Web Search Engine Retrievals
Multi-agent Framework for a Virtual Enterprise of Demand-Responsive Transportation / Daniel Cabrera ; Claudio Cubillos
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning / Alan Davoust ; Michael W. Floyd ; Babak Esfandiari
Aspects of Inconsistency Resolution in Modular Ontologies / Faezeh Ensan ; Weichang Du
Fast Markov Blanket Discovery Algorithm Via Local Learning within Single Pass / Shunkai Fu ; Michel C. Desmarais
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions / Liqiang Geng ; Larry Korba ; Yunli Wang ; Xin Wang ; Yonghua You
Recognizing Biomedical Named Entities in Chinese Research Abstracts / Baohua Gu ; Fred Popowich ; Veronica Dahl
Point-Based Planning for Predictive State Representations / Masoumeh T. Izadi ; Doina Precup
Comparison of Pleomorphic and Structural Features Used for Breast Cancer Malignancy Classification / Lukasz Jelen ; Adam Krzyzak ; Thomas Fevens
Towards a Faster Inference Algorithm in Multiply Sectioned Bayesian Networks / Karen H. Jin ; Dan Wu
Using Dependence Diagrams to Summarize Decision Rule Sets / Kamran Karimi ; Howard J. Hamilton
A Fast Computation of Inter-class Overlap Measures Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation / Ziad Kobti ; Shamual Rahaman ; Anne W. Snowdon ; Robert D. Kent
Selective Sampling for Classification / Francois Laviolette ; Mario Marchand ; Sara Shanian
Full Border Identification for Reduction of Training Sets / Guichong Li ; Trevor J. Stocki ; R. Kurt Ungar
Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF / Serguei A. Mokhov
Predicting User Preferences Via Similarity-Based Clustering / Mian Qin ; Scott Buffett ; Michael W. Fleming
Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems / Tyrel Russell ; Peter van Beek
An Intelligent Automatic Face Contour Prediction System / Seref Sagiroglu ; Necla Ozkaya
Word Clustering with Validity Indices / Ahmad El Sayed ; Julien Velcin ; Djamel Zighed
The Role of Nominalizations in Prepositional Phrase Attachment in GENIA / Jonathan Schuman ; Sabine Bergler
A Statistical Model for Topic Segmentation and Clustering / M. Mahdi Shafiei ; Evangelos E. Milios
Image Transformation: Inductive Transfer between Multiple Tasks Having Multiple Outputs / Daniel L. Silver ; Liangliang Tu
Using Unsupervised Learning for Network Alert Correlation / Reuben Smith ; Maxwell Dondo ; Peter Mason
Verbs Speak Loud: Verb Categories in Learning Polarity and Strength of Opinions / Marina Sokolova ; Guy Lapalme
A Stochastic Point-Based Algorithm for POMDPs / Ludovic Tobin
Semi-supervised Self-training for Sentence Subjectivity Classification / Bin Wang ; Bruce Spencer ; Charles X. Ling ; Harry Zhang
A Novel Approach for Social Behavior Analysis of the Blogosphere / Mohammad-Amin Jashki ; Hamidreza Baghi
Seller Bidding in a Trust-Based Incentive Mechanism for Dynamic E-Marketplaces / Jie Zhang ; Robin Cohen
Author Index
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
9.

電子ブック

EB
Gerson Zaverucha, Augusto Loureiro Costa, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist / Stephen Muggleton
Tutorials
Logic, Probability and Learning, or an Introduction to Statistical Relational Learning
Text Mining
From ILP to PILP
Computer Vision and Pattern Recognition
Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications / C.G. Gonzalez ; W. Bonventi Jr. ; A.L. Vieira Rodrigues
Multi-Dimensional Dynamic Time Warping for Image Texture Similarity / Rodrigo Fernandes de Mello ; Iker Gondra
Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation / Lucas D. Terissi ; Juan Carlos Gomez
Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis / Carlos Eduardo Thomaz ; Gilson Antonio Giraldi
Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory
Enhancing the Interaction between Agents and Users / Marcelo Armentano ; Silvia Schiaffino ; Analia Amandi
Re-routing Agents in an Abstract Traffic Scenario / Ana L.C. Bazzan ; Franziska Klugl
A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm / Gutierrez Soares Caixeta ; Rita Maria da Silva Julia
An Experimental Approach to Online Opponent Modeling in Texas Hold'em Poker / Dinis Felix ; Luis Paulo Reis
Individual and Social Behaviour in the IPA Market with RL / Eduardo Rodrigues Gomes ; Ryszard Kowalczyk
Optimizing Preferences within Groups: A Case Study on Travel Recommendation / Fabiana Lorenzi ; Fernando dos Santos ; Paulo R. Ferreira Jr.
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems / Diego R. Pereira ; Luciano V. Goncalves ; Gracaliz P. Dimuro ; Antonio C.R. Costa
Probabilistic Multiagent Patrolling / Tiago Sak ; Jacques Wainer ; Siome Klein Goldenstein
Knowledge Representation and Reasoning
Proving Epistemic and Temporal Properties from Knowledge Based Programs / Mario Benevides ; Carla Delgado ; Michel Carlini
Detecting Code Evolution in Programming Learning / Thais Castro ; Hugo Fuks ; Alberto Castro
Revising Specifications with CTL Properties Using Bounded Model Checking / Marcelo Finger ; Renata Wassermann
Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach / Alexandre Rademaker ; Edward Hermann Haeusler
A Case for Numerical Taxonomy in Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Nicholas Eastaugh ; Bernard F. Buxton
Methodical Construction of Symbolic Diagrams / Paulo A.S. Veloso ; Sheila R.M. Veloso
Machine Learning and Data Mining
Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis / Maria J.P. Dantas ; Leonardo da C. Brito ; Paulo C.M. Machado ; Paulo H.P. de Carvalho
Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data / Andre Luis Santiago Maia ; Francisco de A.T. de Carvalho
Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach / Edson T. Matsubara ; Ronaldo C. Prati ; Gustavo E.A.P.A. ; Maria C. Monard
A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function / Alexandre da Silva Simoes ; Anna Helena Reali Costa
A Robust Methodology for Comparing Performances of Clustering Validity Criteria / Lucas Vendramin ; Ricardo J.G.B. Campello ; Eduardo R. Hruschka
Natural Language Processing
An Experiment in Spanish-Portuguese Statistical Machine Translation / Wilker Ferreira Aziz ; Thiago Alexandre Salgueiro Pardo ; Ivandre Paraboni
On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation / Helena de M. Caseli ; Maria das Gracas V. Nunes ; Mikel L. Forcada
Robotics
Experiments in the Coordination of Large Groups of Robots / Leandro Soriano Marcolino ; Luiz Chaimowicz
Evolving an Artificial Homeostatic System / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben ; Phil Husbands
Author Index
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
10.

電子ブック

EB
Klaus-Dieter Althoff, Ralph Bergmann, Alexandre Hanft, Mirjam Minor, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Semantics and Experience in the Future Web / Enric Plaza
Research Papers
Recognizing the Enemy: Combining Reinforcement Learning with Strategy Selection Using Case-Based Reasoning / Bryan Auslander ; Stephen Lee-Urban ; Chad Hogg ; Hector Munoz-Avila
Formal and Experimental Foundations of a New Rank Quality Measure / Steven Bogaerts ; David Leake
Provenance, Trust, and Sharing in Peer-to-Peer Case-Based Web Search / Peter Briggs
Visualizing and Evaluating Complexity of Textual Case Bases / Sutanu Chakraborti ; Ulises Cervino Beresi ; Nirmalie Wiratunga ; Stewart Massie ; Robert Lothian ; Deepak Khemani
Learning Similarity Functions from Qualitative Feedback / Weiwei Cheng ; Eyke Hullermeier
Conservative Adaptation in Metric Spaces / Julien Cojan ; Jean Lieber
Opportunistic Acquisition of Adaptation Knowledge and Cases-The IakA Approach / Amelie Cordier ; Beatrice Fuchs ; Leonardo Lana de Carvalho ; Alain Mille
Noticeably New: Case Reuse in Originality-Driven Tasks / Belen Diaz-Agudo ; Juan A. Recio-Garcia ; Josep-Lluis Arcos
Experience-Based Design of Behaviors in Videogames / Gonzalo Florez Puga ; Pedro Gonzalez-Calero
Considerations for Real-Time Spatially-Aware Case-Based Reasoning: A Case Study in Robotic Soccer Imitation / Michael W. Floyd ; Alan Davoust ; Babak Esfandiari
Retrieval Based on Self-explicative Memories / Albert Fornells ; Eva Armengol ; Elisabet Golobardes
Increasing Precision of Credible Case-Based Inference / Thomas Gabel ; Martin Riedmiller
Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions / Ilya Vladimirskiy ; Belen Prados Suarez ; Eva Stauch
Using Case Provenance to Propagate Feedback to Cases and Adaptations / Scott A. Dial
Towards Case-Based Support for e-Science Workflow Generation by Mining Provenance / Joseph Kendall-Morwick
Knowledge Planning and Learned Personalization for Web-Based Case Adaptation / Jay Powell
Cases, Predictions, and Accuracy Learning and Its Application to Effort Estimation / Jingzhou Li ; Brenan Mackas ; Michael M. Richter ; Guenther Ruhe
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications / Suzanne Little ; Ovidio Salvetti ; Petra Perner
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy / Cindy Marling ; Jay Shubrook ; Frank Schwartz
Conversational Case-Based Reasoning in Self-healing and Recovery / David McSherry ; Sa'adah Hassan ; David Bustard
Situation Assessment for Plan Retrieval in Real-Time Strategy Games / Kinshuk Mishra ; Santiago Ontanon ; Ashwin Ram
Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC) / Babak Mougouie
Understanding Dubious Future Problems / Oguz Mulayim ; Josep Lluis Arcos
Conversational Case-Based Recommendations Exploiting a Structured Case Model / Quang Nhat Nguyen ; Francesco Ricci
k-NN Aggregation with a Stacked Email Representation / Amandine Orecchioni ; Susan Craw
Case-Based Reasoning and the Statistical Challenges
Evaluation Measures for TCBR Systems / M.A. Raghunandan
CBR for CBR: A Case-Based Template Recommender System for Building Case-Based Systems / Derek Bridge ; Pedro A. Gonzalez-Calero
Forgetting Reinforced Cases / Houcine Romdhane ; Luc Lamontagne
iReMedI - Intelligent Retrieval from Medical Information / Saurav Sahay ; Bharat Ravisekar ; Sundaresan Venkatasubramanian ; Anushree Venkatesh ; Priyanka Prabhu
Adaptation through Planning in Knowledge Intensive CBR / Antonio Sanchez-Ruiz ; Pedro P. Gomez-Martin
Folk Arguments, Numerical Taxonomy and Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Bernard F. Buxton
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games / Neha Sugandh
Horizontal Case Representation / Rosina Weber ; Sidath Gunawardena ; Craig MacDonald
Application Papers
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning / Pedro Almeida ; Marco Jorge ; Luis Cortesao ; Filipe Martins ; Marco Vieira ; Paulo Gomes
Predicting the Presence of Oil Slicks After an Oil Spill / Juan Manuel Corchado ; Aitor Mata
Case Based Interpretation of Soil Chromatograms / Minu Mary Joseph ; Saritha Variganti
Case-Based Troubleshooting in the Automotive Context: The SMMART Project / Stefania Bandini ; Ettore Colombo ; Giuseppe Frisoni ; Fabio Sartori ; Joakim Svensson
Rapid Prototyping of CBR Applications with the Open Source Tool myCBR / Armin Stahl ; Thomas R. Roth-Berghofer
Author Index
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
11.

電子ブック

EB
Takashi Washio, Akihiro Inokuchi, Jörg Siekmann, Einoshin Suzuki, Kai Ming Ting
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
12.

電子ブック

EB
Bengt Nordström, Aarne Ranta, Jörg Siekmann, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
13.

電子ブック

EB
Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, Geun Sik Jo, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
14.

電子ブック

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

電子ブック

EB
Wayne Wobcke, Jörg Siekmann, Mengjie Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Knowledge Representation
Introspective Forgetting / Hans van Ditmarsch ; Andreas Herzig ; Jerome Lang ; Pierre Marquis
Fixed-Point Property of Logic-Based Bargaining Solution / Dongmo Zhang
Re-representation in a Logic-Based Model for Analogy Making / Ulf Krumnack ; Helmar Gust ; Kai-Uwe Kuhnberger ; Angela Schwering
Knowledge Generation for Improving Simulations in UCT for General Game Playing / Shiven Sharma ; Ziad Kobti ; Scott Goodwin
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems / Eric Schkufza ; Nathaniel Love ; Michael Genesereth
Constructing Web Corpora through Topical Web Partitioning for Term Recognition / Wilson Wong ; Wei Liu ; Mohammed Bennamoun
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory / Philip H.P. Nguyen ; Ken Kaneiwa ; Dan R. Corbett ; Minh-Quang Nguyen
Exploiting Ontological Structure for Complex Preference Assembly / Gil Chamiel ; Maurice Pagnucco
Constraints
A Refutation Approach to Neighborhood Interchangeability in CSPs / Chavalit Likitvivatanavong ; Roland H. C. Yap
Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization / Hemant K. Singh ; Amitay Isaacs ; Tapabrata Ray ; Warren Smith
Constraint-Based Multi-agent Path Planning / Malcolm Ryan
Planning
An Optimality Principle for Concurrent Systems / Langford B. White ; Sarah L. Hickmott
Partial Order Hierarchical Reinforcement Learning / Bernhard Hengst
Optimal Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function / Om K. Gupta ; Ray A. Jarvis
Grammar and Language Processing
Using Probabilistic Feature Matching to Understand Spoken Descriptions / Ingrid Zukerman ; Enes Makalic ; Michael Niemann
Working for Two: A Bidirectional Grammar for a Controlled Natural Language / Rolf Schwitter
Improving Metrical Grammar with Grammar Expansion / Makoto Tanji ; Daichi Ando ; Hitoshi Iba
FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment Techniques and Lexical Coverage / Bahadorreza Ofoghi ; John Yearwood ; Liping Ma
Learning to Find Relevant Biological Articles without Negative Training Examples / Keith Noto ; Milton H. Saier Jr. ; Charles Elkan
Humor Prevails!-Implementing a Joke Generator into a Conversational System / Pawel Dybala ; Michal Ptaszynski ; Shinsuke Higuchi ; Rafal Rzepka ; Kenji Araki
Statistical Learning
Improving Transductive Support Vector Machine by Ensembling / Tao Li ; Yang Zhang
Kernels Based on Distributions of Agreement Subtrees / Kilho Shin ; Tetsuji Kuboyama
Practical Bias Variance Decomposition / Remco R. Bouckaert
Using Gaussian Processes to Optimize Expensive Functions / Marcus Frean ; Phillip Boyle
Discriminant Analysis Methods for Microarray Data Classification / Chuanliang Chen ; Yun-Chao Gong ; Rongfang Bie
Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis / Stefan Mutter ; Bernhard Pfahringer ; Geoffrey Holmes
Machine Learning
Improving Promoter Prediction Using Multiple Instance Learning / P.J. Uren ; R.M. Cameron-Jones ; A.H.J. Sale
Revisiting Multiple-Instance Learning Via Embedded Instance Selection / James Foulds ; Eibe Frank
Decision Tree Induction from Numeric Data Stream / Satoru Nishimura ; Masahiro Terabe ; Kazuo Hashimoto
L1 LASSO Modelin and Its Bayesian Inference / Junbin Gao ; Michael Antolovich ; Paul W. Kwan
Discriminating Against New Classes: One-class Versus Multi-class Classification / Kathryn Hempstalk
Building a Decision Cluster Classification Model for High Dimensional Data by a Variable Weighting k-Means Method / Yan Li ; Edward Hung ; Korris Chung ; Joshua Huang
Locality Spectral Clustering
Mining Arbitrarily Large Datasets Using Heuristic k-Nearest Neighbour Search / Xing Wu
Cross-Domain Knowledge Transfer Using Semi-supervised Classification / Yi Zhen ; Chunping Li
On the Limitations of Scalarisation for Multi-objective Reinforcement Learning of Pareto Fronts / Peter Vamplew ; Richard Dazeley ; Adam Berry
An Approach for Generalising Symbolic Knowledge / Byeong-Ho Kang
Single-Cycle Image Recognition Using an Adaptive Granularity Associative Memory Network / Anang Hudaya Muhamad Amin ; Asad I. Khan
Data Mining
Combined Pattern Mining: From Learned Rules to Actionable Knowledge / Yanchang Zhao ; Huaifeng Zhang ; Longbing Cao ; Chengqi Zhang ; Hans Bohlscheid
Efficient Single-Pass Mining of Weighted Interesting Patterns / Chowdhury Farhan Ahmed ; Syed Khairuzzaman Tanbeer ; Byeong-Soo Jeong ; Young-Koo Lee
Pattern Taxonomy Mining for Information Filtering / Xujuan Zhou ; Yuefeng Li ; Peter Bruza ; Yue Xu ; Raymond Y.K. Lau
An AI-Based Causal Strategy for Securing Statistical Databases Using Micro-aggregation / B. John Oommen ; Ebaa Fayyoumi
Additive Regression Applied to a Large-Scale Collaborative Filtering Problem / Mark Hall
A Novel Recommending Algorithm Based on Topical PageRank / Liyan Zhang
DynamicWEB: Adapting to Concept Drift and Object Drift in COBWEB / Joel Scanlan ; Jacky Hartnett ; Raymond Williams
Knowledge Discovery
L-Diversity Based Dynaic Update for Large Time-Evolving Microdata / Xiaoxun Sun ; Hua Wang ; Jiuyong Li
Knowledge Discovery from Honeypot Data for Monitoring Malicious Attacks / Huidong Jin ; Olivier de Vel ; Ke Zhang ; Nianjun Liu
Detecting the Knowledge Boundary with Prudence Analysis
Soft Computing
Clustering with XCS on Complex Structure Dataset / Liangdong Shi ; Yang Gao ; Lei Wu ; Lin Shang
Evolution of Multiple Tree Structure Patterns from Tree-Structured Data Using Clustering / Masatoshi Nagamine ; Tetsuhiro Miyahara ; Hiroaki Ueda ; Kenichi Takahashi
Application of a Memetic Algorithm to the Portfolio Optimization Problem / Claus Aranha
Predicting Trading Signals of Stock Market Indices Using Neural Networks / Chandima D. Tilakaratne ; Musa A. Mammadov ; Sidney A. Morris
A Fuzzy Decision Support System for Garment New Product Development / Jie Lu ; Yijun Zhu ; Xianyi Zeng ; Ludovic Koehl ; Jun Ma ; Guangquan Zhang
A Hybrid Nonlinear-Discriminant Analysis Feature Projection Technique / Rami N Khushaba ; Ahmed Al-Ani ; Adel Al-Jumaily ; Hung T. Nguyen
Vision and Image Processing
Learning Object Representations Using Sequential Patterns / Nobuyuki Morioka
Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling / John Thornton ; John Faichney ; Michael Blumenstein ; Trevor Hine
Learning a Generative Model for Structural Representations / Andrea Torsello ; David L. Dowe
AI Applications
Using Stereotypes to Improve Early-Match Poker Play / Robert Layton ; Chris Turville
CASPER: A Case-Based Poker-Bot / Ian Watson ; Jonathan Rubin
A Generalized Joint Inference Approach for Citation Matching / Zhihua Liao ; Zili Zhang
Agent-Based Collaborative System and Case-Based Conflict Resolution Process in Preliminary Ship Design / Kyung Ho Lee ; Jae Joon Lee ; Young Soo Han ; Jung Min Lee ; Byung Hak Lee
Author Index
Invited Paper
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Knowledge Representation
16.

電子ブック

EB
Yoav Freund, László Györfi, Jörg Siekmann, György Turán, Thomas Zeugmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain (Extended Abstract) / Tom M. Mitchell
Regular Contributions
Statistical Learning
Generalization Bounds for Some Ordinal Regression Algorithms / Shivani Agarwal
Approximation of the Optimal ROC Curve and a Tree-Based Ranking Algorithm / Stephan Clemencon ; Nicolas Vayatis
Sample Selection Bias Correction Theory / Corinna Cortes ; Mehryar Mohri ; Michael Riley ; Afshin Rostamizadeh
Exploiting Cluster-Structure to Predict the Labeling of a Graph / Mark Herbster
A Uniform Lower Error Bound for Half-Space Learning / Andreas Maurer ; Massimiliano Pontil
Generalization Bounds for K-Dimensional Coding Schemes in Hilbert Spaces
Learning and Generalization with the Information Bottleneck / Ohad Shamir ; Sivan Sabato ; Naftali Tishby
Probability and Stochastic Processes
Growth Optimal Investment with Transaction Costs / Laszlo Gyorfi ; Istvan Vajda
Online Regret Bounds for Markov Decision Processes with Deterministic Transitions / Ronald Ortner
On-Line Probability, Complexity and Randomness / Alexey Chernov ; Alexander Shen ; Nikolai Vereshchagin ; Vladimir Vovk
Prequential Randomness
Some Sufficient Conditions on an Arbitrary Class of Stochastic Processes for the Existence of a Predictor / Daniil Ryabko
Nonparametric Independence Tests: Space Partitioning and Kernel Approaches / Arthur Gretton
Boosting and Experts
Supermartingales in Prediction with Expert Advice / Yuri Kalnishkan ; Fedor Zhdanov
Aggregating Algorithm for a Space of Analytic Functions / Mikhail Dashevskiy
Smooth Boosting for Margin-Based Ranking / Jun-ichi Moribe ; Kohei Hatano ; Eiji Takimoto ; Masayuki Takeda
Learning with Continuous Experts Using Drifting Games / Indraneel Mukherjee ; Robert E. Schapire
Entropy Regularized LPBoost / Manfred K. Warmuth ; Karen A. Glocer ; S.V.N. Vishwanathan
Active Learning and Queries
Optimally Learning Social Networks with Activations and Suppressions / Dana Angluin ; James Aspnes ; Lev Reyzin
Active Learning in Multi-armed Bandits / Andras Antos ; Varun Grover ; Csaba Szepesvari
Query Learning and Certificates in Lattices / M. Arias ; J.L. Balcazar
Clustering with Interactive Feedback / Maria-Florina Balcan ; Avrim Blum
Active Learning of Group-Structured Environments / Gabor Bartok ; Sandra Zilles
Finding the Rare Cube / Shlomo Hoory ; Oded Margalit
Inductive Inference
Iterative Learning of Simple External Contextual Languages / Leonor Becerra-Bonache ; John Case ; Sanjay Jain ; Frank Stephan
Topological Properties of Concept Spaces / Matthew de Brecht ; Akihiro Yamamoto
Dynamically Delayed Postdictive Completeness and Consistency in Learning / Timo Kotzing
Dynamic Modeling in Inductive Inference
Optimal Language Learning / Samuel E. Moelius III
Numberings Optimal for Learning
Learning with Temporary Memory / Steffen Lange
Erratum
Erratum: Constructing Multiclass Learners from Binary Learners: A Simple Black-Box Analysis of the Generalization Errors / Jittat Fakcharoenphol ; Boonserm Kijsirikul
Author Index
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
17.

電子ブック

EB
Danail Dochev, Marco Pistore, Jörg Siekmann, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
Towards Agent-Oriented Relevant Information / Laurence Cholvy ; Stephanie Roussel
The Agent Modeling Language (AMOLA) / Nikolaos Spanoudakis ; Pavlos Moraitis
Natural Language Processing and Text Analysis / 2:
Tailoring the Interpretation of Spatial Utterances for Playing a Board Game / Andrea Corradini
ASAP- An Advanced System for Assessing Chat Participants / Mihai Dascalu ; Erol-Valeriu Chioasca ; Stefan Trausan-Matu
Using Text Segmentation to Enhance the Cluster Hypothesis / Sylvain Lamprier ; Tassadit Amghar ; Bernard Levrat ; Frederic Saubion
Multilingual Plagiarism Detection / Zdenek Ceska ; Michal Toman ; Karel Jezek
Dealing with Spoken Requests in a Multimodal Question Answering System / Roberto Gretter ; Milen Kouylekov ; Matteo Negri
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study / Preslav Nakov
Machine Learning and Information Retrieval / 3:
Optimising Predictive Control Based on Neural Models / Maciej Lawrynczuk
Prototypes Based Relational Learning / Rocio Garcia-Duran ; Fernando Fernandez ; Daniel Borrajo
Robustness Analysis of SARSA([lambda]): Different Models of Reward and Initialisation / Marek Grzes ; Daniel Kudenko
Thematic Segment Retrieval Revisited
Knowledge Representation and Reasoning / 4:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models / Emilia Oikarinen ; Tomi Janhunen
Mapping Properties of Heterogeneous Ontologies / Chiara Ghidini ; Luciano Serafini
A Logical Approach to Dynamic Role-Based Access Control / Philippe Balbiani ; Yannick Chevalier ; Marwa El Houri
Interpolative Boolean Logic / Dragan Radojevic ; Aleksandar Perovic ; Zoran Ognjanovic ; Miodrag Raskovic
Abstract Argumentation Scheme Frameworks / Katie Atkinson ; Trevor Bench-Capon
Constraints, Heuristics, and Search / 5:
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models / Roman Bartak ; Ondrej Cepek
Incorporating Learning in Grid-Based Randomized SAT Solving / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm / Zhipeng Lu ; Jin-Kao Hao
Heuristic Hill-Climbing as a Markov Process / Carlos Linares Lopez
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs / Bayo Omomowo ; Ines Arana ; Hatem Ahriz
Applications / 6:
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7:
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
18.

電子ブック

EB
John Darzentas, Argyris Arnellos, Jörg Siekmann, Spyros Vosinakis, George A. Vouros
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Full Papers
Application of Naturalistic Decision Making to Emergency Evacuation Simulations / Fatemeh Alavizadeh ; Behzad Moshiri ; Caro Lucas
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web / Grigoris Antoniou ; Antonis Bikakis ; Polyvios Damianakis ; Mixalhs Foukarakis ; Giorgos Iacovidis ; Marianna Karmazi ; Haridimos Kondylakis ; Antreas Makridakis ; Giorgos Nikiforos ; Grigoris Papadourakis ; Manolis Papoutsakis ; Aggeliki Psyharaki ; Giorgos Stratakis ; Panagiotis Tourlakis ; Petros Tsialiamanis ; Giorgos Vasileiadis ; Gerd Wagner ; Dimitris Velegrakis
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Enhancing NetLogo to Simulate BDI Communicating Agents / Ilias Sakellariou ; Petros Kefalas ; Ioanna Stamatopoulou
Integration of Computational Intelligence Applications in Engineering Design / Kostas M. Saridakis
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps / Athanasios Tsadiras
Incremental Relevance Vector Machine with Kernel Learning / Dimitris Tzikas ; Aristidis Likas ; Nikolaos Galatsanos
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
19.

電子ブック

EB
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
20.

電子ブック

EB
Lionel Prevost, Simone Marinai, Friedhelm Schwenker, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Fuzzy Evolutionary Probabilistic Neural Networks / V.L. Georgiou ; Ph.D. Alevizos ; M.N. Vrahatis
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Mining Software Aging Patterns by Artificial Neural Networks / Hisham El-Shishiny ; Sally Deraz ; Omar Bahy
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
21.

電子ブック

EB
Alessandro Armando, Peter Baumgartner, Gilles Dowek, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2:
Proving Bounds on Real-Valued Functions with Computations / Guillaume Melquiond
Linear Quantifier Elimination / Tobias Nipkow
Quantitative Separation Logic and Programs with Lists / Marius Bozga ; Radu Iosif ; Swann Perarnau
On Automating the Calculus of Relations / Peter Hofner ; Georg Struth
Automated Verification / Session 3:
Towards SMT Model Checking of Array-Based Systems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
Preservation of Proof Obligations from Java to the Java Virtual Machine / Gilles Barthe ; Benjamin Gregoire ; Mariela Pavlova
Efficient Well-Definedness Checking / Adam Darvas ; Farhad Mehta ; Arsenii Rudich
Protocol Verification / Session 4:
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5:
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6:
Modal Logics / Session 7:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8:
Description Logics / Session 9:
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10:
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11:
Equational Theories / Session 12:
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13:
Theorem Proving 1 / Session 14:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15:
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16:
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17:
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18:
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2:
22.

電子ブック

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

電子ブック

EB
Pompeu Casanovas, Pompeu Casanovas Romeu, Núria Casellas, Rossella Rubino, Giovanni Sartor, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II:
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III:
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV:
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V:
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
ICT-Supported Dispute Resolution / Claudia Cevenini ; Gianluigi Fioriglio
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
24.

電子ブック

EB
Katsumi Inoue, Ken Satoh, Jörg Siekmann, Francesca Toni
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
25.

電子ブック

EB
Fariba Sadri, Ken Satoh, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
Actions with Failures in Interval Temporal Logic / Arjen Hommersom ; Peter Lucas
A Logic for Reasoning about Rational Agents / Wojciech Jamroga ; Nils Bulling
Formal Modelling of Emotions in BDI Agents / David Pereira ; Eugenio Oliveira ; Nelma Moreira
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations / Jan Broersen ; Julien Brunel
Proof Theory for Distributed Knowledge / Raul Hakli ; Sara Negri
EVOLP: Transformation-Based Semantics / Martin Slota ; Joao Leite
Language Constructs for Multi-agent Programming / Louise Dennis ; Michael Fisher ; Anthony Hepple
[beta]-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification / Volha Bryl ; Paola Mello ; Marco Montali ; Paolo Torroni ; Nicola Zannone
A Heuristic Approach to P2P Negotiation / Stefania Costantini ; Arianna Tocchio ; Panagiota Tsintza
Towards Context Sensitive Defeasible Rules / Armin Hezart ; Abhaya Nayak ; Mehmet Orgun
Fuzzy Argumentation for Trust / Ruben Stranders ; Mathijs de Weerdt
Assumption-Based Argumentation for Selection and Composition of Services / Francesca Toni
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems / Francesco Belardinelli ; Alessio Lomuscio
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs / Rajeev Gore ; Linh Anh Nguyen
System Description Paper
EVOLP: An Implementation
Author Index
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
26.

電子ブック

EB
Deepak Kapur, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Algorithms and Implementations
Computing the Minkowski Value of the Exponential Function over a Complex Disk / Hyeong In Choi ; Rida T. Farouki ; Chang Yong Han ; Hwan Pyo Moon
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact / S. Liang ; D.J. Jeffrey
The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval / Hiroshi Sekigawa
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping / Mohab Safey El Din
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method? / Liangyu Chen ; Zhenbing Zeng
Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis / Manfred Minimair
Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix / Nor'aini Aris ; Shamsatun Nahar Ahmad
Efficient Algorithms for Computing Noether Normalization / Amir Hashemi
Stability of GPBiCG_AR Method Based on Minimization of Associate Residual / Moe Thuthu ; Seiji Fujino
Evaluation of a Java Computer Algebra System / Heinz Kredel
A New Property of Hamming Graphs and Mesh of d-ary Trees / Alain Bretto ; Cerasela Jaulin ; Luc Gillibert ; Bernard Laget
Numerical Methods and Applications
An Interpolation Method That Minimizes an Energy Integral of Fractional Order / H. Gunawan ; F. Pranolo ; E. Rusyaman
Solving Biomechanical Model Using Third-Order Runge-Kutta Methods / R.R. Ahmad ; A.S. Rambely ; L.H. Lim
An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems / Basem S. Attili
Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution / Suvra Sarkar ; Sougata Patra
A Method and Its Implementation for Constructing Backlund Transformations to Nonlinear Evolution Equations / Zhibin Li ; Yinping Liu ; Haifeng Qian
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators / Ekaterina Shemyakova ; Franz Winkler
Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media / Seripah Awang Kechil ; Ishak Hashim
Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream / Anuar Ishak ; Roslinda Nazar ; Ioan Pop
Elimination: Triangular Forms, Resultants, Equation Solving
An Algorithm for Transforming Regular Chain into Normal Chain / Banghe Li ; Dingkang Wang
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals / Jia Li ; Xiao-Shan Gao
Regular Decompositions / Guillaume Moroz
Floating-Point Grobner Basis Computation with Ill-conditionedness Estimation / Tateaki Sasaki ; Fujio Kako
The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports / Eng-Wee Chionh
Properties of Ascending Chains for Partial Difference Polynomial Systems / Gui-Lin Zhang
Cryptology
Some Mathematical Problems in Cryptanalysis / Xiaoyun Wang
A Reduction Attack on Algebraic Surface Public-Key Cryptosystems / Maki Iwami
Computational Logic
The Four Colour Theorem: Engineering of a Formal Proof / Georges Gonthier
On the Computation of Elimination Ideals of Boolean Polynomial Rings / Yosuke Sato ; Akira Nagai ; Shutaro Inoue
Computer Search for Large Sets of Idempotent Quasigroups / Feifei Ma ; Jian Zhang
Author Index
Algorithms and Implementations
Computing the Minkowski Value of the Exponential Function over a Complex Disk / Hyeong In Choi ; Rida T. Farouki ; Chang Yong Han ; Hwan Pyo Moon
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact / S. Liang ; D.J. Jeffrey
27.

電子ブック

EB
Jaime G. Carbonell, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
28.

電子ブック

EB
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
29.

電子ブック

EB
Ron Meyden, Jörg Siekmann, Leendert Torre, Leendert van der Torre, Ron Van der Meyden
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Norms in Branching Space-Times (Invited Talk) / Nuel Belnap
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories / Guido Governatori ; Antonino Rotolo
Acting, Events and Actions / Mark A. Brown
A Tableaux System for Deontic Action Logic / Pablo F. Castro ; T.S.E. Maibaum
Information Security Economics - and Beyond (Invited Talk) / Ross Anderson
Trust and Norms in the Context of Computer Security: A Logical Formalization / Emiliano Lorini ; Robert Demolombe
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic / Nora Cuppens-Boulahia ; Frederic Cuppens
Delegation of Control in Administrative Procedures / Joris Hulstijn ; Jianwei Liu ; Yao-Hua Tan
Variations in Access Control Logic (Invited Talk) / Martin Abadi
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking / Nikhil Dinesh ; Aravind Joshi ; Insup Lee ; Oleg Sokolsky
Need to Know: Questions and the Paradox of Epistemic Obligation
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing' / Jan Broersen
Reactive Kripke Models and Contrary to Duty Obligations (Invited Talk) / Dov M. Gabbay
Normative Consequence: The Problem of Keeping It Whilst Giving It up / Audun Stolpe
On the Strong Completeness of Aqvist's Dyadic Deontic Logic G / Xavier Parent
Strata of Intervenient Concepts in Normative Systems / Lars Lindahl ; Jan Odelstad
A Deontic Logic for Socially Optimal Norms / Rosja Mastop ; John-Jules Ch. Meyer ; Paolo Turrini
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin / Paul McNamara
Introducing Grades in Deontic Logics / Pilar Dellunde ; Lluis Godo
Pushing Anderson's Envelope: The Modal Logic of Ascription / Davide Grossi
Author Index
Norms in Branching Space-Times (Invited Talk) / Nuel Belnap
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories / Guido Governatori ; Antonino Rotolo
Acting, Events and Actions / Mark A. Brown
30.

電子ブック

EB
Gem Stapleton, John Howse, John Lee, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
31.

電子ブック

EB
Yang Cai, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II:
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III:
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
32.

電子ブック

EB
Jean-François Boulicaut, Michael R. Berthold, Tamás Horváth, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
Text Analysis
String Kernels Based on Variable-Length-Don't-Care Patterns / Kazuyuki Narisawa ; Hideo Bannai ; Kohei Hatano ; Shunsuke Inenaga ; Masayuki Takeda
Unsupervised Spam Detection by Document Complexity Estimation / Takashi Uemura ; Daisuke Ikeda ; Hiroki Arimura
A Probabilistic Neighbourhood Translation Approach for Non-standard Text Categorisation / Ata Kaban
Author Index
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
33.

電子ブック

EB
Danny Weyns, Sven A. Brueckner, Yves Demazeau, Jörg Siekmann, SpringerLink (Online service)
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Swarms of Self-assembling Robots / Marco Dorigo
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
Engineering Self-organizing Applications
A Characterization of Key Properties of Environment-Mediated Multiagent Systems / Hartmut Schmeck ; Christian Muller-Schloer
Toward Systemic MAS Development: Enforcing Decentralized Self-organization by Composition and Refinement of Archetype Dynamics / Jan Sudeikat ; Wolfgang Renz
Engineering Systems Which Generate Emergent Functionalities / Marie-Pierre Gleizes ; Valerie Camps ; Jean-Pierre George ; Davy Capera
Engineering Autonomic Electronic Institutions / Josep Lluis Arcos ; Juan A. Rodriguez-Aguilar ; Bruno Rosell
Stigmergic Interaction
Prediction Horizons in Agent Models / H. Van Dyke Parunak ; Theodore C. Belding ; Sven A. Brueckner
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications / Andrea Bonomi ; Marcello Sarini ; Giuseppe Vizzari
Modeling and Structuring Mediating Environments
Situating Cognitive Agents in GOLEM / Stefano Bromuri ; Kostas Stathis
Modeling Agent-Environment Interactions in Adaptive MAS / R. Zalila Mili ; Renee Steiner
DECIDE: Applying Multi-agent Design and Decision Logic to a Baggage Handling System / Kasper Hallenborg ; Yves Demazeau
Environment-Based Support for Context and Organizations
Managing Agent Interactions with Context-Driven Dynamic Organizations / Robrecht Haesevoets ; Bart Van Eylen ; Danny Weyns ; Alexander Helleboogh ; Tom Holvoet ; Wouter Joosen
Modeling and Design of an Agent-Based Micro-simulation of the Swiss Highway Network / Michael Schumacher ; Laurent Grangier ; Radu Jurca
Environment Support to the Management of Context Awareness Information / Marco P. Locatelli
Engineering Contextual Information for Pervasive Multiagent Systems / Gabriella Castelli ; Marco Mamei ; Franco Zambonelli
Engineering Business Ecosystems Using Environment-Mediated Interactions / Cesar A. Marin ; Iain Stalker ; Nikolay Mehandjiev
Experimenting with Language Support for Proximity in Ambient-Oriented Programming / Victor Ramiro ; Jessie Dedecker ; Eric Tanter ; Peter Barron
Environment-Supported Roles to Develop Complex Systems / Giacomo Cabri
Author Index
Invited Talks
Swarms of Self-assembling Robots / Marco Dorigo
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
34.

電子ブック

EB
Sven A. Brueckner, Jaime G. Carbonell, Salima Hassas, Márk Jelasity, Jörg Siekmann, Daniel Yamins
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
Design Patterns for Decentralised Coordination in Self-organising Emergent Systems / Tom De Wolf ; Tom Holvoet
Measuring Stigmergy: The Case of Foraging Ants / Laszlo Gulyas ; Laszlo Laufer ; Richard Szabo
Algorithms and Techniques
Dynamic Decentralized Any-Time Hierarchical Clustering / Richard Rohwer ; Theodore C. Belding
Behaviosites: A Novel Paradigm for Affecting Distributed Behavior / Amit Shabtay ; Zinovi Rabinovich ; Jeffrey S. Rosenschein
Applications
Programming Modular Robots with the TOTA Middleware / Marco Mamei ; Franco Zambonelli
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks / Jorge Simao
Towards the Control of Emergence by the Coordination of Decentralized Agent Activity for the Resource Sharing Problem / Frederic Armetta ; Salima Hassas ; Simone Pimont ; Olivier Lefevre
Self-organization and Evolutionary Computing
Reinforcement Learning for Online Control of Evolutionary Algorithms / A.E. Eiben ; Mark Horvath ; Wojtek Kowalczyk ; Martijn C. Schut
Greedy Cheating Liars and the Fools Who Believe Them / Stefano Arteconi ; David Hales ; Ozalp Babaoglu
Evolution and Hypercomputing in Global Distributed Evolvable Virtual Machines Environment / Mariusz Nowostawski ; Martin Purvis
A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm / Martin Kelly ; Giovanna Di Marzo Serugendo
Author Index
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
35.

電子ブック

EB
Alexander Artikis, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Electronic Institutions
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
Alternative Dispute Resolution in Virtual Organizations / Jeremy Pitt ; Daniel Ramirez-Cano ; Lloyd Kamara ; Brendan Neville
Electronic Institutions Infrastructure for e-Chartering / Manolis Sardis ; George Vouros
Models of Complex Distributed Systems with Agents and Societies
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations / William J. Clancey ; Maarten Sierhuis ; Chin Seah ; Chris Buckley ; Fisher Reynolds ; Tim Hall ; Mike Scott
Progress Appraisal as a Challenging Element of Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; Matthew Johnson ; Larry Bunch
Automated Web Services Composition with the Event Calculus / Onur Aydin ; Nihan Kesim Cicekli ; Ilyas Cicekli
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems / Ioanna Stamatopoulou ; Petros Kefalas ; Marian Gheorghe
Interaction in Agent Societies
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences / Josefina Sierra ; Josefina Santibanez
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS / Nabil Hameurlain
Amongst First-Class Protocols / Tim Miller ; Jarred McGinnis
Engineering Social Intelligence in Multi-agent Systems
Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation / Hylke Buisman ; Gijs Kruitbosch ; Nadya Peek ; Ulle Endriss
Collective-Based Multiagent Coordination: A Case Study / Matteo Vasirani ; Sascha Ossowski
Tag Mechanisms Evaluated for Coordination in Open Multi-Agent Systems / Isaac Chao ; Oscar Ardaiz ; Ramon Sanguesa
Trust and Reputation in Agent Societies
Toward a Probabilistic Model of Trust in Agent Societies / Federico Bergenti
Arguing about Reputation: The LRep Language / Isaac Pinyol ; Jordi Sabater-Mir
Analysis, Design and Development of Agent Societies
From AO Methodologies to MAS Infrastructures: The SODA Case Study / Ambra Molesini ; Enrico Denti ; Andrea Omicini
Model Driven Engineering for Designing Adaptive Multi-Agents Systems / Sylvain Rougemaille ; Frederic Migeon ; Christine Maurel ; Marie-Pierre Gleizes
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems / Scott J. Harmon ; Scott A. DeLoach ; Robby
Author Index
Electronic Institutions
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
36.

電子ブック

EB
Danny Weyns, Fabien Michel, H. Van Dyke Parunak, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Exploiting the Environment for Coordinating Agent Intentions / Paul Valckenaers
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
Mediated Interaction and Stigmery
Environment as Active Support of Interaction / Julien Saunier ; Flavien Balbo ; Fabien Badeig
Environmental Support for Tag Interactions / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts / Luca Gardelli ; Enrico Oliva
Trace Signals: The Meanings of Stigmergy / Luca Tummolini ; Cristiano Castelfranchi
Regulation Function of the Environment in Agent-Based Simulation / Stefania Bandini ; Giuseppe Vizzari
Governing Environment
Establishing Global Properties of Multi-Agent Systems Via Local Laws / Wenxuan Zhang ; Constantin Serban ; Naftaly Minsky
E4MAS Through Electronic Institutions / Josep Lluis Arcos ; Pablo Noriega ; Juan A. Rodriguez-Aguilar ; Carles Sierra
Spatially Distributed Normative Infrastructure / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems / Rodrigo Paes ; Gustavo Carvalho ; Maira Gatti ; Carlos Lucena ; Jean-Pierre Briot ; Ricardo Choren
Applications
Urban Traffic Control with Co-Fields / Marco Camurri ; Marco Mamei ; Franco Zambonelli
Designing Self-organising MAS Environments: The Collective Sort Case / Matteo Casadei
Author Index
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
37.

電子ブック

EB
Sergei O. Kuznetsov, Stefan Schmidt, Stefan E. Schmidt, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data / Mohamed Hacene Rouane ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev
Computing Intensions of Digital Library Collections / Carlo Meghini ; Nicolas Spyratos
Custom Asymmetric Page Split Generalized Index Search Trees and Formal Concept Analysis / Ben Martin
The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees / Sebastien Ferre
A Parameterized Algorithm for Exploring Concept Lattices / Peggy Cellier ; Olivier Ridoux ; Mireille Ducasse
About the Lossless Reduction of the Minimal Generator Family of a Context / Tarek Hamrouni ; Sadok Ben Yahia ; Engelbert Mephu Nguifo
Some Notes on Pseudo-closed Sets / Sebastian Rudolph
Performances of Galois Sub-hierarchy-building Algorithms / Gabriela Arevalo ; Anne Berry ; Guillaume Perrot ; Alain Sigayret
Galois Connections Between Semimodules and Applications in Data Mining / Francisco J. Valverde-Albacete ; Carmen Pelaez-Moreno
On Multi-adjoint Concept Lattices: Definition and Representation Theorem / Jesus Medina ; Manuel Ojeda-Aciego ; Jorge Ruiz-Calvino
Base Points, Non-unit Implications, and Convex Geometries / Heiko Reppe
Lattices of Relatively Axiomatizable Classes / Dmitry E. Pal'chunov
A Solution of the Word Problem for Free Double Boolean Algebras / Bjorn Vormbrock
On the MacNeille Completion of Weakly Dicomplemented Lattices / Leonard Kwuida ; Branimir Seselja ; Andreja Tepavcevic
Polynomial Embeddings and Representations / Tim Becker
The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices
Bipartite Ferrers-Graphs and Planar Concept Lattices / Christian Zschalig
Author Index
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
38.

電子ブック

EB
Aijun An, Stan Matwin, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle / Michael Lowry
Knowledge Discovery and Data Mining - Foundations
Boosting Support Vector Machines for Imbalanced Data Sets / Benjamin X. Wang ; Nathalie Japkowicz
Class-Oriented Reduction of Decision Tree Complexity / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Evaluating Decision Trees Grown with Asymmetric Entropies / Simon Marcellin ; Djamel A. Zighed ; Gilbert Ritschard
Stepwise Induction of Logistic Model Trees / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba ; Savino Saponara
Stochastic Propositionalization for Efficient Multi-relational Learning / N. Di Mauro ; T.M.A. Basile ; S. Ferilli ; F. Esposito
Analyzing Behavior of Objective Rule Evaluation Indices Based on Pearson Product-Moment Correlation Coefficient / Hidenao Abe ; Shusaku Tsumoto
Knowledge Discovery and Data Mining - Advances
Obtaining Low-Arity Discretizations from Online Data Streams / Tapio Elomaa ; Petri Lehtinen ; Matti Saarela
Maps Ensemble for Semi-Supervised Learning of Large High Dimensional Datasets / Elie Prudhomme ; Stephane Lallich
Mining Induced and Embedded Subtrees in Ordered, Unordered, and Partially-Ordered Trees / Aida Jimenez
A Structure-Based Clustering on LDAP Directory Information / Vassiliki Koutsonikola ; Athena Vakali ; Antonios Mpalasas ; Michael Valavanis
iZi: A New Toolkit for Pattern Mining Problems / Frederic Flouvat ; Fabien De Marchi ; Jean-Marc Petit
A Multi-relational Hierarchical Clustering Method for Datalog Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Laredam - Considerations on System of Local Analytical Reports from Data Mining / Jan Rauch ; Milan Simunek
Outlier Detection Techniques for Process Mining Applications / Lucantonio Ghionna ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Knowledge Discovery and Data Mining - Mining Changes and Actionable Patterns
Action Rule Extraction from a Decision Table: ARED / Seunghyun Im ; Zbigniew W. Ras
Discovering the Concise Set of Actionable Patterns / Li-Shiang Tsay
Discovering Emerging Patterns for Anomaly Detection in Network Connection Data / Costantina Caruso
Temporal Extrapolation within a Static Clustering / Tim K. Cocx ; Walter A. Kosters ; Jeroen F.J. Laros
Discovering Explanations from Longitudinal Data / Corrado Loglisci
Logic for Artificial Intelligence
Reduced Implicate/Implicant Tries / Neil V. Murray ; Erik Rosenthal
Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes / Juan Frausto-Solis ; Felix Martinez-Rios
Modeling Cooperation in P2P Data Management Systems / Luciano Caroprese ; Ester Zumpano
Interactions between Rough Parts in Object Perception / Andrzej W. Przybyszewski
Autonomic and Evolutionary Computation
A Multi-objective Optimal Approach for UAV Routing in Reconnaissance Mission with Stochastic Observation Time / Xingguang Peng ; Xiaoguang Gao
Hybrid Unsupervised/Supervised Virtual Reality Spaces for Visualizing Gastric and Liver Cancer Databases: An Evolutionary Computation Approach / Alan J. Barton ; Julio J. Valdes
Self-calibrating Strategies for Evolutionary Approaches that Solve Constrained Combinatorial Problems / Elizabeth Montero ; Maria-Cristina Riff
Soft Computing
Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach / Allel Hadjali ; Olivier Pivert
Term Distribution-Based Initialization of Fuzzy Text Clustering / Krzysztof Ciesielski ; Mieczyslaw A. Klopotek ; Slawomir T. Wierzchon
Cooperative Answering to Flexible Queries Via a Tolerance Relation / Patrick Bosc
Effectiveness of Fuzzy Discretization for Class Association Rule-Based Classification / Keivan Kianmehr ; Mohammed Alshalalfa ; Reda Alhajj
Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics / Fernando Bobillo ; Umberto Straccia
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces / Feifei Xu ; Yiyu Yao ; Duoqian Miao
An Ant Colony System Algorithm to Solve Routing Problems Applied to the Delivery of Bottled Products / Laura Cruz Reyes ; Jose F. Delgado Orta ; Juan J. Gonzalez Barbosa ; Jose Torres Jimenez ; Hector J. Fraire Huacuja ; Barbara A. Arranaga Cruz
Databases and Data Warehouses
Predicate Indexing for Incremental Multi-Query Optimization / Chun Jin ; Jaime Carbonell
SQL Queries with CASE Expressions / Jarek Gryz ; Qiong Wang ; Xiaoyan Qian ; Calisto Zuzarte
Top-Down Compression of Data Cubes in the Presence of Simultaneous Multiple Hierarchical Range Queries / Alfredo Cuzzocrea
Degrees of Exclusivity in Disjunctive Databases / Navin Viswanath ; Rajshekhar Sunderraman
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL / Nikos Papadakis ; Dimitris Plexousakis ; Grigoris Antoniou ; Manolis Daskalakis ; Yannis Christodoulou
Digital Library
Image Databases Browsing by Unsupervised Learning / Charbel Julien ; Lorenza Saitta
Decision Tree Induction for Identifying Trends in Line Graphs / Peng Wu ; Sandra Carberry ; Daniel Chester ; Stephanie Elzer
Automatic Handling of Digital Image Repositories: A Brief Survey
Development of the XML Digital Library from the Parliament of Andalucia for Intelligent Structured Retrieval / Juan M. Fernandez-Luna ; Juan F. Huete ; Manuel Gomez ; Carlos J. Martin-Dancausa
Intelligent Information Retrieval
Evaluating Information Retrieval System Performance Based on Multi-grade Relevance / Bing Zhou
A Dynamic Window Based Passage Extraction Algorithm for Genomics Information Retrieval / Qinmin Hu ; Xiangji Huang
Mining Scalar Representations in a Non-tagged Music Database / Rory A. Lewis ; Wenxin Jiang
Identification of Dominating Instrument in Mixes of Sounds of the Same Pitch / Alicja Wiezcorkowska ; Elzbieta Kolczynska
Performance Weights for the Linear Combination Data Fusion Method in Information Retrieval / Shengli Wu ; Qili Zhou ; Yaxin Bi ; Xiaoqin Zeng
Combining Multiple Sources of Evidence in Web Information Extraction / Martin Labsky ; Vojtech Svatek
Text Mining
Autonomous News Clustering and Classification for an Intelligent Web Portal / Traian Rebedea ; Stefan Trausan-Matu
On Determining the Optimal Partition in Agglomerative Clustering of Documents / Ahmad El Sayed ; Hakim Hacid ; Djamel Zighed
Ontological Summaries through Hierarchical Clustering / Troels Andreasen ; Henrik Bulskov ; Thomas Vestskov Terney
Classification of Web Services Using Tensor Space Model and Rough Ensemble Classifier / Suman Saha ; C.A. Murthy ; Sankar K. Pal
Intelligent Information Systems
Agent-Based Assistant for e-Negotiations / Simone A. Ludwig
Local Soft Belief Updating for Relational Classification / Guoli Ding ; R.F. Lax ; Jianhua Chen ; Peter Chen ; Brian D. Marx
On a Probabilistic Combination of Prediction Sources / Ioannis Rousidis ; George Tzagkarakis ; Yannis Tzitzikas
Effective Document-Oriented Telemetry Data Compression / David Maluf ; Chen-jung Hsu ; Peter Tran ; David Tran
Knowledge Representation and Integration
Improving Integration with Subjective Combining of Ontology Mappings / Dennis Hooijmaijers ; Markus Stumptner
Text Onto Miner - A Semi Automated Ontology Building System / Piotr Gawrysiak ; Grzegorz Protaziuk ; Henryk Rybinski ; Alexandre Delteil
Ontology-Driven Adaptive Medical Information Collection System / Matt-Mouley Bouamrane ; Alan Rector ; Martin Hurrell
An Effective Ontology Matching Technique / Ahmed Alasoud ; Volker Haarslev ; Nematollaah Shiri
A Causal Approach for Explaining Why a Heuristic Algorithm Outperforms Another in Solving an Instance Set of the Bin Packing Problem / Joaquin Perez ; Laura Cruz ; Rodolfo Pazos ; Vanesa Landero ; Gerardo Reyes ; Crispin Zavala ; Hector Fraire ; Veronica Perez
Web Service and Intelligence
A Graph b-Coloring Based Method for Composition-Oriented Web Services Classification / Lyes Dekar ; Hamamache Kheddouci
OWL-S Atomic Services Composition with SWRL Rules / Domenico Redavid ; Luigi Iannone ; Terry Payne ; Giovanni Semeraro
A Web-Based Interface for Hiding Bayesian Network Inference / C.J. Butz ; P. Lingras ; K. Konkel
Applications
Extraction of Informative Genes from Integrated Microarray Data / Dongwan Hong ; Jongkeun Lee ; Sangkyoon Hong ; Jeehee Yoon ; Sanghyun Park
Using Data Mining for Dynamic Level Design in Games / Kitty S.Y. Chiu ; Keith C.C. Chan
A Logic Programming Based Framework for Security Protocol Verification / Shujing Wang ; Yan Zhang
Applying Cost Sensitive Feature Selection in an Electric Database / Manuel Mejia-Lavalle
Author Index
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
39.

電子ブック

EB
Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jörg Siekmann, Jun Tani
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
40.

電子ブック

EB
Alexander Clark, François Coste, Laurent Miclet, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
A Polynomial Algorithm for the Inference of Context Free Languages / Alexander Clark ; Remi Eyraud ; Amaury Habrard
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings / Colin de la Higuera ; Jean-Christophe Janodet ; Frederic Tantini
Relevant Representations for the Inference of Rational Stochastic Tree Languages / Francois Denis ; Edouard Gilbert ; Faissal Ouardi ; Marc Tommasi
Learning Commutative Regular Languages / Antonio Cano Gomez ; Gloria I. Alvarez
Learning Left-to-Right and Right-to-Left Iterative Languages / Jeffrey Heinz
Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets / Yuuichi Kameda ; Hiroo Tokunaga ; Akihiro Yamamoto
A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness / Anna Kasprzik
On Learning Regular Expressions and Patterns Via Membership and Correction Queries / Efim Kinber
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints / Bernard Lambeau ; Christophe Damas ; Pierre Dupont
Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries / Jose Oncina
Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata / Jorge Castro ; Ricard Gavalda
Learning Context-Sensitive Languages from Linear Structural Information / Jose M. Sempere
Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries / Yasuhiro Tajima ; Yoshiyuki Kotani
How to Split Recursive Automata / Isabelle Tellier
A Note on the Relationship between Different Types of Correction Queries / Cristina Tirnauca
Unsupervised Learning of Probabilistic Context-Free Grammar Using Iterative Biclustering / Kewei Tu ; Vasant Honavar
Polynomial Distinguishability of Timed Automata / Sicco Verwer ; Mathijs de Weerdt ; Cees Witteveen
Evaluation and Comparison of Inferred Regular Grammars / Neil Walkinshaw ; Kirill Bogdanov ; Ken Johnson
Identification in the Limit of k, l-Substitutable Context-Free Languages / Ryo Yoshinaka
Poster Papers
Learning Subclasses of Pure Pattern Languages / P.J. Abisha ; D.G. Thomas ; Sindhu J. Kumaar
Which Came First, the Grammar or the Lexicon? / Tom Armstrong ; Tim Oates
Learning Node Label Controlled Graph Grammars (Extended Abstract) / Christophe Costa Florencio
Inference of Uniquely Terminating EML / S. Kannamma ; K. Rangarajan
Estimating Graph Parameters Using Graph Grammars / Sourav Mukherjee
Learning of Regular [omega]-Tree Languages / M. Jayasrirani ; M.H. Begam
Inducing Regular Languages Using Grammar-Based Classifier System / Olgierd Unold
Problems with Evaluation of Unsupervised Empirical Grammatical Inference Systems / Menno van Zaanen ; Jeroen Geertzen
Author Index
Regular Papers
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
41.

電子ブック

EB
Emilio Corchado, Ajith Abraham, Witold Pedrycz, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
42.

電子ブック

EB
Nada Lavrac, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Building Theories of the World: Human and Machine Learning Perspectives / Joshua B. Tenenbaum
SRL without Tears: An ILP Perspective / Kristian Kersting
Semantic Web Meets ILP: Unconsumated Love, or No Love Lost? / Frank van Harmelen
Learning Expressive Models of Gene Regulation / Mark Craven
Information Overload and FP7 Funding Opportunities in 2009-10 / Stefano Bertolo
Research Papers
A Model to Study Phase Transition and Plateaus in Relational Learning / Erick Alphonse ; Aomar Osmani
Top-Down Induction of Relational Model Trees in Multi-instance Learning / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba
Challenges in Relational Learning for Real-Time Systems Applications / Mark Bartlett ; Iain Bate ; Dimitar Kazakov
Discriminative Structure Learning of Markov Logic Networks / Marenglen Biba ; Stefano Ferilli ; Floriana Esposito
An Experiment in Robot Discovery with ILP / Gregor Leban ; Jure Zabkar ; Ivan Bratko
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples / Ana Luisa Duboc ; Aline Paes ; Gerson Zaverucha
DL-FOIL: Concept Learning in Description Logics / Nicola Fanizzi ; Claudia d'Amato
Feature Discovery with Type Extension Trees / Paolo Frasconi ; Manfred Jaeger ; Andrea Passerini
Feature Construction Using Theory-Guided Sampling and Randomised Search / Sachindra Joshi ; Ganesh Ramakrishnan ; Ashwin Srinivasan
Foundations of Onto-Relational Learning / Francesca A. Lisi
L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar Learning / Thierry Mamer ; Christopher H. Bryant ; John McCall
Logical Hierarchical Hidden Markov Models for Modeling User Activities / Sriraam Natarajan ; Hung H. Bui ; Prasad Tadepalli ; Weng-Keen Wong
Learning with Kernels in Description Logics
Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms / Simon Price ; Peter Flach
A Comparison between Two Statistical Relational Models / Lorenza Saitta ; Christel Vrain
Brave Induction / Chiaki Sakama ; Katsumi Inoue
A Statistical Approach to Incremental Induction of First-Order Hierarchical Knowledge Bases / David J. Stracuzzi ; Tolga Konik
A Note on Refinement Operators for IE-Based ILP Systems / Alireza Tamaddoni-Nezhad ; Stephen Muggleton
Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation Approach / Werner Uwents ; Hendrik Blockeel
Learning Block-Preserving Outerplanar Graph Patterns and Its Application to Data Mining / Hitoshi Yamasaki ; Yosuke Sasaki ; Takayoshi Shoudai ; Tomoyuki Uchida ; Yusuke Suzuki
Author Index
Invited Talks
Building Theories of the World: Human and Machine Learning Perspectives / Joshua B. Tenenbaum
SRL without Tears: An ILP Perspective / Kristian Kersting
43.

電子ブック

EB
Hendrik Blockeel, Jan Ramon, Jude Shavlik, Jörg Siekmann, Prasad Tadepalli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Learning with Kernels and Logical Representations / Paolo Frasconi
Beyond Prediction: Directions for Probabilistic and Relational Learning / David D. Jensen
Extended Abstracts
Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract) / Jianzhong Chen ; Stephen Muggleton ; Jose Santos
Learning Directed Probabilistic Logical Models Using Ordering-Search / Daan Fierens ; Jan Ramon ; Maurice Bruynooghe ; Hendrik Blockeel
Learning to Assign Degrees of Belief in Relational Domains / Frederic Koriche
Bias/Variance Analysis for Relational Domains / Jennifer Neville ; David Jensen
Full Papers
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases / Claudia d'Amato ; Nicola Fanizzi ; Floriana Esposito
Clustering Relational Data Based on Randomized Propositionalization / Grant Anderson ; Bernhard Pfahringer
Structural Statistical Software Testing with Active Learning in a Graph / Nicolas Baskiotis ; Michele Sebag
Learning Declarative Bias / Will Bridewell ; Ljupco Todorovski
ILP:- Just Trie It / Rui Camacho ; Nuno A. Fonseca ; Ricardo Rocha ; Vitor Santos Costa
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning / Tom Croonenborghs ; Kurt Driessens
Empirical Comparison of "Hard" and "Soft" Label Propagation for Relational Classification / Aram Galstyan ; Paul R. Cohen
A Phase Transition-Based Perspective on Multiple Instance Kernels / Romaric Gaudel ; Antoine Cornuejols
Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates / Mark Goadrich ; Jude Shavlik
Applying Inductive Logic Programming to Process Mining / Evelina Lamma ; Paola Mello ; Fabrizio Riguzzi ; Sergio Storari
A Refinement Operator Based Learning Algorithm for the ALC Description Logic / Jens Lehmann ; Pascal Hitzler
Foundations of Refinement Operators for Description Logics
A Relational Hierarchical Model for Decision-Theoretic Assistance / Sriraam Natarajan ; Prasad Tadepalli ; Alan Fern
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming / Louis Oliphant
Revising First-Order Logic Theories from Examples Through Stochastic Local Search / Aline Paes ; Gerson Zaverucha
Using ILP to Construct Features for Information Extraction from Semi-structured Text / Ganesh Ramakrishnan ; Sachindra Joshi ; Sreeram Balakrishnan ; Ashwin Srinivasan
Mode-Directed Inverse Entailment for Full Clausal Theories / Oliver Ray ; Katsumi Inoue
Mining of Frequent Block Preserving Outerplanar Graph Structured Patterns / Yosuke Sasaki ; Hitoshi Yamasaki ; Takayoshi Shoudai ; Tomoyuki Uchida
Relational Macros for Transfer in Reinforcement Learning / Lisa Torrey ; Trevor Walker ; Richard Maclin
Seeing the Forest Through the Trees: Learning a Comprehensible Model from a First Order Ensemble / Anneleen Van Assche
Building Relational World Models for Reinforcement Learning
An Inductive Learning System for XML Documents / Xiaobing Wu
Author Index
Invited Talks
Learning with Kernels and Logical Representations / Paolo Frasconi
Beyond Prediction: Directions for Probabilistic and Relational Learning / David D. Jensen
44.

電子ブック

EB
The Duy Bui, Quang Thuy Ha, Tuong Vinh Ho, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological Processes of Agent-Based Modeling and Simulation Approaches: Open Challenges and Research Perspectives / Alexis Drogoul
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-Agent Environments / Ngoc Thanh Nguyen
Keynote Speech: Agent Oriented Software Engineering: Why and How / Lin Padgham
Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets / Maryam Nooraee Abadeh ; Kamran Zaminifar ; Mohammad-Reza Khayyambashi
Design of an Internet-Based Advisory System: A Multi-Agent Approach / Saadat M. Alhashmi
Towards Virtual Epidemiology: An Agent-Based Approach to the Modeling of H5N1 Propagation and Persistence in North-Vietnam / Edouard Amouroux ; Stephanie Desvaux
Measurement of Underlying Cooperation in Multiagent Reinforcement Learning / Sachiyo Arai ; Yoshihisa Ishigaki ; Hironori Hirata
Reo Connectors as Coordination Artifacts in 2APL Systems / Farhad Arbab ; Lacramioara Astefanoaei ; Frank S. de Boer ; Mehdi Dastani ; John-Jules Meyer ; Nick Tinnermeier
A Verification Framework for Normative Multi-Agent Systems
Social Viewpoints for Arguing about Coalitions / Guido Boella ; Leendert van der Torre ; Serena Villata
Changing Institutional Goals and Beliefs of Autonomous Agents
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations / Jan Broersen
When to Use a Multi-Agent System? / Paul Bogg ; Ghassan Beydoun ; Graham Low
Multiagent Incremental Learning in Networks / Gauvain Bourgne ; Amal El Fallah Seghrouchni ; Nicolas Maudet ; Henry Soldanos
UML-F in the Design of an Agent-Oriented Software Framework / Daniel Cabrera-Paniagua ; Claudio Cubillos
Interactive Learning of Expert Criteria for Rescue Simulations / Thanh-Quang Chu ; Alain Boucher ; Duc-An Vo ; Hong-Phuong Nguyen ; Jean-Daniel Zucker
Modularity in Agent Programming Languages: An Illustration in Extended 2APL / Christian P. Mol ; Bas R. Steunebrink
On the Pheromone Update Rules of Ant Colony Optimization Approaches for the Job Shop Scheduling Problem / Dong Do Duc ; Huy Q. Dinh ; Huan Hoang Xuan
Preliminary Result on Secure Protocols for Multiple Issue Negotiation Problems / Katsuhide Fujita ; Takayuki Ito ; Mark Klein
Performance Analysis about Parallel Greedy Approximation on Combinatorial Auctions / Naoki Fukuta
Online Market Coordination / Masabumi Furuhata ; Dongmo Zhang ; Laurent Perrussel
Towards an Evaluation Framework for MAS Software Engineering / Emilia Garcia ; Adriana Giret ; Vicente Botti
From Obligations to Organizational Structures in Multi-Agent Systems / J. Octavio Gutierrez-Garcia ; Jean-Luc Koning ; Felix F. Ramos-Corchado
Addressing the Brittleness of Agent Interaction / Mohd Fadzil Hassan ; Dave Robertson
Dividing Agents on the Grid for Large Scale Simulation / Dac Phuong Ho ; The Duy Bui ; Nguyen Luong Do
An Interest Rate Adjusting Method with Bayesian Estimation in Social Lending / Masashi Iwakami
A Temporal Logic for Stochastic Multi-Agent Systems / Wojciech Jamroga
Applying the Logic of Multiple-Valued Argumentation to Social Web: SNS and Wikipedia / Shusuke Kuribara ; Safia Abbas ; Hajime Sawamura
Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach / YiHua Lam
A Novel Approach for Conflict Resolution in Context-Awareness Using Semantic Unification of Multi-Cognition / Keonsoo Lee ; Minkoo Kim
Improving Trade-Offs in Bilateral Negotiations under Complete and Incomplete Information Settings / Ivan Marsa-Maestre ; Miguel A. Lopez-Carmona ; Juan R. Velasco
PAMS - A New Collaborative Framework for Agent-Based Simulation of Complex Systems / Trong Khanh Nguyen ; Nicolas Marilleau ; Tuong Vinh Ho
Methodological Steps and Issues When Deriving Individual Based-Models from Equation-Based Models: A Case Study in Population Dynamics / Ngoc Doanh Nguyen ; Pierre Auger
Abstraction of Agent Cooperation in Agent Oriented Programming Language / Nguyen Tuan Duc ; Ikuo Takeuchi
Knowledge Assessment: A Modal Logic Approach / Vineet Padmanabhan ; Guido Governatori ; Subhasis Thakur
The Design of a Self-locating Automatic-Driving Robot / Gi-Duck Park ; Robert McCartney ; Jung-Jin Yang
Settling on the Group's Goals: An n-Person Argumentation Game Approach / Duy Hoang Pham
Revenue Maximising Adaptive Auctioneer Agent / Janine Claire Pike ; Elizabeth Marie Ehlers
Managing Collaboration Using Agent Based Simulation / Utomo Sarjono Putro ; Manahan Siallagan ; Santi Novani ; Dhanan Sarwo Utomo
Using Agent-Based Simulation of Human Behavior to Reduce Evacuation Time / Arief Rahman ; Ahmad Kamil Mahmood ; Etienne Schneider
Participatory Simulation Platform Using Network Games / Shoichi Sawada ; Hiromitsu Hattori ; Marika Odagaki ; Kengo Nakajima ; Toru Ishida
A Multiagent-System Framework for Hierarchical Control and Monitoring of Complex Process Control Systems / Vu Van Tan ; Dae-Seung Yoo ; Myeong-Jae Yi
Agent Reasoning with Semantic Web in Web Blogs / Dinh Que Tran ; Tuan Nha Hoang
Design of a Multiagent System over Mobile Devices for the Planning of Touristic Travels / Miguel Valdes
Author Index
Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological Processes of Agent-Based Modeling and Simulation Approaches: Open Challenges and Research Perspectives / Alexis Drogoul
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-Agent Environments / Ngoc Thanh Nguyen
Keynote Speech: Agent Oriented Software Engineering: Why and How / Lin Padgham
45.

電子ブック

EB
Serge Autexier, John Campbell, Julio Rubio, Jörg Siekmann, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2008
Invited Talks
Symmetry and Search - A Survey / Steve Linton
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra / Jochen Pfalzgraf
Contributed Papers
Applying Link Grammar Formalismin the Development of English-Indonesian Machine Translation System / Teguh Bharata Adji ; Baharum Baharudin ; Norshuhani Zamin
Case Studies in Model Manipulation for Scientific Computing / Jacques Carette ; Spencer Smith ; John McCutchan ; Christopher Anand ; Alexandre Korobkine
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle / Peter Chapman ; James McKinna ; Christian Urban
AISC Meets Natural Typography / James H. Davenport
The Monoids of Order Eight and Nine / Andreas Distler ; Tom Kelsey
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation / Lucas Dixon ; Ross Duncan
A Full First-Order Constraint Solver for Decomposable Theories / Khalil Djelloul
Search Techniques for Rational Polynomial Orders / Carsten Fuhs ; Rafael Navarro-Marset ; Carsten Otto ; Jurgen Giesl ; Salvador Lucas ; Peter Schneider-Kamp
Strategies for Solving SAT in Grids by Randomized Search / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Towards an Implementation of a Computer Algebra System in a Functional Language / Oleg Lobachev ; Rita Loogen
Automated Model Building: From Finite to Infinite Models / Nicolas Peltier
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple / Eugenio Roanes-Lozano ; Luis M. Laita ; Eugenio Roanes-Macias
On the Construction of Transformation Steps in the Category of Multiagent Systems / Thomas Soboll
Increasing Interpretations / Harald Zankl ; Aart Middeldorp
Contributions to Calculemus 2008
Invited Talk
Validated Evaluation of Special Mathematical Functions / Franky Backeljauw ; Stefan Becuwe ; Annie Cuyt
MetiTarski: An Automatic Prover for the Elementary Functions / Behzad Akbarpour ; Lawrence C. Paulson
High-Level Theories / William M. Farmer
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL / Amine Chaieb
A Global Workspace Framework for Combining Reasoning Systems / John Charnley ; Simon Colton
Effective Set Membership in Computer Algebra and Beyond
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems / Cesar Dominguez
Symbolic Computation Software Composability / Sebastian Freundt ; Peter Horn ; Alexander Konovalov ; Dan Roozemond
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server / J. Santiago Jorge ; Victor M. Gulias ; Laura M. Castro
Automating Side Conditions in Formalized Partial Functions / Cezary Kaliszyk
Combining Isabelle and QEPCAD-B in the Prover's Palette / Laura I. Meikle ; Jacques D. Fleuriot
Contributions to MKM 2008
Digital Mathematics Libraries: The Good, the Bad, the Ugly / Thierry Bouche
Automating Signature Evolution in Logical Theories / Alan Bundy
A Tactic Language for Hiproofs / David Aspinall ; Ewen Denney ; Christoph Luth
Logic-Free Reasoning in Isabelle/Isar / Stefan Berghofer ; Makarius Wenzel
A Mathematical Type for Physical Variables / Joseph B. Collins
Unit Knowledge Management / Jonathan Stratford
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors / Dominik Dietrich ; Ewaryst Schulz ; Marc Wagner
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar / Akio Fujiyoshi ; Masakazu Suzuki ; Seiichi Uchida
Specifying Strategies for Exercises / Bastiaan Heeren ; Johan Jeuring ; Arthur van Leeuwen ; Alex Gerdes
Mediated Access to Symbolic Computation Systems / Jonathan Heras ; Vico Pascual ; Julio Rubio
Herbrand Sequent Extraction / Stefan Hetzl ; Alexander Leitsch ; Daniel Weller ; Bruno Woltzenlogel Paleo
Visual Mathematics: Diagrammatic Formalization and Proof / John Howse ; Gem Stapleton
Normalization Issues in Mathematical Representations / Manfred Kerber
Notations for Living Mathematical Documents / Michael Kohlhase ; Christine Muller ; Florian Rabe
Cross-Curriculum Search for Intergeo / Paul Libbrecht ; Cyrille Desmoulins ; Christian Mercat ; Colette Laborde ; Michael Dietrich ; Maxim Hendriks
Augmenting Presentation MathML for Search / Bruce R. Miller ; Abdou Youssef
Automated Classification and Categorization of Mathematical Knowledge / Radim Rehurek ; Petr Sojka
Kantian Philosophy of Mathematics and Young Robots / Aaron Sloman
Transforming the arxiv to XML / Heinrich Stamerjohanns
On Correctness of Mathematical Texts from a Logical and Practical Point of View / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich ; Anatoly Anisimov
Author Index
Contributions to AISC 2008
Invited Talks
Symmetry and Search - A Survey / Steve Linton
46.

電子ブック

EB
Caihua Xiong, Yongan Huang, Honghai Liu, Jörg Siekmann, Youlun Xiong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
47.

電子ブック

EB
Caihua Xiong, Yongan Huang, Honghai Liu, Jörg Siekmann, Youlun Xiong
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
48.

電子ブック

EB
Helmut Prendinger, Mitsuru Ishizuka, James Lester, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Emotion and Empathy
The Relation between Gaze Behavior and the Attribution of Emotion: An Empirical Study / Brent Lance ; Stacy C. Marsella
Affect Simulation with Primary and Secondary Emotions / Christian Becker-Asano ; Ipke Wachsmuth
User Study of AffectIM, an Emotionally Intelligent Instant Messaging System / Alena Neviarouskaya ; Helmut Prendinger ; Mitsuru Ishizuka
Expressions of Empathy in ECAs / Radoslaw Niewiadomski ; Magalie Ochs ; Catherine Pelachaud
Narrative and Augmented Reality
Archetype-Driven Character Dialogue Generation for Interactive Narrative / Jonathan P. Rowe ; Eun Young Ha ; James C. Lester
Towards a Narrative Mind: The Creation of Coherent Life Stories for Believable Virtual Agents / Wan Ching Ho ; Kerstin Dautenhahn
Emergent Narrative as a Novel Framework for Massively Collaborative Authoring / Michael Kriegel ; Ruth Aylett
Towards Real-Time Authoring of Believable Agents in Interactive Narrative / Martin van Velsen
Male Bodily Responses during an Interaction with a Virtual Woman / Xueni Pan ; Marco Gillies ; Mel Slater
A Virtual Agent for a Cooking Navigation System Using Augmented Reality / Kenzaburo Miyawaki ; Mutsuo Sano
Conversation and Negotiation
Social Perception and Steering for Online Avatars / Claudio Pedica ; Hannes Vilhjalmsson
Multi-party, Multi-issue, Multi-strategy Negotiation for Multi-modal Virtual Agents / David Traum ; Jonathan Gratch ; Jina Lee ; Arno Hartholt
A Granular Architecture for Dynamic Realtime Dialogue / Kristinn R. Thorisson ; Gudny Ragna Jonsdottir
Generating Dialogues for Virtual Agents Using Nested Textual Coherence Relations / Hugo Hernault ; Paul Piwek
Integrating Planning and Dialogue in a Lifestyle Agent / Cameron Smith ; Marc Cavazza ; Daniel Charlton ; Li Zhang ; Markku Turunen ; Jaakko Hakulinen
Audio Analysis of Human/Virtual-Human Interaction / Harold Rodriguez ; Diane Beck ; David Lind ; Benjamin Lok
Nonverbal Behavior
Learning Smooth, Human-Like Turntaking in Realtime Dialogue / Eric Nivel
Predicting Listener Backchannels: A Probabilistic Multimodal Approach / Louis-Philippe Morency ; Iwan de Kok
IGaze: Studying Reactive Gaze Behavior in Semi-immersive Human-Avatar Interactions / Michael Kipp ; Patrick Gebhard
Estimating User's Conversational Engagement Based on Gaze Behaviors / Ryo Ishii ; Yukiko I. Nakano
The Effects of Agent Nonverbal Communication on Procedural and Attitudinal Learning Outcomes / Amy L. Baylor ; Soyoung Kim
Evaluating Data-Driven Style Transformation for Gesturing Embodied Agents / Alexis Heloir ; Sylvie Gibet ; Nicolas Courty
Models of Culture and Personality
Culture-Specific First Meeting Encounters between Virtual Agents / Matthias Rehm ; Yukiko Nakano ; Elisabeth Andre ; Toyoaki Nishida
Virtual Humans Elicit Skin-Tone Bias Consistent with Real-World Skin-Tone Biases / Brent Rossen ; Kyle Johnsen ; Adeline Deladisma ; Scott Lind
Cross-Cultural Evaluations of Avatar Facial Expressions Designed by Western Designers / Tomoko Koda
Agreeable People Like Agreeable Virtual Humans / Sin-Hwa Kang ; Ning Wang ; James H. Watt
A Listening Agent Exhibiting Variable Behaviour / Elisabetta Bevacqua ; Maurizio Mancini
Markup and Representation Languages
The Next Step towards a Function Markup Language / Dirk Heylen ; Stefan Kopp
Extending MPML3D to Second Life / Sebastian Ullrich ; Klaus Bruegmann
An Extension of MPML with Emotion Recognition Functions Attached / Xia Mao ; Zheng Li ; Haiyan Bao
Architectures for Robotic Agents
ITACO: Effects to Interactions by Relationships between Humans and Artifacts / Kohei Ogawa ; Tetsuo Ono
Teaching a Pet Robot through Virtual Games / Anja Austermann ; Seiji Yamada
Cognitive Architectures
Modeling Self-deception within a Decision-Theoretic Framework / Jonathan Y. Ito ; David V. Pynadath
Modeling Appraisal in Theory of Mind Reasoning / Mei Si
Improving Adaptiveness in Autonomous Characters / Mei Yii Lim ; Joao Dias ; Ana Paiva
The Embodiment of a DUAL/AMBR Based Cognitive Model in the RASCALLI Multi-agent Platform / Stefan Kostadinov ; Maurice Grinberg
BDI Model-Based Crowd Simulation / Kenta Cho ; Naoki Iketani ; Masaaki Kikuchi ; Keisuke Nishimura ; Hisashi Hayashi ; Masanori Hattori
The Mood and Memory of Believable Adaptable Socially Intelligent Characters / Mark Burkitt ; Daniela M. Romano
Agents for Healthcare and Training
Visualizing the Importance of Medical Recommendations with Conversational Agents / Gersende Georg
Evaluation of Justina: A Virtual Patient with PTSD / Patrick Kenny ; Thomas D. Parsons ; Albert A. Rizzo
Elbows Higher! Performing, Observing and Correcting Exercises by a Virtual Trainer / Zsofia Ruttkay ; Herwin van Welbergen
A Virtual Therapist That Responds Empathically to Your Answers / Matthijs Pontier ; Ghazanfar F. Siddiqui
Agents in Games, Museums and Virtual Worlds
IDEAS4Games: Building Expressive Virtual Characters for Computer Games / Marc Schroder ; Marcela Charfuelan ; Christoph Endres ; Sathish Pammi ; Martin Rumpler ; Oytun Turk
Context-Aware Agents to Guide Visitors in Museums / Ichiro Satoh
Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents / Anton Bogdanovych ; Simeon Simoff ; Marc Esteva
Posters
Enculturating Conversational Agents Based on a Comparative Corpus Study / Afia Akhter Lipi ; Yuji Yamaoka
The Reactive-Causal Architecture: Towards Development of Believable Agents / Ali Orhan Aydin ; Mehmet Ali Orgun ; Abhaya Nayak
Gesture Recognition in Flow in the Context of Virtual Theater / Ronan Billon ; Alexis Nedelec ; Jacques Tisseau
Automatic Generation of Conversational Behavior for Multiple Embodied Virtual Characters: The Rules and Models behind Our System / Werner Breitfuss
Implementing Social Filter Rules in a Dialogue Manager Using Statecharts / Jenny Brusk
Towards Realistic Real Time Speech-Driven Facial Animation / Aleksandra Cerekovic ; Goranka Zoric ; Karlo Smid ; Igor S. Pandzic
Avatar Customization and Emotions in MMORPGs / Shun-an Chung ; Jim Jiunde Lee
Impact of the Agent's Localization in Human-Computer Conversational Interaction / Aurelie Cousseau ; Francois Le Pichon
Evolving Expression of Emotions in Virtual Humans Using Lights and Pixels / Celso de Melo
Motivations and Personality Traits in Decision-Making / Etienne de Sevin
A Flexible Behavioral Planner in Real-Time
Face to Face Interaction with an Intelligent Virtual Agent: The Effect on Learning Tactical Picture Compilation / Willem A. van Doesburg ; Rosemarijn Looije ; Willem A. Melder ; Mark A. Neerincx
Creating and Scripting Second Life Bots Using MPML3D / Birgit Endrass
Piavca: A Framework for Heterogeneous Interactions with Virtual Characters
Interpersonal Impressions of Agents for Developing Intelligent Systems / Kaoru Sumi ; Mizue Nagata
Comparing an On-Screen Agent with a Robotic Agent in Non-Face-to-Face Interactions / Takanori Komatsu ; Yukari Abe
Sustainability and Predictability in a Lasting Human-Agent Interaction / Toshiyuki Kondo ; Daisuke Hirakawa ; Takayuki Nozawa
Social Effects of Virtual Assistants. A Review of Empirical Results with Regard to Communication / Nicole C. Kramer
SoNa: A Multi-agent System to Support Human Navigation in a Community, Based on Social Network Analysis / Shizuka Kumokawa ; Victor V. Kryssanov ; Hitoshi Ogawa
Animating Unstructured 3D Hand Models / Jituo Li ; Li Bai ; Yangsheng Wang
Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions / Yueh-Hung Lin ; Chia-Yang Liu ; Hung-Wei Lee ; Shwu-Lih Huang ; Tsai-Yen Li
Individualised Product Portrayals in the Usability of a 3D Embodied Conversational Agent in an eBanking Scenario / Alexandra Matthews ; Nicholas Anderson ; James Anderson ; Mervyn Jack
Multi-agent Negotiation System in Electronic Environments / Dorin Militaru
A Study of the Use of a Virtual Agent in an Ambient Intelligence Environment / German Montoro ; Pablo A. Haya ; Sandra Baldassarri ; Eva Cerezo ; Francisco Jose Seron
Automatic Torso Engagement for Gesturing Characters / Michael Neff
Modeling the Dynamics of Virtual Agent's Social Relations / Nicolas Sabouret ; Vincent Corruble
Proposal of an Artificial Emotion Expression System Based on External Stimulus and Emotional Elements / Seungwon Oh ; Minsoo Hahn
A Reactive Architecture Integrating an Associative Memory for Sensory-Driven Intelligent Behavior / David Panzoli ; Herve Luga ; Yves Duthen
Social Responses to Virtual Humans: Automatic Over-Reliance on the "Human" Category / Sung Park ; Richard Catrambone
Adaptive Self-feeding Natural Language Generator Engine / Jovan David Rebolledo Mendez ; Kenji Nakayama
A Model of Motivation for Virtual-Worlds Avatars / Genaro Rebolledo-Mendez ; David Burden ; Sara de Freitas
Towards Virtual Emotions and Emergence of Social Behaviour / Dirk M. Reichardt
Using Virtual Agents for the Teaching of Requirements Elicitation in GSD / Miguel Romero ; Aurora Vizcaino ; Mario Piattini
A Virtual Agent's Behavior Selection by Using Actions for Focusing of Attention / Haris Supic
Emergent Narrative and Late Commitment / Ivo Swartjes ; Edze Kruizinga ; Mariet Theune
"I Would Like to Trust It but" Perceived Credibility of Embodied Social Agents: A Proposal for a Research Framework / Federico Tajariol ; Valerie Maffiolo ; Gaspard Breton
Acceptable Dialogue Start Supporting Agent for Avatar-Mediated Multi-tasking Online Communication / Takahiro Tanaka ; Kyouhei Matsumura ; Kinya Fujita
Do You Know How I Feel? Evaluating Emotional Display of Primary and Secondary Emotions / Julia Tolksdorf
Comparing Emotional vs. Envelope Feedback for ECAs / Astrid von der Putten ; Christian Reipen ; Antje Wiedmann
Intelligent Agents Living in Social Virtual Environments - Bringing Max into Second Life / Erik Weitnauer ; Nick M. Thomas ; Felix Rabe
Author Index
Emotion and Empathy
The Relation between Gaze Behavior and the Attribution of Emotion: An Empirical Study / Brent Lance ; Stacy C. Marsella
Affect Simulation with Primary and Secondary Emotions / Christian Becker-Asano ; Ipke Wachsmuth
49.

電子ブック

EB
Andreas R. Dengel, Karsten Berns, Frank Bomarius, Thomas M. Breuel, Thomas R. Roth-Berghofer, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Folk Reducibility and AI-Complete Problems / Randy Goebel
Meme Media and Knowledge Federation / Yuzuru Tanaka ; Jun Fujima ; Micke Kuwahara
Papers
Navidgator - Similarity Based Browsing for Image and Video Databases / Damian Borth ; Christian Schulze ; Adrian Ulges ; Thomas M. Breuel
Automating Interactive Protocol Verification / Lassaad Cheikhrouhou ; Andreas Nonnengart ; Werner Stephan ; Frank Koob ; Georg Rock
Iterative Search for Similar Documents on Mobile Devices / Kristof Csorba ; Istvan Vajk
Limits and Possibilities of BDDs in State Space Search / Stefan Edelkamp ; Peter Kissmann
Interactive Dynamic Information Extraction / Kathrin Eichler ; Holmer Hemsen ; Markus Lockelt ; Gunter Neumann ; Norbert Reithinger
Fusing DL Reasoning with HTN Planning / Ronny Hartanto ; Joachim Hertzberg
Multi-value Classification of Very Short Texts / Andreas Hess ; Philipp Dopichaj ; Christian Maass
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework / Martin Hofmann ; Emanuel Kitzelmann ; Ute Schmid
High-Level Expectations for Low-Level Image Processing / Lothar Hotz ; Bernd Neumann ; Kasim Terzic
Automatic Bidding for the Game of Skat / Thomas Keller ; Sebastian Kupferschmid
Automobile Driving Behavior Recognition Using Boosting Sequential Labeling Method for Adaptive Driver Assistance Systems / Wathanyoo Khaisongkram ; Pongsathorn Raksincharoensak ; Masamichi Shimosaka ; Taketoshi Mori ; Tomomasa Sato ; Masao Nagai
Identifying and Analysing Germany's Top Blogs / Darko Obradovic ; Stephan Baumann
Planar Features for Visual SLAM / Tobias Pietzsch
Extracting and Querying Relations in Scientific Papers / Ulrich Schafer ; Hans Uszkoreit ; Christian Federmann ; Torsten Marek ; Yajing Zhang
Efficient Hierarchical Reasoning about Functions over Numerical Domains / Viorica Sofronie-Stokkermans
A Drum Machine That Learns to Groove / Axel Tidemann ; Yiannis Demiris
Posters
Believing Finite-State Cascades in Knowledge-Based Information Extraction / Benjamin Adrian ; Andreas Dengel
A Methodological Approach for the Effective Modeling of Bayesian Networks / Martin Atzmueller ; Florian Lemmerich
Plan Repair in Hybrid Planning / Julien Bidot ; Bernd Schattenberg ; Susanne Biundo
Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model / Tim Braun ; Henning Bitsch ; Karsten Berns
Symbolic Classification of General Two-Player Games
Partial Symbolic Pattern Databases for Optimal Sequential Planning
Optimal Scheduling with Resources for Application Execution in 3G Networks / Roman Englert
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles / Stefan Goldmann ; Ralf Salomon
On-Line Detection of Rule Violations in Table Soccer / Armin Hornung ; Dapeng Zhang
Extracting and Verifying Hyponymy Relations Based on Multiple Patterns and Features / Lei Liu ; Sen Zhang ; Lu Hong Diao ; Shu Ying Yan ; Cun Gen Cao
News Annotations for Navigation by Semantic Similarity / Walter Kasper ; Jorg Steffen
EANT+KALMAN: An Efficient Reinforcement Learning Method for Continuous State Partially Observable Domains / Yohannes Kassahun ; Jose de Gea ; Jan Hendrik Metzen ; Mark Edgington ; Frank Kirchner
Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships / Hans-Ulrich Krieger
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models / Yohei Kurata ; Hui Shi
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Christoph Mies ; Alexander Ferrein ; Gerhard Lakemeyer
A Recognition Interface for Bridging the Semantic Desktop and the Physical World / Hiroshi Miyake ; Koichi Kise
Learning by Observing: Case-Based Decision Making in Complex Strategy Games / Armin Stahl
Toward Alignment with a Virtual Human - Achieving Joint Attention / Nadine Pfeiffer-Lessmann ; Ipke Wachsmuth
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions / Walid S. Saba
FACT-Graph: Trend Visualization by Frequency and Co-occurrence / Ryosuke Saga ; Masahiro Terachi ; Zhongqi Sheng ; Hiroshi Tsuji
Enhancing Animated Agents in an Instrumented Poker Game / Marc Schroder ; Patrick Gebhard ; Marcela Charfuelan ; Christoph Endres ; Michael Kipp ; Sathish Pammi ; Martin Rumpler ; Oytun Turk
Shallow Models for Non-iterative Modal Logics / Lutz Schroder ; Dirk Pattinson
Homography Based State Estimation for Aerial Robots / Jakob Schwendner
A Symbolic Pattern Classifier for Interval Data Based on Binary Probit Analysis / Renata M.C.R. de Souza ; Francisco Jose A. Cysneiros ; Diego C.F. Queiroz ; Roberta A. de A. Fagundes
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions / H. Joe Steinhauer
Visual-Based Emotion Detection for Natural Man-Machine Interaction / Samuel Strupp ; Norbert Schmitz
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction / Rustam Tagiew
Bayesian Network for Future Home Energy Consumption / Atsushi Takahashi ; Shingo Aoki ; Shuki Inoue
Learning Dance Movements by Imitation: A Multiple Model Approach / Pinar Ozturk
Demos
Ontology-Based Information Extraction and Reasoning for Business Intelligence Applications / Thierry Declerck ; Bernd Kiefer
A Scalable Architecture for Cross-Modal Semantic Annotation and Retrieval / Manuel Moller ; Michael Sintek
Prototype Prolog API for Mindstorms NXT / Grzegorz J. Nalepa
VARDA Rule Design and Visualization Tool-Chain / Igor Wojnicki
COSAIR: A Platform for AI Education and Research in Computer Strategy Games
Research Center Ambient Intelligence: Assisted Bicycle Team Training / Bernd Schurmann ; Roland Volk
Author Index
Invited Talks
Folk Reducibility and AI-Complete Problems / Randy Goebel
Meme Media and Knowledge Federation / Yuzuru Tanaka ; Jun Fujima ; Micke Kuwahara
50.

電子ブック

EB
Aldo Gangemi, Jérôme Euzenat, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Knowledge Patterns (Extended Abstract) / Peter Clark
Computational Semantics and Knowledge Engineering / Johan Bos
Principles for Knowledge Engineering on the Web / Guus Schreiber
Knowledge Patterns and Knowledge Representation
Applying Ontology Design Patterns in Bio-ontologies / Mikel Egana ; Alan Rector ; Robert Stevens ; Erick Antezana
A Pattern and Rule-Based Approach for Reusing Adaptive Hypermedia Creator's Models / Nadjet Zemirline ; Chantal Reynaud ; Yolaine Bourda ; Fabrice Popineau
Natural Language-Based Approach for Helping in the Reuse of Ontology Design Patterns / Guadalupe Aguado de Cea ; Asuncion Gomez-Perez ; Elena Montiel-Ponsoda ; Mari Carmen Suarez-Figueroa
On the Influence of Description Logics Ontologies on Conceptual Similarity / Claudia d'Amato ; Steffen Staab ; Nicola Fanizzi
Polishing Diamonds in OWL 2 / Rinke Hoekstra ; Joost Breuker
Formalizing Ontology Modularization through the Notion of Interfaces / Faezeh Ensan
Correspondence Patterns for Ontology Alignment / Francois Scharffe ; Dieter Fensel
Matching Ontologies and Data Integration
Learning Disjointness for Debugging Mappings between Lightweight Ontologies / Christian Meilicke ; Johanna Volker ; Heiner Stuckenschmidt
Towards a Rule-Based Matcher Selection / Malgorzata Mochol ; Anja Jentzsch
An Analysis of the Origin of Ontology Mismatches on the Semantic Web / Paul R. Smart ; Paula C. Engelbrecht
Preference-Based Uncertain Data Integration / Matteo Magnani ; Danilo Montesi
Natural Language, Knowledge Acquisition and Annotations
Unsupervised Discovery of Compound Entities for Relationship Extraction / Cartic Ramakrishnan ; Pablo N. Mendes ; Shaojun Wang ; Amit P. Sheth
Formal Concept Analysis: A Unified Framework for Building and Refining Ontologies / Rokia Bendaoud ; Amedeo Napoli ; Yannick Toussaint
Contextualized Knowledge Acquisition in a Personal Semantic Wiki / Ludger van Elst ; Malte Kiesel ; Sven Schwarz ; Georg Buscher ; Andreas Lauer ; Andreas Dengel
Using the Intension of Classes and Properties Definition in Ontologies for Word Sense Disambiguation / Khaled Khelif ; Fabien Gandon ; Olivier Corby ; Rose Dieng-Kuntz
Mapping General-Specific Noun Relationships to WordNet Hypernym/Hyponym Relations / Gael Dias ; Raycho Mukelov ; Guillaume Cleuziou
Analysing Ontological Structures through Name Pattern Tracking / Ondrej Svab-Zamazal ; Vojtech Svatek
Semi-automatic Construction of an Ontology and of Semantic Annotations from a Discussion Forum of a Community of Practice / Bassem Makni ; Hacene Cherfi
OMEGA: An Automatic Ontology Metadata Generation Algorithm / Rachanee Ungrangsi ; Elena Simperl
Automatic Tag Suggestion Based on Resource Contents / Bruno Oliveira ; Pavel Calado ; H. Sofia Pinto
Integration of Semantically Annotated Data by the KnoFuss Architecture / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
Search, Query and Interaction
A Visual Approach to Semantic Query Design Using a Web-Based Graphical Query Designer / Alistair Russell ; Dave Braines ; Yannis Kalfoglou ; Jie Bao ; Nigel R. Shadbolt
Search Query Generation with MCRDR Document Classification Knowledge / Yang Sok Kim ; Byeong Ho Kang
Ontological Profiles in Enterprise Search / Geir Solskinnsbakk ; Jon Atle Gulla
Ontologies
A Generic Ontology for Collaborative Ontology-Development Workflows / Abraham Sebastian ; Natalya F. Noy ; Tania Tudorache ; Mark A. Musen
GoodRelations: An Ontology for Describing Products and Services Offers on the Web / Martin Hepp
An Ontology-Centric Approach to Sensor-Mission Assignment / Mario Gomez ; Alun Preece ; Matthew P. Johnson ; Geeth de Mel ; Wamberto Vasconcelos ; Christopher Gibson ; Amotz Bar-Noy ; Konrad Borowiecki ; Thomas La Porta ; Diego Pizzocaro ; Hosam Rowaihy ; Gavin Pearson ; Tien Pham
Ontology Based Legislative Drafting: Design and Implementation of a Multilingual Knowledge Resource / Tommaso Agnoloni ; Lorenzo Bacci ; Enrico Francesconi
Situated Cognition in the Semantic Web Era / Paul Compton ; Rodrigo Martinez-Bejar ; Mamatha Rudrapatna ; Arcot Sowmya
E-Business Vocabularies as a Moving Target: Quantifying the Conceptual Dynamics in Domains
A Platform for Object-Action Semantic Web Interaction / Roberto Garcia ; Juan Manuel Gimeno ; Ferran Perdrix ; Rosa Gil ; Marta Oliva
Author Index
Invited Talks
Knowledge Patterns (Extended Abstract) / Peter Clark
Computational Semantics and Knowledge Engineering / Johan Bos
51.

電子ブック

EB
Ignac Lovrek, Robert J. Howlett, L. C. Jain, Lakhmi C. Jain, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
52.

電子ブック

EB
Ignac Lovrek, Robert J. Howlett, L. C. Jain, Lakhmi C. Jain, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
53.

電子ブック

EB
Ignac Lovrek, Robert J. Howlett, L. C. Jain, Lakhmi C. Jain, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
54.

電子ブック

EB
Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Jörg Siekmann, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Open Knowledge - Coordinating Knowledge Sharing through Peer-to-Peer Interaction / Dave Robertson et al.
Agent Reasoning and Semantics
Probabilistic and Logical Beliefs / John W. Lloyd ; Kee Siong Ng
An Argumentation Based Semantics for Agent Reasoning / Sanjay Modgil
Goal Selection Strategies for Rational Agents / Nick A.M. Tinnemeier ; Mehdi Dastani ; John-Jules Ch. Meyer
Declarative Languages and Technologies
A Common Basis for Agent Organisation in BDI Languages / Anthony Hepple ; Louise Dennis ; Michael Fisher
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS / Egon van Baars ; Rineke Verbrugge
Methodologies and Design
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems / Iman Badr ; Hisham Mubarak ; Peter Gohner
Measuring Complexity of Multi-agent Simulations - An Attempt Using Metrics / Franziska Klugl
DCaseLP: A Prototyping Environment for Multi-language Agent Systems / Viviana Mascardi ; Maurizio Martelli ; Ivana Gungui
A Step Towards Fault Tolerance for Multi-Agent Systems / Katia Potiron ; Patrick Taillibert ; Amal El Fallah Seghrouchni
Development Frameworks
The Webbridge Framework for Building Web-Based Agent Applications / Alexander Pokahr ; Lars Braubach
Specifying Interaction Space Components in a FIPA-ACL Interaction Framework / Ernesto German ; Leonid Sheremetov
Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications / Giancarlo Fortino ; Alfredo Garro ; Wilma Russo
Introducing a Process Infrastructure for Agent Systems / Christine Reese ; Matthias Wester-Ebbinghaus ; Till Dorges ; Lawrence Cabac ; Daniel Moldt
Facilitating Agent Development in Open Distributed Systems / Mauro Gaspari ; Davide Guidi
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications / Alessandro Ricci ; Mirko Viroli ; Giulio Piancastelli
Author Index
Invited Paper
Open Knowledge - Coordinating Knowledge Sharing through Peer-to-Peer Interaction / Dave Robertson et al.
Agent Reasoning and Semantics
55.

電子ブック

EB
Takenobu Tokunaga, Antonio Ortega, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
56.

電子ブック

EB
Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Jörg Siekmann, Keiki Takadama
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Learning Classifier Systems: Looking Back and Glimpsing Ahead / Jaume Bacardit ; Ester Bernado-Mansilla ; Martin V. Butz
Knowledge Representations
Analysis of Population Evolution in Classifier Systems Using Symbolic Representations / Pier Luca Lanzi ; Stefano Rocca ; Kumara Sastry ; Stefania Solari
Investigating Scaling of an Abstracted LCS Utilising Ternary and S-Expression Alphabets / Charalambos Ioannides ; Will Browne
Evolving Fuzzy Rules with UCS: Preliminary Results / Albert Orriols-Puig ; Jorge Casillas
Analysis of the System
A Principled Foundation for LCS / Jan Drugowitsch ; Alwyn M. Barry
Revisiting UCS: Description, Fitness Sharing, and Comparison with XCS
Mechanisms
Analysis and Improvements of the Classifier Error Estimate in XCSF / Daniele Loiacono ; Alwyn Barry
A Learning Classifier System with Mutual-Information-Based Fitness / Robert Elliott Smith ; Max Kun Jiang
On Lookahead and Latent Learning in Simple LCS / Larry Bull
A Learning Classifier System Approach to Relational Reinforcement Learning / Drew Mellor
Linkage Learning, Rule Representation, and the X-Ary Extended Compact Classifier System / Xavier Llora ; Claudio F. Lima ; Fernando G. Lobo ; David E. Goldberg
New Directions
Classifier Conditions Using Gene Expression Programming (Invited Paper) / Stewart W. Wilson
Evolving Classifiers Ensembles with Heterogeneous Predictors / Matteo Zanini
Substructural Surrogates for Learning Decomposable Classification Problems
Empirical Evaluation of Ensemble Techniques for a Pittsburgh Learning Classifier System / Natalio Krasnogor
Applications
Technology Extraction of Expert Operator Skills from Process Time Series Data / Setsuya Kurahashi ; Takao Terano
Analysing Learning Classifier Systems in Reactive and Non-reactive Robotic Tasks / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben
Author Index
Introduction
Learning Classifier Systems: Looking Back and Glimpsing Ahead / Jaume Bacardit ; Ester Bernado-Mansilla ; Martin V. Butz
Knowledge Representations
57.

電子ブック

EB
Iliano Cervesato, Jörg Siekmann, Helmut Veith, Andrei Voronkov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Constraint Solving / Session 1:
Symmetry Breaking for Maximum Satisfiability / Joao Marques-Silva ; Ines Lynce ; Vasco Manquinho
Efficient Generation of Unsatisfiability Proofs and Cores in SAT / Roberto Asin ; Robert Nieuwenhuis ; Albert Oliveras ; Enric Rodriguez-Carbonell
Justification-Based Local Search with Adaptive Noise Strategies / Matti Jarvisalo ; Tommi Junttila ; Ilkka Niemela
The Max-Atom Problem and Its Relevance / Marc Bezem
Knowledge Representation 1 / Session 2:
Towards Practical Feasibility of Core Computation in Data Exchange / Reinhard Pichler ; Vadim Savenkov
Data-Oblivious Stream Productivity / Jorg Endrullis ; Clemens Grabmayer ; Dimitri Hendriks
Reasoning about XML with Temporal Logics and Automata / Leonid Libkin ; Cristina Sirangelo
Distributed Consistency-Based Diagnosis / Vincent Armant ; Philippe Dague ; Laurent Simon
Proof-Theory 1 / Session 3:
From One Session to Many: Dynamic Tags for Security Protocols / Myrto Arapinis ; Stephanie Delaune ; Steve Kremer
A Conditional Logical Framework / Furio Honsell ; Marina Lenisa ; Luigi Liquori ; Ivan Scagnetto
Nominal Renaming Sets / Murdoch J. Gabbay ; Martin Hofmann
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic / Sean McLaughlin ; Frank Pfenning
Invited Talk
Model Checking-My 27-Year Quest to Overcome the State Explosion Problem (Abstract / Edmund M. Clarke
Automata / Session 4:
On the Relative Succinctness of Nondeterministic Buchi and co-Buchi Word Automata / Benjamin Aminof ; Orna Kupferman ; Omer Lev
Recurrent Reachability Analysis in Regular Model Checking / Anthony Widjaja To
Alternation Elimination by Complementation (Extended Abstract) / Christian Dax ; Felix Klaedtke
Discounted Properties of Probabilistic Pushdown Automata / Tomas Brazdil ; Vaclav Brozek ; Jan Holecek ; Antonin Kucera
Linear Arithmetic / Session 5:
A Quantifier Elimination Algorithm for Linear Real Arithmetic / David Monniaux
M[epsilon](LIA)-Model Evolution with Linear Integer Arithmetic Constraints / Peter Baumgartner ; Alexander Fuchs ; Cesare Tinelli
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic / Philipp Rummer
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking / Jori Dubrovin
Verification / Session 6:
On Bounded Reachability of Programs with Set Comprehensions / Margus Veanes ; Ando Saabas
Program Complexity in Hierarchical Module Checking / Aniello Murano ; Margherita Napoli ; Mimmo Parente
Valigator: A Verification Tool with Bound and Invariant Generation / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovacs
Reveal: A Formal Verification Tool for Verilog Designs / Zaher S. Andraus ; Mark H. Liffiton ; Karem A. Sakallah
Invited Talks
A Formal Language for Cryptographic Pseudocode / Michael Backes ; Matthias Berg ; Dominique Unruh
Reasoning Using Knots / Thomas Eiter ; Magdalena Ortiz ; Mantas Simkus
Knowledge Representation 2 / Session 7:
Role Conjunctions in Expressive Description Logics / Birte Glimm ; Yevgeny Kazakov
Default Logics with Preference Order: Principles and Characterisations / Tore Langholm
On Computing Constraint Abduction Answers / Michael Maher ; Ge Huang
Fast Counting with Bounded Treewidth / Michael Jakl ; Stefan Rummele ; Stefan Woltran
Proof-Theory 2 / Session 8:
Cut Elimination for First Order Godel Logic by Hyperclause Resolution / Matthias Baaz ; Agata Ciabattoni ; Christian G. Fermuller
Focusing Strategies in the Sequent Calculus of Synthetic Connectives / Kaustuv Chaudhuri
An Algorithmic Interpretation of a Deep Inference System / Kai Brunnler ; Richard McKinley
Weak [beta eta]-Normalization and Normalization by Evaluation for System F / Andreas Abel
Quantified Constraints / Session 9:
Variable Dependencies of Quantified CSPs / Marko Samer
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings / Luca Pulina ; Armando Tacchella
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates / Witold Charatonik ; Michal Wrona
A Logic of Singly Indexed Arrays / Peter Habermehl ; Radu Iosif ; Tomas Vojnar
Modal and Temporal Logics / Session 10:
On the Computational Complexity of Spatial Logics with Connectedness Constraints / Roman Kontchakov ; Ian Pratt-Hartmann ; Frank Wolter ; Michael Zakharyaschev
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification / Davide Bresolin ; Dario Della Monica ; Valentin Goranko ; Angelo Montanari ; Guido Sciavicco
The Variable Hierarchy for the Lattice [mu]-Calculus / Walid Belkhir ; Luigi Santocanale
A Formalised Lower Bound on Undirected Graph Reachability / Ulrich Schopp
Rewriting / Session 11:
Improving Context-Sensitive Dependency Pairs / Beatriz Alarcon ; Fabian Emmes ; Carsten Fuhs ; Jurgen Giesl ; Raul Gutierrez ; Salvador Lucas ; Peter Schneider-Kamp ; Rene Thiemann
Complexity, Graphs, and the Dependency Pair Method / Nao Hirokawa ; Georg Moser
Uncurrying for Termination / Aart Middeldorp ; Harald Zankl
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation / John P. Gallagher ; Mads Rosendahl
A Higher-Order Iterative Path Ordering / Cynthia Kop ; Femke van Raamsdonk
Author Index
Constraint Solving / Session 1:
Symmetry Breaking for Maximum Satisfiability / Joao Marques-Silva ; Ines Lynce ; Vasco Manquinho
Efficient Generation of Unsatisfiability Proofs and Cores in SAT / Roberto Asin ; Robert Nieuwenhuis ; Albert Oliveras ; Enric Rodriguez-Carbonell
58.

電子ブック

EB
Wilfrid Hodges, Ruy Queiroz, Ruy J. G. B. de Queiroz, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
59.

電子ブック

EB
Steffen Hölldobler, Carsten Lutz, Jörg Siekmann, Heinrich Wansing
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Justification Logic / Sergei Artemov
Voting in Combinatorial Domains: What Logic and AI Have to Say (Extended Abstract) / Jerome Lang
Regular Papers
Strongly Equivalent Temporal Logic Programs / Felicidad Aguado ; Pedro Cabalar ; Gilberto Perez ; Concepcion Vidal
Consistency Preservation and Crazy Formulas in BMS / Guillaume Aucher
Propositional Clausal Defeasible Logic / David Billington
Complexity and Succinctness Issues for Linear-Time Hybrid Logics / Laura Bozzelli ; Ruggero Lanotte
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders / Davide Bresolin ; Angelo Montanari ; Pietro Sala ; Guido Sciavicco
Normal Form Nested Programs / Annamaria Bria ; Wolfgang Faber ; Nicola Leone
A Logic for Closed-World Interaction / Jan Broersen ; Rosja Mastop ; John-Jules Ch. Meyer ; Paolo Turrini
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints / Luciano Caroprese ; Miroslaw Truszczynski
Recovering Consistency by Forgetting Inconsistency / Sylvie Coste-Marquis ; Pierre Marquis
On the Credal Structure of Consistent Probabilities / Fabio Cuzzolin
A Fluent Calculus Semantics for ADL with Plan Constraints / Conrad Drescher ; Michael Thielscher
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks / Paul E. Dunne ; Martin Caminada
Query Answering in the Description Logic Horn-SHIQ / Thomas Eiter ; Georg Gottlob ; Magdalena Ortiz ; Mantas Simkus
Accommodative Belief Revision / Satu Eloranta ; Raul Hakli ; Olli Niinivaara ; Matti Nykanen
Reasoning about Typicality in Preferential Description Logics / Laura Giordano ; Valentina Gliozzi ; Nicola Olivetti ; Gian Luca Pozzato
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction / Miki Hermann ; Reinhard Pichler
Uniform Interpolation by Resolution in Modal Logic / Andreas Herzig ; Jerome Mengin
GOAL Agents Instantiate Intention Logic / Koen Hindriks ; Wiebe van der Hoek
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials / Norihiro Kamide
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness / Ekaterina Komendantskaya ; John Power
Confluence Operators / Sebastien Konieczny ; Ramon Pino Perez
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation / Paul-Amaury Matt ; Francesca Toni
A Tableau for RoBCTL / John C. McCabe-Dansted
A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in EL w.r.t. Hybrid TBoxes / Novak Novakovic
Extending Carin to the Description Logics of the SH Family
How to Restore Compactness into Probabilistic Logics? / Aleksandar Perovic ; Zoran Ognjanovic ; Miodrag Raskovic ; Zoran Markovic
Combining Modes of Reasoning: An Application of Abstract Argumentation / Henry Prakken
Cheap Boolean Role Constructors for Description Logics / Sebastian Rudolph ; Markus Krotzsch ; Pascal Hitzler
Improved Second-Order Quantifier Elimination in Modal Logic / Renate A. Schmidt
Literal Projection for First-Order Logic / Christoph Wernhard
Meta Level Reasoning and Default Reasoning / Yi Zhou ; Yan Zhang
Rule Calculus: Semantics, Axioms and Applications
Author Index
Invited Talks
Justification Logic / Sergei Artemov
Voting in Combinatorial Domains: What Logic and AI Have to Say (Extended Abstract) / Jerome Lang
60.

電子ブック

EB
Walter Daelemans, Bart Goethals, Katharina Morik, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Exceptional Model Mining / Dennis Leman ; Ad Feelders ; Arno Knobbe
A Joint Topic and Perspective Model for Ideological Discourse / Wei-Hao Lin ; Eric Xing ; Alexander Hauptmann
Effective Pruning Techniques for Mining Quasi-Cliques / Guimei Liu ; Limsoon Wong
Efficient Pairwise Multilabel Classification for Large-Scale Problems in the Legal Domain / Eneldo Loza Mencia ; Johannes Furnkranz
Fitted Natural Actor-Critic: A New Algorithm for Continuous State-Action MDPs / Francisco S. Melo ; Manuel Lopes
A New Natural Policy Gradient by Stationary Distribution Metric / Tetsuro Morimura ; Eiji Uchibe ; Junichiro Yoshimoto ; Kenji Doya
Towards Machine Learning of Grammars and Compilers of Programming Languages / Keita Imada ; Katsuhiko Nakamura
Improving Classification with Pairwise Constraints: A Margin-Based Approach / Nam Nguyen ; Rich Caruana
Metric Learning: A Support Vector Approach / Yunsong Guo
Support Vector Machines, Data Reduction, and Approximate Kernel Matrices / XuanLong Nguyen ; Ling Huang ; Anthony D. Joseph
Mixed Bregman Clustering with Approximation Guarantees / Richard Nock ; Panu Luosto ; Jyrki Kivinen
Hierarchical, Parameter-Free Community Discovery / Spiros Papadimitriou ; Jimeng Sun ; Christos Faloutsos ; Philip S. Yu
A Genetic Algorithm for Text Classification Rule Induction / Adriana Pietramala ; Veronica L. Policicchio ; Pasquale Rullo ; Inderbir Sidhu
Nonstationary Gaussian Process Regression Using Point Estimates of Local Smoothness / Christian Plagemann ; Kristian Kersting ; Wolfram Burgard
Kernel-Based Inductive Transfer / Ulrich Ruckert ; Stefan Kramer
State-Dependent Exploration for Policy Gradient Methods / Thomas Ruckstiess ; Martin Felder ; Jurgen Schmidhuber
Client-Friendly Classification over Random Hyperplane Hashes / Shyamsundar Rajaram ; Martin Scholz
Large-Scale Clustering through Functional Embedding / Frederic Ratle ; Jason Weston ; Matthew L. Miller
Clustering Distributed Sensor Data Streams / Pedro Pereira Rodrigues ; Joao Gama ; Luis Lopes
A Novel Scalable and Data Efficient Feature Subset Selection Algorithm / Sergio Rodrigues de Morais ; Alex Aussem
Robust Feature Selection Using Ensemble Feature Selection Techniques / Yvan Saeys ; Thomas Abeel ; Yves Van de Peer
Effective Visualization of Information Diffusion Process over Complex Networks / Kazumi Saito ; Masahiro Kimura ; Hiroshi Motoda
Actively Transfer Domain Knowledge / Xiaoxiao Shi ; Wei Fan ; Jiangtao Ren
A Unified View of Matrix Factorization Models / Ajit P. Singh ; Geoffrey J. Gordon
Parallel Spectral Clustering / Yangqiu Song ; Wen-Yen Chen ; Hongjie Bai ; Chih-Jen Lin ; Edward Y. Chang
Classification of Multi-labeled Data: A Generative Approach / Andreas P. Streich ; Joachim M. Buhmann
Pool-Based Agnostic Experiment Design in Linear Regression / Masashi Sugiyama ; Shinichi Nakajima
Distribution-Free Learning of Bayesian Network Structure / Xiaohai Sun
Assessing Nonlinear Granger Causality from Multivariate Time Series
Clustering Via Local Regression / Jun Sun ; Zhiyong Shen ; Hui Li ; Yidong Shen
Decomposable Families of Itemsets / Nikolaj Tatti ; Hannes Heikinheimo
Transferring Instances for Model-Based Reinforcement Learning / Matthew E. Taylor ; Nicholas K. Jong ; Peter Stone
A Simple Model for Sequences of Relational State Descriptions / Ingo Thon ; Niels Landwehr ; Luc De Raedt
Semi-supervised Boosting for Multi-Class Classification / Hamed Valizadegan ; Rong Jin ; Anil K. Jain
A Joint Segmenting and Labeling Approach for Chinese Lexical Analysis / Xinhao Wang ; Jiazhong Nie ; Dingsheng Luo ; Xihong Wu
Transferred Dimensionality Reduction / Zheng Wang ; Changshui Zhang
Multiple Manifolds Learning Framework Based on Hierarchical Mixture Density Model / Xiaoxia Wang ; Peter Tino ; Mark A. Fardal
Estimating Sales Opportunity Using Similarity-Based Methods / Sholom M. Weiss ; Nitin Indurkhya
Learning MDP Action Models Via Discrete Mixture Trees / Michael Wynkoop ; Thomas Dietterich
Continuous Time Bayesian Networks for Host Level Network Intrusion Detection / Jing Xu ; Christian R. Shelton
Data Streaming with Affinity Propagation / Xiangliang Zhang ; Cyril Furtlehner ; Michele Sebag
Semi-supervised Discriminant Analysis Via CCCP / Yu Zhang ; Dit-Yan Yeung
Demo Papers
A Visualization-Based Exploratory Technique for Classifier Comparison with Respect to Multiple Metrics and Multiple Domains / Rocio Alaiz-Rodriguez ; Nathalie Japkowicz ; Peter Tischer
Pleiades: Subspace Clustering and Evaluation / Ira Assent ; Emmanuel Muller ; Ralph Krieger ; Timm Jansen ; Thomas Seidl
SEDiL: Software for Edit Distance Learning / Laurent Boyer ; Yann Esposito ; Amaury Habrard ; Jose Oncina ; Marc Sebban
Monitoring Patterns through an Integrated Management and Mining Tool / Evangelos E. Kotsifakos ; Irene Ntoutsi ; Yannis Vrahoritis ; Yannis Theodoridis
A Knowledge-Based Digital Dashboard for Higher Learning Institutions / Wan Maseri Binti Wan Mohd ; Abdullah Embong ; Jasni Mohd Zain
SINDBAD and SiQL: An Inductive Database and Query Language in the Relational Model / Jorg Wicker ; Lothar Richter ; Kristina Kessler
Author Index
Regular Papers
Exceptional Model Mining / Dennis Leman ; Ad Feelders ; Arno Knobbe
A Joint Topic and Perspective Model for Ideological Discourse / Wei-Hao Lin ; Eric Xing ; Alexander Hauptmann
61.

電子ブック

EB
Walter Daelemans, Bart Goethals, Katharina Morik, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
Industrializing Data Mining, Challenges and Perspectives / Francoise Fogelman-Soulie
From Microscopy Images to Models of Cellular Processes / Yoav Freund
Data Clustering: 50 Years Beyond K-means / Anil K. Jain
Learning Language from Its Perceptual Context / Raymond J. Mooney
The Role of Hierarchies in Exploratory Data Mining / Raghu Ramakrishnan
Machine Learning Journal Abstracts
Rollout Sampling Approximate Policy Iteration / Christos Dimitrakakis ; Michail G. Lagoudakis
New Closed-Form Bounds on the Partition Function / Krishnamurthy Dvijotham ; Soumen Chakrabarti ; Subhasis Chaudhuri
Large Margin vs. Large Volume in Transductive Learning / Ran El-Yaniv ; Dmitry Pechyony ; Vladimir Vapnik
Incremental Exemplar Learning Schemes for Classification on Embedded Devices / Ankur Jain ; Daniel Nikovski
A Collaborative Filtering Framework Based on Both Local User Similarity and Global User Similarity / Heng Luo ; Changyong Niu ; Ruimin Shen ; Carsten Ullrich
A Critical Analysis of Variants of the AUC / Stijn Vanderlooy ; Eyke Hullermeier
Improving Maximum Margin Matrix Factorization / Markus Weimer ; Alexandros Karatzoglou ; Alex Smola
Data Mining and Knowledge Discovery Journal Abstracts
Finding Reliable Subgraphs from Large Probabilistic Graphs / Petteri Hintsanen ; Hannu Toivonen
A Space Efficient Solution to the Frequent String Mining Problem for Many Databases / Adrian Kugel ; Enno Ohlebusch
The Boolean Column and Column-Row Matrix Decompositions / Pauli Miettinen
SkyGraph: An Algorithm for Important Subgraph Discovery in Relational Graphs / Apostolos N. Papadopoulos ; Apostolos Lyritsis ; Yannis Manolopoulos
Mining Conjunctive Sequential Patterns / Chedy Raissi ; Toon Calders ; Pascal Poncelet
Adequate Condensed Representations of Patterns / Arnaud Soulet ; Bruno Cremilleux
Two Heads Better Than One: Pattern Discovery in Time-Evolving Multi-aspect Data / Jimeng Sun ; Charalampos E. Tsourakakis ; Evan Hoke ; Christos Faloutsos ; Tina Eliassi-Rad
Regular Papers
TOPTMH: Topology Predictor for Transmembrane [alpha]-Helices / Rezwan Ahmed ; Huzefa Rangwala ; George Karypis
Learning to Predict One or More Ranks in Ordinal Regression Tasks / Jaime Alonso ; Juan Jose del Coz ; Jorge Diez ; Oscar Luaces ; Antonio Bahamonde
Cascade RSVM in Peer-to-Peer Networks / Hock Hee Ang ; Vivekanand Gopalkrishnan ; Steven C.H. Hoi ; Wee Keong Ng
An Algorithm for Transfer Learning in a Heterogeneous Environment / Andreas Argyriou ; Andreas Maurer ; Massimiliano Pontil
Minimum-Size Bases of Association Rules / Jose L. Balcazar
Combining Classifiers through Triplet-Based Belief Functions / Yaxin Bi ; Shengli Wu ; Xuhui Shen ; Pan Xiong
An Improved Multi-task Learning Approach with Applications in Medical Diagnosis / Jinbo Bi ; Tao Xiong ; Shipeng Yu ; Murat Dundar ; R. Bharat Rao
Semi-supervised Laplacian Regularization of Kernel Canonical Correlation Analysis / Matthew B. Blaschko ; Christoph H. Lampert ; Arthur Gretton
Sequence Labelling SVMs Trained in One Pass / Antoine Bordes ; Nicolas Usunier ; Leon Bottou
Semi-supervised Classification from Discriminative Random Walks / Jerome Callut ; Kevin Francoisse ; Marco Saerens ; Pierre Dupont
Learning Bidirectional Similarity for Collaborative Filtering / Bin Cao ; Jian-Tao Sun ; Jianmin Wu ; Qiang Yang ; Zheng Chen
Bootstrapping Information Extraction from Semi-structured Web Pages / Andrew Carlson ; Charles Schafer
Online Multiagent Learning against Memory Bounded Adversaries / Doran Chakraborty ; Peter Stone
Scalable Feature Selection for Multi-class Problems / Boris Chidlovskii ; Loic Lecerf
Learning Decision Trees for Unbalanced Data / David A. Cieslak ; Nitesh V. Chawla
Credal Model Averaging: An Extension of Bayesian Model Averaging to Imprecise Probabilities / Giorgio Corani ; Marco Zaffalon
A Fast Method for Training Linear SVM in the Primal / Trinh-Minh-Tri Do ; Thierry Artieres
On the Equivalence of the SMO and MDM Algorithms for SVM Training / Jorge Lopez ; Alvaro Barbero ; Jose R. Dorronsoro
Nearest Neighbour Classification with Monotonicity Constraints / Wouter Duivesteijn ; Ad Feelders
Modeling Transfer Relationships Between Learning Tasks for Improved Inductive Transfer / Eric Eaton ; Marie desJardins ; Terran Lane
Mining Edge-Weighted Call Graphs to Localise Software Bugs / Frank Eichinger ; Klemens Bohm ; Matthias Huber
Hierarchical Distance-Based Conceptual Clustering / Ana Maria Funes ; Cesar Ferri ; Jose Hernandez-Orallo ; Maria Jose Ramirez-Quintana
Mining Frequent Connected Subgraphs Reducing the Number of Candidates / Andres Gago Alonso ; Jose Eladio Medina Pagola ; Jesus Ariel Carrasco-Ochoa ; Jose Fco. Martinez-Trinidad
Unsupervised Riemannian Clustering of Probability Density Functions / Alvina Goh ; Rene Vidal
Online Manifold Regularization: A New Learning Setting and Empirical Study / Andrew B. Goldberg ; Ming Li ; Xiaojin Zhu
A Fast Algorithm to Find Overlapping Communities in Networks / Steve Gregory
A Case Study in Sequential Pattern Mining for IT-Operational Risk / Valerio Grossi ; Andrea Romei ; Salvatore Ruggieri
Tight Optimistic Estimates for Fast Subgroup Discovery / Henrik Grosskreutz ; Stefan Ruping ; Stefan Wrobel
Watch, Listen & Learn: Co-training on Captioned Images and Videos / Sonal Gupta ; Joohyun Kim ; Kristen Grauman ; Raymond Mooney
Parameter Learning in Probabilistic Databases: A Least Squares Approach / Bernd Gutmann ; Angelika Kimmig ; Kristian Kersting ; Luc De Raedt
Improving k-Nearest Neighbour Classification with Distance Functions Based on Receiver Operating Characteristics / Md. Rafiul Hassan ; M. Maruf Hossain ; James Bailey ; Kotagiri Ramamohanarao
One-Class Classification by Combining Density and Class Probability Estimation / Kathryn Hempstalk ; Eibe Frank ; Ian H. Witten
Efficient Frequent Connected Subgraph Mining in Graphs of Bounded Treewidth / Tamas Horvath ; Jan Ramon
Proper Model Selection with Significance Test / Jin Huang ; Charles X. Ling ; Harry Zhang ; Stan Matwin
A Projection-Based Framework for Classifier Performance Evaluation / Nathalie Japkowicz ; Pritika Sanghi ; Peter Tischer
Distortion-Free Nonlinear Dimensionality Reduction / Yangqing Jia ; Zheng Wang ; Changshui Zhang
Learning with L[subscript q<1] vs L[subscript 1]-Norm Regularisation with Exponentially Many Irrelevant Features / Ata Kaban ; Robert J. Durrant
Catenary Support Vector Machines / Kin Fai Kan ; Christian R. Shelton
Exact and Approximate Inference for Annotating Graphs with Structural SVMs / Thoralf Klein ; Ulf Brefeld ; Tobias Scheffer
Extracting Semantic Networks from Text Via Relational Clustering / Stanley Kok ; Pedro Domingos
Ranking the Uniformity of Interval Pairs / Jussi Kujala ; Tapio Elomaa
Multiagent Reinforcement Learning for Urban Traffic Control Using Coordination Graphs / Lior Kuyer ; Shimon Whiteson ; Bram Bakker ; Nikos Vlassis
StreamKrimp: Detecting Change in Data Streams / Matthijs van Leeuwen ; Arno Siebes
Author Index
Invited Talks (Abstracts)
Industrializing Data Mining, Challenges and Perspectives / Francoise Fogelman-Soulie
From Microscopy Images to Models of Cellular Processes / Yoav Freund
62.

電子ブック

EB
Alexander Gelbukh, Eduardo F. Morales, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
63.

電子ブック

EB
Ipke Wachsmuth, Günther Knoblich, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
From Annotated Multimodal Corpora to Simulated Human-Like Behaviors / Matthias Rehm ; Elisabeth Andre
Modeling Embodied Feedback with Virtual Humans / Stefan Kopp ; Jens Allwood ; Karl Grammer ; Elisabeth Ahlsen ; Thorsten Stocksmeier
The Recognition and Comprehension of Hand Gestures - A Review and Research Agenda / Timo Sowa
Modeling Facial Expression of Uncertainty in Conversational Animation / Matthew Stone ; Insuk Oh
The Evolution of Cognition-From First Order to Second Order Embodiment / Malte Schilling ; Holk Cruse
History and Current Researches on Building a Human Interface for Humanoid Robots / Yosuke Matsusaka
Typological and Computational Investigations of Spatial Perspective / Martin Loetzsch ; Remi van Trijp ; Luc Steels
Modeling Multimodal Communication as a Complex System / Kristinn R. Thorisson
Con-tact - On the Problem of the Absence of Eye Contact and Physical Contact in Virtual Interaction / Barbara Becker
True Emotion vs. Social Intentions in Nonverbal Communication: Towards a Synthesis for Embodied Conversational Agents / Jonathan Gratch
Facial Deception in Humans and ECAs / Isabella Poggi ; Radoslaw Niewiadomski ; Catherine Pelachaud
Theory of Mind as a Theoretical Prerequisite to Model Communication with Virtual Humans / Nicole C. Kramer
Listening Heads / Dirk Heylen
Dynamic Field Theory and Embodied Communication / Yulia Sandamirskaya ; Gregor Schoner
'I, Max' - Communicating with an Artificial Agent / Ipke Wachsmuth
Talking to Virtual Humans: Dialogue Models and Methodologies for Embodied Conversational Agents / David Traum
Can't Get You Out of My Head: A Connectionist Model of Cyclic Rehearsal / Herbert Jaeger ; Douglas Eck
Author Index
From Annotated Multimodal Corpora to Simulated Human-Like Behaviors / Matthias Rehm ; Elisabeth Andre
Modeling Embodied Feedback with Virtual Humans / Stefan Kopp ; Jens Allwood ; Karl Grammer ; Elisabeth Ahlsen ; Thorsten Stocksmeier
The Recognition and Comprehension of Hand Gestures - A Review and Research Agenda / Timo Sowa
64.

電子ブック

EB
Vicenç Torra, Yasuo Narukawa, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Toward Elucidating Language Functions in the Brain / Michio Sugeno
Privacy-Preserving Similarity Evaluation and Application to Remote Biometrics Authentication / Hiroaki Kikuchi ; Kei Nagai ; Wakaha Ogata ; Masakatsu Nishigaki
Regular Papers
Aggregation Operators
Suitability Maps Based on the LSP Method / Jozo J. Dujmovic ; Guy De Tre ; Nico Van de Weghe
Aggregated Mean Ratios of an Interval Induced from Aggregation Operations / Yuji Yoshida
WOWA Enhancement of the Preference Modeling in the Reference Point Method / Wlodzimierz Ogryczak
Uninorms and Non-contradiction / Ana Pradera
Choquet Stieltjes Integral, Losonczi's Means and OWA Operators / Vicenc Torra ; Yasuo Narukawa
The Polytope of Fuzzy Measures and Its Adjacency Graph / Elias F. Combarro ; Pedro Miranda
Decision Making
On Consensus Measures in Fuzzy Group Decision Making / F.J. Cabrerizo ; S. Alonso ; I.J. Perez ; E. Herrera-Viedma
SBM and Bipolar Models in Data Envelopment Analysis with Interval Data / Masahiro Inuiguchi ; Fumiki Mizoshita
A Comparison between Two Approaches to Threat Evaluation in an Air Defense Scenario / Fredrik Johansson ; Goran Falkman
Clustering and Similarity
Fuzzy Classification Function of Standard Fuzzy c-Means Algorithm for Data with Tolerance Using Kernel Function / Yuchi Kanzawa ; Yasunori Endo ; Sadaaki Miyamoto
A Similarity Measure for Sequences of Categorical Data Based on the Ordering of Common Elements / Cristina Gomez-Alonso ; Aida Valls
Analytical and Numerical Evaluation of the Suppressed Fuzzy C-Means Algorithm / Laszlo Szilagyi ; Sandor M. Szilagyi ; Zoltan Benyo
Generalized Agglomerative Clustering with Application to Information Systems
Computational Intelligence and Optimization
A Comprehensive Study on Reducts in Dominance-Based Rough Set Approach / Yoshifumi Kusunoki
Graph-Based Active Learning Based on Label Propagation / Jun Long ; Jianping Yin ; Wentao Zhao ; En Zhu
Golden Complementary Dual in Quadratic Optimization / Akifumi Kira ; Seiichi Iwamoto
Data Privacy
A Linear-Time Multivariate Micro-aggregation for Privacy Protection in Uniform Very Large Data Sets / Agusti Solanas ; Roberto Di Pietro
Improving Microaggregation for Complex Record Anonymization / Jordi Pont-Tuset ; Jordi Nin ; Pau Medrano-Gracia ; Josep Ll. Larriba-Pey ; Victor Muntes-Mulero
A Shared Steganographic File System with Error Correction / Josep Domingo-Ferrer ; Maria Bras-Amoros
Author Index
Invited Papers
Toward Elucidating Language Functions in the Brain / Michio Sugeno
Privacy-Preserving Similarity Evaluation and Application to Remote Biometrics Authentication / Hiroaki Kikuchi ; Kei Nagai ; Wakaha Ogata ; Masakatsu Nishigaki
65.

電子ブック

EB
Ngoc Thanh Nguyen, Moonis Ali, Leszek Borzemski, Adam Grzech, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
66.

電子ブック

EB
Takashi Washio, Akihiro Inokuchi, Ken Satoh, Jörg Siekmann, Hideaki Takeda, T. Washio
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Awarded Papers / Part I:
Overview of Awarded Papers - The 20th Annual Conference of JSAI / Hideaki Takeda
Translational Symmetry in Subsequence Time-Series Clustering / Tsuyoshi Ide
Visualization of Contents Archive by Contour Map Representation / Hidekazu Kubota ; Toyoaki Nishida ; Yasuyuki Sumi
Discussion Ontology: Knowledge Discovery from Human Activities in Meetings / Hironori Tornobe ; Katashi Nagao
Predicting Types of Protein-Protein Interactions Using a Multiple-Instance Learning Model / Hiroshi Yamakawa ; Koji Maruhashi ; Yoshio Nakao
Lattice for Musical Structure and Its Arithmetics / Keiji Hirata ; Satoshi Tojo
Viewlon: Visualizing Information on Semantic Sensor Network / Masayuki Furuyama ; Jun Mukai ; Michita Imai
Cooperative Task Achievement System Between Humans and Robots Based on Stochastic Memory Model of Spatial Environment / Tetsunari Inamura ; Tomohiro Kawaji ; Tomoyuki Sonoda ; Kei Okada ; Masayuki Inaba
People Who Create Knowledge Sharing Communities / Asako Miura ; Yasuyuki Kawaura ; Setsuko Jifuku ; Naoko Otaki ; Makoto Okamoto
Logic and Engineering of Natural Language Semantics / Part II:
Logic and Engineering of Natural Language Semantics (LENLS) 3 / Eric McCready
A Dynamic Semantics of Intentional Identity / Norihiro Ogata
Prolegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic / Satoru Suzuki
Logical Dynamics of Commands and Obligations / Tomoyuki Yamada
On Factive Islands: Pragmatic Anomaly vs. Pragmatic Infelicity / David Y. Oshima
Aspects of the Indefiniteness Effect / Linton Wang
Interpreting Metaphors in a New Semantic Theory of Concept / Yi Mao ; Beihai Zhou
Covert Emotive Modality Is a Monster / Sumiyo Nishiguchi
Conversational Implicatures Via General Pragmatic Pressures / Christopher Potts
Dake-wa: Exhaustifying Assertions / Yurie Hara
Unembedded 'Negative' Quantifiers / Yukio Furukawa
Learning with Logics and Logics for Learning / Part III:
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006) / Akihiro Yamamoto ; Kouichi Hirata ; Ken Satoh
Consistency Conditions for Inductive Inference of Recursive Functions / Yohji Akama ; Thomas Zeugmann
Inferability of Closed Set Systems from Positive Data / Matthew de Brecht ; Masanori Kobayashi ; Hiroo Tokunaga ; Akihiro Yamaraoto
An Extended Branch and Bound Search Algorithm for Finding Top-N Formal Concepts of Documents / Makoto Haraguchi ; Yoshiaki Okubo
N-Gram Analysis Based on Zero-Suppressed BDDs / Ryutaro Kurai ; Shin-ichi Minato
Risk Mining / Part IV:
Risk Mining - Overview / Shusaku Tsumoto ; Takashi Washio
Analysis on a Relation Between Enterprise Profit and Financial State by Using Data Mining Techniques / Yasuo Shinnou ; Katsutoshi Yada ; Hiroshi Motoda ; Takashi Okada
Unusual Condition Detection of Bearing Vibration in Hydroelectric Power Plants for Risk Management / Takashi Onoda ; Norihiko Ito ; Kenji Shimizu
Structural Health Assessing by Interactive Data Mining Approach in Nuclear Power Plant / Yufei Shu
Developing Mining-Grid Centric e-Finance Portals for Risk Management / Jia Hu ; Muneaki Ohshima ; Ning Zhong
Knowledge Discovery from Click Stream Data and Effective Site Management / Kosuke Ohno
Sampling-Based Stream Mining for Network Risk Management / Kenichi Yoshida
Relation Between Abductive and Inductive Types of Nursing Risk Management / Akinori Abe ; Hiromi Itoh Ozaku ; Noriaki Kuwahara ; Kiyoshi Kogure
Author Index
Awarded Papers / Part I:
Overview of Awarded Papers - The 20th Annual Conference of JSAI / Hideaki Takeda
Translational Symmetry in Subsequence Time-Series Clustering / Tsuyoshi Ide
67.

電子ブック

EB
Carsten Ullrich, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Preliminaries / Part I:
Introduction / 1:
Motivation / 1.1:
Contributions / 1.2:
Service-Oriented Course Generation / 1.2.1:
Modeling of Pedagogical Knowledge / 1.2.2:
Adaptivity in Generated Courses / 1.2.3:
Evaluation / 1.2.4:
Overview / 1.3:
Relevant Technologies / 2:
Basic Terminology / 2.1:
Semantic Web Technologies / 2.2:
Extensible Markup Language / 2.2.1:
Resource Description Framework / 2.2.2:
OWL Web Ontology Language / 2.2.3:
E-learning Standards / 2.3:
Learning Object Metadata / 2.3.1:
IMS Content Packaging / 2.3.2:
IMS Simple Sequencing / 2.3.3:
IMS Learning Design / 2.3.4:
Mathematics in the Web / 2.4:
OMDoc (Open Mathematical Documents) / 2.4.1:
The Learning Environment ActiveMath / 2.4.2:
Course Generation / 2.5:
Hierarchical Task Network Planning / 2.6:
Introduction to AI-Planning / 2.6.1:
Introduction to Hierarchical Task Network Planning / 2.6.2:
SHOP2 and JSHOP2 / 2.6.3:
JSHOP2 Formalism / 2.6.4:
Descriptive and Prescriptive Learning Theories / 3:
Behaviorism / 3.1:
Cognitivism / 3.2:
Constructivism / 3.3:
Instructional Design / 3.4:
Competency-Based Learning / 3.5:
Mathematical Competencies / 3.5.1:
Competency Levels / 3.5.2:
PAIGOS / Part II:
General Principles / 4:
An Ontology of Instructional Objects / 4.1:
Description of the Ontology / 4.1.1:
Why an Ontology? / 4.1.3:
Applications of the Ontology / 4.1.4:
A Mediator for Accessing Learning Object Repositories / 4.2:
Related Work / 4.2.1:
Overview of the Mediator Architecture / 4.2.2:
Querying the Mediator / 4.2.3:
Ontology Mapping and Query Rewriting / 4.2.4:
Repository Interface and Caching / 4.2.5:
Limitations of the Mediator as an Educational Service / 4.2.6:
Pedagogical Tasks, Methods and Strategies / 4.3:
Representing Course Generation Knowledge in an HTN Planner / 4.4:
Mapping Pedagogical Tasks onto HTN Tasks / 4.4.1:
Course Generation Planning Problems / 4.4.3:
Critical and Optional Tasks / 4.4.4:
Basic General Purpose Axioms and Operators / 4.5:
Testing for Equality / 4.5.1:
List Manipulation / 4.5.2:
Binding a Variable to All Terms of a Term List / 4.5.3:
Manipulating the World State / 4.5.4:
Basic Operators and Methods of the Course Generation Domain / 4.6:
Inserting References to Educational Resources / 4.6.1:
Starting and Ending Sections / 4.6.2:
Inserting References to Learning-Support Services / 4.6.3:
An Operator for Dynamic Text Generation / 4.6.4:
Dynamic Subtask Expansion / 4.6.5:
Accessing Information about Educational Resources / 4.6.6:
Axioms for Accessing the Learner Model / 4.6.7:
Processing Resources Depending on Learner Characteristics / 4.6.8:
Initializing and Manipulating Information about the Learning Goal / 4.6.9:
Converting a Plan into a Course / 4.7:
Generating Structure and Adaptivity: Dynamic Tasks / 4.8:
Generation of Narrative Bridges and Structure / 4.9:
Empirical Findings / 4.9.1:
Operator and Methods for Text Generation / 4.9.2:
Symbolic Representations of Dynamic Text Items / 4.9.3:
Generation of Structure Information / 4.9.4:
Summary / 4.10:
Course Generation in Practice: Formalized Scenarios / 5:
Moderate Constructivist Competency-Based Scenarios / 5.1:
Course Generation and Constructivism - a Contradiction? / 5.1.1:
Selecting Exercises / 5.1.2:
Selecting Examples / 5.1.3:
Scenario "Discover" / 5.1.4:
Scenario "Rehearse" / 5.1.5:
Scenario "Connect" / 5.1.6:
Scenario "Train Intensively" / 5.1.7:
Scenario "Train Competencies" / 5.1.8:
Scenario "Exam Simulation" / 5.1.9:
Course Generation Based on Instructional Design Principles / 5.2:
Merrill's "First Principles of Instruction" / 5.2.1:
Scenario "Guided Tour" / 5.2.2:
Implementation and Integration / 6:
Implementation / 6.1:
Integration of PAIGOS in ActiveMath / 6.2:
Course Generation in ActiveMath / 6.2.1:
Dynamically Generated Elements in a Table of Contents / 6.2.2:
Usage of Learning-Support Services in ActiveMath / 6.2.3:
Template-Based Generation of Narrative Bridges / 6.2.4:
PAIGOS as a Service in ActiveMath / 6.2.5:
Course Generation as a Web-Service / 6.3:
Interfaces / 6.3.1:
Technical Evaluations and Use Cases / 7:
Evaluation of the Ontology / 7.1.1:
Mediator Use Cases and Evaluations / 7.1.2:
Course Generation Use Cases and Evaluations / 7.1.3:
Performance of PAIGOS / 7.1.4:
Discussion / 7.1.5:
Formative and Summative Evaluation / 7.2:
Formative Evaluations / 7.2.1:
Summative Evaluation / 7.2.2:
Conclusions / 7.2.3:
Early Work / 8:
Generic Tutoring Environment / 8.2:
Dynamic Courseware Generator / 8.3:
ACE/WINDS / 8.4:
Former Course Generator of ActiveMath / 8.5:
APeLS/iClass / 8.6:
SeLeNe / 8.7:
Statistical Methods for Course Generation / 8.8:
Approaches Using Hierarchical Task Network Planning / 8.9:
Ontologies for Instructional Design / 8.10:
Future Work and Acknowledgments / 9:
Future Work / 9.1:
Complete List of User Comments
References
Index
Preliminaries / Part I:
Introduction / 1:
Motivation / 1.1:
68.

電子ブック

EB
Elisabeth André, Laila Dybkjr, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Jörg Siekmann, Michael Weber, Institute of Electrical and Electronics Engineers.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
69.

電子ブック

EB
Tu-Bao Ho, Jörg Siekmann, Zhi-Hua Zhou
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
70.

電子ブック

EB
François Fages, Francesca Rossi, Jörg Siekmann, Sylvain Soliman
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games / Krzysztof R. Apt ; Francesca Rossi ; K. Brent Venable
Temporal Reasoning in Nested Temporal Networks with Alternatives / Roman Bartak ; Ondrej Cepek ; Martin Hejna
SCLP for Trust Propagation in Small-World Networks / Stefano Bistarelli ; Francesco Santini
Improving ABT Performance by Adding Synchronization Points / Ismel Brito ; Pedro Meseguer
On the Integration of Singleton Consistencies and Look-Ahead Heuristics / Marco Correia ; Pedro Barahona
Combining Two Structured Domains for Modeling Various Graph Matching Problems / Yves Deville ; Gregoire Dooms ; Stephane Zampelli
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR / Thom Fruhwirth
Preference-Based Problem Solving for Constraint Programming / Ulrich Junker
Generalizing Global Constraints Based on Network Flows / Igor Razgon ; Barry O'Sullivan ; Gregory Provan
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks / Pavel Surynek
Author Index
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games / Krzysztof R. Apt ; Francesca Rossi ; K. Brent Venable
Temporal Reasoning in Nested Temporal Networks with Alternatives / Roman Bartak ; Ondrej Cepek ; Martin Hejna
SCLP for Trust Propagation in Small-World Networks / Stefano Bistarelli ; Francesco Santini
71.

電子ブック

EB
Sertan Girgin, Manuel Loth, Rémi Munos, Philippe Preux, Daniil Ryabko, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Lazy Planning under Uncertainty by Optimizing Decisions on an Ensemble of Incomplete Disturbance Trees / Boris Defourny ; Damien Ernst ; Louis Wehenkel
Exploiting Additive Structure in Factored MDPs for Reinforcement Learning / Thomas Degris ; Olivier Sigaud ; Pierre-Henri Wuillemin
Algorithms and Bounds for Rollout Sampling Approximate Policy Interation / Christos Dimitrakakis ; Michail G. Lagoudakis
Efficient Reinforcement Learning in Parameterized Models: Discrete Parameter Case / Kirill Dyagilev ; Shie Mannor ; Nahum Shimkin
Regularized Fitted Q-Iteration: Application to Planning / Amir massoud Farahmand ; Mohammad Ghavamzadeh ; Csaba Szepesvari
A Near Optimal Policy for Channel Allocation in Cognitive Radio / Sarah Filippi ; Olivier Cappe ; Fabrice Clerot ; Eric Moulines
Evaluation of Batch-Mode Reinforcement Learning Methods for Solving DEC-MDPs with Changing Action Sets / Thomas Gabel ; Martin Riedmiller
Bayesian Reward Filtering / Matthieu Geist ; Olivier Pietquin ; Gabriel Fricout
Basis Expansion in Natural Actor Critic Methods / Sertan Girgin ; Philippe Preux
Reinforcement Learning with the Use of Costly Features / Robby Goetschalckx ; Scott Sanner ; Kurt Driessens
Variable Metric Reinforcement Learning Methods Applied to the Noisy Mountain Car Problem / Verena Heidrich-Meisner ; Christian Igel
Optimistic Planning of Deterministic Systems / Jean-Francois Hren ; Remi Munos
Policy Iteration for Learning an Exercise Policy for American Options / Yuxi Li ; Dale Schuurmans
Tile Coding Based on Hyperplane Tiles / Daniele Loiacono ; Pier Luca Lanzi
Use of Reinforcement Learning in Two Real Applications / Jose D. Martin-Guerrero ; Emilio Soria-Olivas ; Marcelino Martinez-Sober ; Antonio J. Serrrano-Lopez ; Rafael Magdalena-Benedito ; Juan Gomez-Sanchis
Applications of Reinforcement Learning to Structured Prediction / Francis Maes ; Ludovic Denoyer ; Patrick Gallinari
Policy Learning-A Unified Perspective with Applications in Robotics / Jan Peters ; Jens Kober ; Duy Nguyen-Tuong
Probabilistic Inference for Fast Learning in Control / Carl Edward Rasmussen ; Marc Peter Deisenroth
United We Stand: Population Based Methods for Solving Unknown POMDPs / Noel Welsh ; Jeremy Wyatt
New Error Bounds for Approximations from Projected Linear Equations / Huizhen Yu ; Dimitri P. Bertsekas
Markov Decision Processes with Arbitrary Reward Processes / Jia Yuan Yu
Author Index
Lazy Planning under Uncertainty by Optimizing Decisions on an Ensemble of Incomplete Disturbance Trees / Boris Defourny ; Damien Ernst ; Louis Wehenkel
Exploiting Additive Structure in Factored MDPs for Reinforcement Learning / Thomas Degris ; Olivier Sigaud ; Pierre-Henri Wuillemin
Algorithms and Bounds for Rollout Sampling Approximate Policy Interation / Christos Dimitrakakis ; Michail G. Lagoudakis
72.

電子ブック

EB
Chien-Chung Chan, Jerzy W. Grzymala-Busse, Jörg Siekmann, Wojciech P. Ziarko
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
Neuroeconomics: Yet Another Field Where Rough Sets Can Be Useful? / Janusz Kacprzyk
Research Directions in the KES Centre / Lakhmi Jain ; Jeffrey Tweedale
Logical and Mathematical Foundations
On Irreducible Descriptive Sets of Attributes for Information Systems / Mikhail Moshkov ; Andrzej Skowron ; Zbigniew Suraj
Dominance-Based Rough Set Approach and Bipolar Abstract Rough Approximation Spaces / Salvatore Greco ; Benedetto Matarazzo ; Roman Slowinski
Paraconsistent Logic Programs with Four-Valued Rough Sets / Jan Maluszynski ; Andrzej Szalas ; Aida Vitoria
An Equivalent Definition of Rough Sets / Guilong Liu ; James Kuodo Huang
A Note on Attribute Reduction in the Decision-Theoretic Rough Set Model / Yan Zhao ; S.K.M. Wong ; Yiyu Y. Yao
An Interpretation of Belief Functions on Infinite Universes in the Theory of Rough Sets / Wei-Zhi Wu ; Ju-Sheng Mi
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders / Ryszard Janicki
On Rough Equalities and Rough Equivalences of Sets / Bala Krushna Tripathy ; Anirban Mitra ; Jaladhar Ojha
Data Analysis
Statistical Independence of Multi-variables from the Viewpoint of Linear Algebra / Shusaku Tsumoto ; Shoji Hirano
Rough Mereology in Classification of Data: Voting by Means of Residual Rough Inclusions / Lech Polkowski ; Piotr Artiemjew
Rough Set Approach to Information Tables with Imprecise Decisions / Masahiro Inuiguchi ; Bingjun Li
Computing Approximations of Dominance-Based Rough Sets by Bit-Vector Encodings / Chien-Chung Chan ; Gwo-Hshiung Tzeng
A Framework for Multiagent Mobile Robotics: Spatial Reasoning Based on Rough Mereology in Player/Stage System / Pawel Osmialowski
Natural versus Granular Computing: Classifiers from Granular Structures
Data Mining
Inducing Better Rule Sets by Adding Missing Attribute Values / Jerzy W. Grzymala-Busse ; Witold J. Grzymala-Busse
Rule Induction: Combining Rough Set and Statistical Approaches / Wojciech Jaworski
Action Rules Discovery without Pre-existing Classification Rules / Zbigniew W. Ras ; Agnieszka Dardzinska
Hierarchical Learning in Classification of Structured Objects / Tuan Trung Nguyen
A Comparison of the LERS Classification System and Rule Management in PRSM / Yiyu Yao
Similarity Relation in Classification Problems / Andrzej Janusz
Probabilistic Granule Analysis / Ivo Duntsch ; Gunther Gediga
Paraconsistent Case-Based Reasoning Applied to a Restoration of Electrical Power Substations / Helga Gonzaga Martins ; Germano Lambert-Torres ; Luiz Eduardo Borges da Silva ; Claudio Inacio de Almeida Costa ; Maurilio Pereira Coutinho
Solving the Attribute Reduction Problem with Ant Colony Optimization / Hong Yu ; Guoyin Wang ; Fakuan Lan
Actor Critic Learning: A Near Set Approach / Shamama Anwar ; K. Sridhar Patnaik
Compact Rule Learner on Weighted Fuzzy Approximation Spaces for Class Imbalanced and Hybrid Data / Yang Liu ; Boqin Feng ; Guohua Bai
Feature Selection Based on the Rough Set Theory and Expectation-Maximization Clustering Algorithm / Farideh Fazayeli ; Lipo Wang ; Jacek Mandziuk
Outlier Detection Based on Granular Computing / Yuming Chen ; Duoqian Miao ; Ruizhi Wang
Implementing a Rule Generation Method Based on Secondary Differences of Two Criteria / Hidenao Abe
Lower and Upper Approximations of Rules in Non-deterministic Information Systems / Hiroshi Sakai ; Ryuji Ishibashi ; Michinori Nakata
A New Approach to Fuzzy-Rough Nearest Neighbour Classification / Richard Jensen ; Chris Cornelis
Decision Support Systems
Towards Approximation of Risk / Marcin Szczuka
Business Aviation Decision-Making Using Rough Sets / Yu-Ping Ou Yang ; How-Ming Shieh ; Leon Yen
Phase Transition in SONFIS and SORST / Hamed O. Ghaffari ; Mostafa Sharifzadeh ; Witold Pedrycz
A New Rough Sets Decision Method Based on PCA and Ordinal Regression / Dun Liu ; Tianrui Li ; Pei Hu
Rough Set Flow Graphs and Max - * Fuzzy Relation Equations in State Prediction Problems / Zofia Matusiewicz ; Krzysztof Pancerz
Clustering
Precision of Rough Set Clustering / Pawan Lingras ; Min Chen
A Dynamic Approach to Rough Clustering / Georg Peters ; Richard Weber
Learning Patterns from Clusters Using Reduct / Alka Arora ; Shuchita Upadhyaya ; Rajni Jain
Pattern Recognition and Image Processing
Experiments with Rough Set Approach to Face Recognition / Xuguang Chen ; Wojciech Ziarko
Standard and Fuzzy Rough Entropy Clustering Algorithms in Image Segmentation / Dariusz Malyszko ; Jaroslaw Stepaniuk
Efficient Mining of Jumping Emerging Patterns with Occurrence Counts for Classification / Lukasz Kobylinski ; Krzysztof Walczak
Evolutionary Algorithm for Fingerprint Images Filtration / Marcin Jedryka ; Wladyslaw Skarbek
Efficient Discovery of Top-K Minimal Jumping Emerging Patterns / Pawel Terlecki
Hierarchical Tree for Dissemination of Polyphonic Noise / Rory Lewis ; Amanda Cohen ; Wenxin Jiang ; Zbigniew Ras
A Data Driven Emotion Recognition Method Based on Rough Set Theory / Yong Yang ; Fei Luo ; Zhenjing Li
Learning from Soft-Computing Methods on Abnormalities in Audio Data / Alicja Wieczorkowska
Bioinformatics
Shadowed Clustering for Speech Data and Medical Image Segmentation / Bishal Barman ; Sushmita Mitra
Computational Intelligence Techniques Applied to Magnetic Resonance Spectroscopy Data of Human Brain Cancers / Alan J. Barton ; Julio J. Valdes
A Hybrid Model for Aiding in Decision Making for the Neuropsychological Diagnosis of Alzheimer's Disease / Ana Karoline Araujo de Castro ; Placido Rogerio Pinheiro ; Mirian Caliope Dantas Pinheiro
Special Sessions
Rough Sets in Data Warehousing (Extended Abstract) / Dominik Slezak ; Jakub Wroblewski ; Victoria Eastwood ; Piotr Synak
Classification Challenges in Email Archiving / Arvind Srinivasan ; Gaurav Baone
Approximation Theories: Granular Computing vs Rough Sets / Tsau Young ('T. Y.') Lin
Author Index
Keynote Papers
Neuroeconomics: Yet Another Field Where Rough Sets Can Be Useful? / Janusz Kacprzyk
Research Directions in the KES Centre / Lakhmi Jain ; Jeffrey Tweedale
73.

電子ブック

EB
Sergio Greco, Thomas Lukasiewicz, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Frequent Itemset Mining from Databases Including One Evidential Attribute / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane ; Khaled Mellouli
Evaluating Trustworthiness from Past Performances: Interval-Based Approaches / Jonathan Ben-Naim ; Henri Prade
A Comparative Study of Six Formal Models of Causal Ascription / Salem Benferhat ; Jean-Francois Bonnefon ; Philippe Chassy ; Rui Da Silva Neves ; Didier Dubois ; Florence Dupin de Saint-Cyr ; Daniel Kayser ; Farid Nouioua ; Sara Nouioua-Boutouhami ; Salma Smaoui
An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs / Karim Tabia
Transitive Observation-Based Causation, Saliency, and the Markov Condition
A Family of Tolerant Antidivision Operators for Database Fuzzy Querying / Patrick Bosc ; Olivier Pivert
Uncertainty Management for the Retrieval of Economic Information from Distributed Markets / Rene Brunner ; Felix Freitag ; Leandro Navarro
Loopy Propagation in a Probabilistic Description Logic / Fabio Gagliardi Cozman ; Rodrigo Bellizia Polastro
On the Performance of Fuzzy Data Querying / Mariela Curiel ; Claudia Gonzalez ; Leonid Tineo ; Angelica Urrutia
Tractable Reasoning with Bayesian Description Logics / Claudia d'Amato ; Nicola Fanizzi ; Thomas Lukasiewicz
Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases / Nicola Di Mauro ; Teresa M.A. Basile ; Stefano Ferilli ; Floriana Esposito
Fusing Uncertain Structured Spatial Information / Robert Jeansoulin
A Neuro Fuzzy Approach for Handling Structured Data / Alessio Ferone ; Alfredo Petrosino
A Framework for the Partial Evaluation of SPARQL Queries / Sergio Flesca ; Filippo Furfaro ; Andrea Pugliese
An Evolutionary Perspective on Approximate RDF Query Answering / Christophe Gueret ; Eyal Oren ; Stefan Schlobach ; Martijn Schut
Clustering Uncertain Data Via K-Medoids / Francesco Gullo ; Giovanni Ponti ; Andrea Tagarelli
Speeding Up the NRA Algorithm / Peter Gursky ; Peter Vojtas
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory / Ying Jiang ; Hui Dong
A Personalized Approach to Experience-Aware Service Ranking and Selection / Friederike Klan ; Birgitta Konig-Ries
Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results / Scott Langevin ; Marco Valtorta
Optimization of Queries over Interval Probabilistic Data / Matteo Magnani ; Danilo Montesi
Polynomial Time Queries over Inconsistent Databases / Cristian Molinaro
Using OBDDs for Efficient Query Evaluation on Probabilistic Databases / Dan Olteanu ; Jiewen Huang
A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs / Emad Saad
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
Scaling Most Probable World Computations in Probabilistic Logic Programs / Gerardo I. Simari ; Maria Vanina Martinez ; Amy Sliva ; V.S. Subrahmanian
Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs / Anbu Yue ; Weiru Liu ; Anthony Hunter
Author Index
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
74.

電子ブック

EB
Lutz Maicher, Lars Marius Garshol, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
A Citizen's Portal for the City of Bergen / Lars Marius Garshol
Visualisation and Representation of Topic Maps
TMchartis - A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps / Hendrik Thomas ; Rike Brecht ; Bernd Markscheffel ; Stephan Bode ; Karsten Spekowius
Open Educational Topic Maps: A Text-Oriented Perspective / Lars Johnsen
Using Topic Maps for Visually Exploring Various Data Sources in a Web-Based Environment / Eicke Godehardt ; Nadeem Bhatti
Collaborative Applications
Topincs Wiki - A Topic Maps Powered Wiki / Robert Cerny
Bookmap - A Topic Maps Based Web Application for Organising Bookmarks / Tobias Hofmann ; Martin Pradella
Standards Related Research
A Theory of Scope
Comparing Topic Maps Constraint Specification Languages / Giovani Rubert Librelotto ; Renato Preigschadt de Azevedo ; Jose Carlos Ramalho ; Pedro Rangel Henriques
Information Integration with Topic Maps
Knowledge-Oriented Middleware Using Topic Maps / Robert Barta
Large Scale Knowledge Representation of Distributed Biomedical Information / Volker Stumpflen ; Thorsten Barnickel ; Karamfilka Nenova
Versioning of Topic Map Templates and Scalability / Markus Ueberall ; Oswald Drobnik
Social Software with Topic Maps
Toward a Topic Maps Amanuensis / Jack Park
Cooperative Building of Multiple Points-of-View Topic Maps with Hypertopic / L'Hedi Zaher ; Jean-Pierre Cahier ; Claude Guittard
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange / Roy Lachica ; Dino Karabeg
Topic Maps Engines
Ruby Topic Maps / Benjamin Bock
Topic Maps and Dublin Core
Expressing Dublin Core in Topic Maps / Steve Pepper
Mapping Between the Dublin Core Abstract Model DCAM and the TMDM / Lutz Maicher
Information Management with Topic Maps
On Path-Centric Navigation and Search Techniques for Personal Knowledge Stored in Topic Maps / Jens Heider ; Julian Schutte
KAIFIA: Knowledge Assisted Intelligent Framework for Information Access / Atta Badii ; Chattun Lallah ; Oleksandr Kolomiyets ; Meng Zhu ; Michael Crouch
Open Space and Poster Sessions
Report from the Open Space and Poster Sessions
Author Index
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
75.

電子ブック

EB
Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani, Jörg Siekmann, Oskar Stryk
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
Modeling, Understanding, and Interacting with Humans / Yoshihiko Nakamura
Humanoids, Brain and Cognitive Sciences / Giulio Sandini
Simulation
XPERSim: A Simulator for Robot Learning by Experimentation / Iman Awaad ; Beatriz Leon
From Simulated to Real Scenarios: A Framework for Multi-UAVs / Andrea Cesetti ; Adriano Mancini ; Emanuele Frontoni ; Primo Zingaretti ; Sauro Longhi
Simulation of Multi-Robot Teams with Flexible Level of Detail / Martin Friedmann ; Karen Petersen ; Oskar von Stryk
MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments / Matthias Kropff ; Christian Reinl ; Kim Listmann ; Katayon Radkhah ; Faisal Karim Shaikh ; Arthur Herzog ; Armin Strobel ; Daniel Jocobi
A Multi-agent 3D Simulation Environment for Clothing Industry / Rezia Molfino ; Enrico Carca ; Matteo Zoppi ; Fabio Bonsignorio ; Massimo Callegari ; Andrea Gabrielli ; Marco Principi
A Lunar Surface Operations Simulator / Hari Nayar ; Bob J. Balaram ; Jonathan Cameron ; Abhinandan Jain ; Christopher Lim ; Rudranarayan Mukherjee ; Stephen Peters ; Marc Pomerantz ; Leonard Reder ; Partha Shakkottai ; Stephen Wall
YARS: A Physical 3D Simulator for Evolving Controllers for Real Robots / Keyan Zahedi ; Arndt von Twickel ; Frank Pasemann
Programming
A Software Platform for Component Based RT-System Development: OpenRTM-Aist / Noriaki Ando ; Takashi Suehiro ; Tetsuo Kotoku
A Software System for Robotic Learning by Experimentation / Ronny Hartanto ; Bettriz Leon ; Paul Ploger
A Mobile Robt Control Framework: From Simulation to Reality / Stephen Balakrisky ; Frederick M. Proctor ; Christopher J. Scrapper ; Thomas R. Kramer
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots / Mirko Bordignon ; Lars Lindegaard Mikkelsen ; Ulrik Pagh Schultz
Real-Time Software for Mobile Robot Simulation and Experimentation in Cooperative Environments / Andreu Corominas Murtra ; Josep M. Mirats Tur ; Oscar Sandoval ; Alberto Sanfeliu
Knowledge Processing Middleware / Fredrik Heintz ; Jonas Kvarnstrom ; Patrick Doherty
Towards Automatied Online Diagnosis of Robt Navigation Software / Alexander Kleiner ; Gerald Steinbauer ; Franz Wotawa
A Common Framework for Co-operative Robotics: An Open, Fault Tolerant Architecture for Multi-league RoboCup Teams / Luis Mota ; Luis Paulo Reis
Multilevel Testing of Control Software for Teams of Autonomous Mobile Robots / Sebastian Petters ; Dirk Thomas
ppPDC Communication Framework - A New Tool for Distributed Robotics / Grezgorz Polakow ; Mieczyslaw Metzger
The Experimental Robotics Framework / Joao Xavier ; Helder Araujo
Applications
Where Am I? A Simulated GPS Sensor for Outdoor Robotic Applications / Benjamin Balaguer ; Stefano Carpin
An Emphatic Humanoid Robot with Emotional Latent Semantic Behavior / Antonio Chella ; Giovanni Pilato ; Rosario Sorbello ; Giorgio Vassallo ; Francesco Cinquegrani ; Salvatore Maria Anzalone
Developing Robot Motions by Simulated Touch Sensors / Fabio Dalla Libera ; Takashi Minato ; Enrico Pagello ; Emanuele Menegatti
3D Simulation of a Motorized Operation Microscope / Markus Finke ; Achim Schweikard
Real-Time Least-Square Fitting of Ellipses Applied to the RobotCub Platform / Nicola Greggio ; Luigi Manfredi ; Cecilia Laschi ; Paolo Dario ; Maria Chiara Carrozza
An Introduction to a New Commentator for RoboCup 3D Soccer Simulation / Amin Habibi Shahri
Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators / Francois Legras ; Arnaud Glad ; Olivier Simonin ; Francois Charpillet
Rescue Robot Navigation: Static Stability Estimation in Random Step Environment / Evgeni Magid ; Kentaro Ozawa ; Takashi Tsubouchi ; Eiji Koyanagi ; Tomoaki Yoshida
Performance Evaluation of Repeated Auctions for Robust Task Execution / Maitreyi Nanjanath ; Maria Gini
Conceptual Frameowork to Maintain Multiple and Floating Relationship among Coordinate Reference Systems for Robotics / Itsuki Noda ; Hiroki Shimora ; Hidehisa Akiyama
Conceptual Design of a Power Distribution Line Maintenance Robot Using a Developed CG Simulator and Experimental Robot System / Kiyoshi Tsukahara ; Yorihiko Tanaka ; Yingxin He ; Toshihisa Miyamoto ; Kyouichi Tatsuno
Author Index
Invited Talks
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
76.

電子ブック

EB
TSD 2008, Jörg Siekmann, Petr Sojka
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
77.

電子ブック

EB
Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Theory / Part I:
Introduction: Anticipation in Natural and Artificial Cognition / Giovanni Pezzulo ; Martin V. Butz ; Cristiano Castelfranchi ; Rino Falcone1:
Introduction / 1.1:
The Path to Anticipatory Cognitive Systems / 1.2:
Symbolic Behavior, Representation-Less Behavior, and Their Merge to Anticipatory Behavior / 1.2.1:
The Power of Anticipation: From Reactivity to Proactivity / 1.2.2:
The Anticipatory Approach to Cognitive Systems / 1.2.3:
The Unitary Nature of Anticipation / 1.2.4:
Anticipation in Living Organisms / 1.3:
Anticipatory Natural Cognition / 1.3.1:
Anticipatory Codes in the Brain / 1.3.2:
Simulative Theories of Cognition, and Their Unifying Nature / 1.3.3:
Conclusions / 1.4:
The Anticipatory Approach: Definitions and Taxonomies / 2:
Anticipatory Systems, Anticipation, and Anticipatory Behavior / 2.1:
Prediction vs. Anticipation / 2.2:
Predictive Capabilities / 2.2.1:
Anticipatory Capabilities / 2.2.2:
Anticipation and Goal-Oriented Behavior / 2.3:
The Anticipatory Structure of Goal-Oriented Behavior / 2.3.1:
Not All Anticipatory Behavior Is Goal-Oriented / 2.3.2:
Which Anticipations Permit Goal-Oriented Action? / 2.3.3:
The Hierarchical Organization of Anticipatory Goal-Oriented Action / 2.3.4:
Additional Elements of True Goal-Oriented Behavior / 2.3.5:
Anticipation and Learning / 2.4:
Learning to Predict / 2.4.1:
Bootstrapping Autonomous Cognitive Development: Surprise and Curiosity / 2.4.2:
From Willed to Automatic Control of Action and Vice Versa on the Basis of Surprise / 2.4.3:
Benefits of Anticipations in Cognitive Agents / 2.5:
Potentials for Anticipatory Systems / 3.1:
Potential Benefits of Anticipatory Mechanisms on Cognitive Functions / 3.2:
Effective, Context-Based Action Initiation / 3.2.1:
Faster and Smoother Behavior Execution / 3.2.2:
Improving Top-Down Attention / 3.2.3:
Improving Information Seeking / 3.2.4:
Improving Decision Making / 3.2.5:
Object Grounding, Categorization, and Ontologies / 3.2.6:
Social Abilities / 3.2.7:
Learning / 3.2.8:
Arising Challenges Due to Anticipations and Avoiding Them / 3.3:
Conclusion / 3.4:
Models, Architectures, and Applications / Part II:
Anticipation in Attention / Christian Balkenius ; Alexander Forster ; Birger Johansson ; Vin Thorsteinsdottir4:
Learning What to Look at / 4.1:
A Learning Saliency Map / 4.2.1:
Cue-Target Learning / 4.3:
Cueing by a Single Stimulus / 4.3.1:
Contextual Cueing / 4.3.2:
Fovea Based Solution / 4.3.3:
Attending to Moving Targets / 4.4:
Models of Smooth Pursuit / 4.4.1:
Engineering Approaches / 4.4.2:
The State Based Approach / 4.4.3:
The Prediction Approach / 4.4.4:
The Fovea Based Approach / 4.4.5:
Combining Bottom-Up and Top-Down Processes / 4.5:
Anticipatory, Goal-Directed Behavior / Oliver Herbort5:
A Brief History of Schemas / 5.1:
Schema Approaches / 5.2:
Symbolic Schemas for Policy Learning / 5.2.1:
Symbolic Schemas and Prediction for Selection / 5.2.2:
Neural-Based Planning / 5.2.3:
Neural Network-Based Dynamic Programming / 5.2.4:
Inverse Model Approaches / 5.3:
Inverse Models in Motor Learning and Control / 5.3.1:
Inverse Models and Schema Approaches / 5.3.2:
Advanced Structures / 5.4:
Prediction and Action / 5.4.1:
Coupled Forward-Inverse Models / 5.4.2:
Hierarchical Anticipatory Systems / 5.4.3:
Evaluation of Predictive and Anticipatory Capabilities / 5.5:
Schema-Based Systems / 5.5.1:
Discussion / 5.5.2:
Contrasting Predictive System Capabilities / 5.6.1:
Contrasting Anticipatory System Capabilities / 5.6.2:
Integration / 5.6.3:
Anticipation and Believability / Carlos Martinho ; Ana Paiva5.7:
Animation and Believability / 6.1:
Emotion and Exaggeration / 6.1.2:
Anticipation / 6.1.3:
Anticipation, Emotion, and Believability / 6.1.4:
Related Work / 6.2:
Oz Project / 6.2.1:
EMA / 6.2.2:
Duncan the Highland Terrier / 6.2.3:
Emotivector / 6.3:
Architecture / 6.3.1:
Anticipation Model / 6.3.2:
Salience Model / 6.3.3:
Sensation Model / 6.3.4:
Selection Model / 6.3.5:
Uncertainty / 6.3.6:
Aini, the Synthetic Flower / 6.4:
Emotivectors in Action / 6.4.1:
Evaluation / 6.4.2:
iCat, the Affective Game Buddy / 6.5:
Emotivector Integration in Agent Architectures / 6.5.1:
Anticipation and Emotions for Goal Directed Agents / Emiliano Lorini ; Michele Piunti ; Maria Miceli6.7:
Related Works in Affective Computing / 7.1:
Expectations and Surprise / 7.3:
A Typology of Expectations and Predictions / 7.3.1:
From the Typology of Expectations to the Typology of Surprise / 7.3.2:
Roles of Surprise in Cognitive Processing / 7.3.3:
Expectations and Emotions for Goal-Directed Agents / 7.4:
Expectations and Decision Making / 7.4.1:
Situated Agents and Affective States / 7.4.2:
Confidence of Predictions and Modulation of the Probability Function / 7.4.3:
A Reinforcement-Learning Model of Top-Down Attention Based on a Potential-Action Map / Dimitri Ognibene ; Gianluca Baldassarre7.4.4:
Methods / 8.1:
RGB Camera Input / 8.2.1:
Saliency Map and Action Selection / 8.2.2:
Fovea / 8.2.3:
Periphery Map / 8.2.4:
Inhibition-of-Return Map / 8.2.5:
Potential Action Map / 8.2.6:
Actor-Critic Model / 8.2.7:
Parameter Settings / 8.2.8:
The Tasks / 8.2.9:
Results / 8.3:
Learning and Performance of the Models / 8.3.1:
Bottom-Up Attention: Periphery Map and Inhibition-of-Return Map / 8.3.2:
Analysis of the Vote Maps / 8.3.3:
Capability of Learning to Stay, and of Staying, on the Target / 8.3.4:
Potential Action Map: An Action-Oriented Memory of Cue Information / 8.3.5:
Potential Action Map: Capacity to Integrate Multiple Sources of Information / 8.3.6:
Anticipation by Analogy / Boicho Kokinov ; Maurice Grinberg ; Georgi Petkov ; Kiril Kiryazov8.4:
The Anticipation by Analogy Scenario / 9.1:
Models of Analogy-Making / 9.3:
AMBR Model of Analogy-Making / 9.4:
Integrating Visual Perception and Motor Control in AMBR / 9.5:
Top-Down Perception / 9.5.1:
Attention / 9.5.2:
Transfer of the Solution / 9.5.3:
Action Execution / 9.5.4:
Running the Simulated Model and Comparing It with Human Data / 9.6:
Comparing with Human Data / 9.6.1:
Running the Real Robot Model in the Real World / 9.7:
Ikaros / 9.7.1:
AMBR2Robot / 9.7.2:
Tests / 9.7.3:
Mechanisms for Active Vision / 9.8:
Discussion and Conclusion / 9.9:
Anticipation in Coordination / Emilian Lalev10:
The Prisoner's Dilemma Game / 10.1:
Related Research / 10.2:
Fictitious Play / 10.2.1:
Strategic Teaching and Reputation Formation / 10.2.2:
Social Order and Coordination / 10.2.3:
Anticipation and Information Processing in Societies / 10.2.4:
Agent Architecture and Decision Making Model / 10.3:
The Model / 10.3.1:
Judgment and Decision Making / 10.3.2:
Game Simulations with Individual Agents: Comparison with Experimental Results / 10.4:
Comparison of the Model with Experimental Results / 10.4.1:
Multi-Agent Simulations / 10.5:
Agent Societies / 10.5.1:
Simulation Results and Discussions / 10.5.2:
Endowing Artificial Systems with Anticipatory Capabilities: Success Cases / 10.6:
Flexible Goal-Directed Arm Control: The SURE_REACH Architecture / 11.1:
Learning Cognitive Maps for Anticipatory Control: Time Growing Neural Gas / 11.3:
Learning Effective Directional Arm Control: The Evolutionary System XCSF / 11.4:
Anticipatory Target Motion Prediction / 11.5:
Anticipatory Spatial Attention with Saliency Maps / 11.6:
Behavior Prediction in a Group of Robots / 11.7:
Enhanced Adaptivity in a Predator-Prey Scenario / 11.8:
Adaptive Navigation and Control with Anticipation / 11.9:
Mental Experiments for Selecting Actions / 11.10:
Anticipations for Believable Behavior / 11.11:
Anticipatory Behavior in a Searching-for-an-Object Task / 11.12:
The Role of Anticipation in Cooperation and Coordination / 11.13:
Anticipatory Effects of Expectations and Emotions / 11.14:
On-Line and Off-Line Anticipation for Action Control / 11.15:
References / 11.16:
Theory / Part I:
Introduction: Anticipation in Natural and Artificial Cognition / Giovanni Pezzulo ; Martin V. Butz ; Cristiano Castelfranchi ; Rino Falcone1:
Introduction / 1.1:
78.

電子ブック

EB
Luc De Raedt, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
What Is Logical and Relational Learning? / 1.1:
Why Is Logical and Relational Learning Important? / 1.2:
Structure Activity Relationship Prediction / 1.2.1:
A Web Mining Example / 1.2.2:
A Language Learning Example / 1.2.3:
How Does Relational and Logical Learning Work? / 1.3:
A Brief History / 1.4:
An Introduction to Logic / 2:
A Relational Database Example / 2.1:
The Syntax of Clausal Logic / 2.2:
The Semantics of Clausal Logic - Model Theory / 2.3:
Inference with Clausal Logic - Proof Theory / 2.4:
Prolog and SLD-resolution / 2.5:
Historical and Bibliographic Remarks / 2.6:
An Introduction to Learning and Search / 3:
Representing Hypotheses and Instances / 3.1:
Boolean Data / 3.2:
Machine Learning / 3.3:
Data Mining / 3.4:
A Generate-and-Test Algorithm / 3.5:
Structuring the Search Space / 3.6:
Monotonicity / 3.7:
Borders / 3.8:
Refinement Operators / 3.9:
A Generic Algorithm for Mining and Learning / 3.10:
A Complete General-to-Specific Algorithm / 3.11:
A Heuristic General-to-Specific Algorithm / 3.12:
A Branch-and-Bound Algorithm / 3.13:
A Specific-to-General Algorithm / 3.14:
Working with Borders* / 3.15:
Computing a Single Border / 3.15.1:
Computing Two Borders / 3.15.2:
Computing Two Borders Incrementally / 3.15.3:
Operations on Borders / 3.15.4:
Conclusions / 3.16:
Bibliographical Notes / 3.17:
Representations for Mining and Learning / 4:
Representing Data and Hypotheses / 4.1:
Attribute-Value Learning / 4.2:
Multiple-Instance Learning: Dealing With Sets / 4.3:
Relational Learning / 4.4:
Logic Programs / 4.5:
Sequences, Lists, and Grammars / 4.6:
Trees and Terms / 4.7:
Graphs / 4.8:
Background Knowledge / 4.9:
Designing It Yourself / 4.10:
A Hierarchy of Representations* / 4.11:
From AV to BL / 4.11.1:
From MI to AV / 4.11.2:
From RL to MI / 4.11.3:
From LP to RL / 4.11.4:
Propositionalization / 4.12:
A Table-Based Approach / 4.12.1:
A Query-Based Approach / 4.12.2:
Aggregation / 4.13:
Historical and Bibliographical Remarks / 4.14:
Generality and Logical Entailment / 5:
Generality and Logical Entailment Coincide / 5.1:
Propositional Subsumption / 5.2:
Subsumption in Logical Atoms / 5.3:
Specialization Operators / 5.3.1:
Generalization Operators* / 5.3.2:
Computing the lgg and the glb / 5.3.3:
[Theta]-Subsumption / 5.4:
Soundness and Completeness / 5.4.1:
Deciding [Theta]-Subsumption / 5.4.2:
Equivalence Classes / 5.4.3:
Variants of [Theta]-Subsumption* / 5.5:
Object Identity* / 5.5.1:
Inverse Implication* / 5.5.2:
Using Background Knowledge / 5.6:
Saturation and Bottom Clauses / 5.6.1:
Relative Least General Generalization* / 5.6.2:
Semantic Refinement* / 5.6.3:
Aggregation* / 5.7:
Inverse Resolution / 5.8:
A Note on Graphs, Trees, and Sequences / 5.9:
Bibliographic Notes / 5.10:
The Upgrading Story / 6:
Motivation for a Methodology / 6.1:
Methodological Issues / 6.2:
Representing the Examples / 6.2.1:
Representing the Hypotheses / 6.2.2:
Adapting the Algorithm / 6.2.3:
Adding Features / 6.2.4:
Case Study 1: Rule Learning and Foil / 6.3:
Foil's Problem Setting / 6.3.1:
Foil's Algorithm / 6.3.2:
Case Study 2: Decision Tree Learning and Tilde / 6.4:
The Problem Setting / 6.4.1:
Inducing Logical Decision Trees / 6.4.2:
Case Study 3: Frequent Item-Set Mining and Warmr / 6.5:
Relational Association Rules and Local Patterns / 6.5.1:
Computing Frequent Queries / 6.5.2:
Language Bias / 6.6:
Syntactic Bias / 6.6.1:
Semantic Bias / 6.6.2:
Inducing Theories / 6.7:
Introduction to Theory Revision / 7.1:
Theories and Model Inference / 7.1.1:
Theory Revision / 7.1.2:
Overview of the Rest of This Chapter / 7.1.3:
Towards Abductive Logic Programming / 7.2:
Abduction / 7.2.1:
Integrity Constraints / 7.2.2:
Abductive Logic Programming / 7.2.3:
Shapiro's Theory Revision System / 7.3:
Interaction / 7.3.1:
The Model Inference System / 7.3.2:
Two Propositional Theory Revision Systems* / 7.4:
Learning a Propositional Horn Theory Efficiently / 7.4.1:
Heuristic Search in Theory Revision / 7.4.2:
Inducing Constraints / 7.5:
Problem Specification / 7.5.1:
An Algorithm for Inducing Integrity Constraints / 7.5.2:
Probabilistic Logic Learning / 7.6:
Probability Theory Review / 8.1:
Probabilistic Logics / 8.2:
Probabilities on Interpretations / 8.2.1:
Probabilities on Proofs / 8.2.2:
Probabilistic Learning / 8.3:
Parameter Estimation / 8.3.1:
Structure Learning / 8.3.2:
First-Order Probabilistic Logics / 8.4:
Probabilistic Interpretations / 8.4.1:
Probabilistic Proofs / 8.4.2:
Learning from Interpretations / 8.5:
Learning from Entailment / 8.5.2:
Learning from Proof Trees and Traces / 8.5.3:
Relational Reinforcement Learning* / 8.6:
Markov Decision Processes / 8.6.1:
Solving Markov Decision Processes / 8.6.2:
Relational Markov Decision Processes / 8.6.3:
Solving Relational Markov Decision Processes / 8.6.4:
Kernels and Distances for Structured Data / 8.7:
A Simple Kernel and Distance / 9.1:
Kernel Methods / 9.2:
The Max Margin Approach / 9.2.1:
Support Vector Machines / 9.2.2:
The Kernel Trick / 9.2.3:
Distance-Based Learning / 9.3:
Distance Functions / 9.3.1:
The k-Nearest Neighbor Algorithm / 9.3.2:
The k-Means Algorithm / 9.3.3:
Kernels for Structured Data / 9.4:
Convolution and Decomposition / 9.4.1:
Vectors and Tuples / 9.4.2:
Sets and Multi-sets / 9.4.3:
Strings / 9.4.4:
Trees and Atoms / 9.4.5:
Graph Kernels* / 9.4.6:
Distances and Metrics / 9.5:
Generalization and Metrics / 9.5.1:
Sets / 9.5.2:
Atoms and Trees / 9.5.4:
Relational Kernels and Distances / 9.5.6:
Bibliographical and Historical Notes / 9.7:
Computational Aspects of Logical and Relational Learning / 10:
Efficiency of Relational Learning / 10.1:
Coverage as [theta]-Subsumption / 10.1.1:
[theta]-Subsumption Empirically / 10.1.2:
Optimizing the Learner for [theta]-subsumption / 10.1.3:
Computational Learning Theory* / 10.2:
Notions of Learnability / 10.2.1:
Positive Results / 10.2.2:
Negative Results / 10.2.3:
Historical and Bibliographic Notes / 10.3:
Lessons Learned / 11:
A Hierarchy of Representations / 11.1:
From Upgrading to Downgrading / 11.2:
Propositionalization and Aggregation / 11.3:
Learning Tasks / 11.4:
Operators and Generality / 11.5:
Unification and Variables / 11.6:
Three Learning Settings / 11.7:
Knowledge and Background Knowledge / 11.8:
Applications / 11.9:
References
Author Index
Index
Introduction / 1:
What Is Logical and Relational Learning? / 1.1:
Why Is Logical and Relational Learning Important? / 1.2:
79.

電子ブック

EB
Erich Rome, Georg Dorffner, Joachim Hertzberg, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
GrAM: Reasoning with Grounded Action Models by Combining Knowledge Representation and Data Mining / Nicolai v. Hoyningen-Huene ; Bernhard Kirchlechner ; Michael Beetz
Affordance-Based Human-Robot Interaction / Reinhard Moratz ; Thora Tenbrink
Reinforcement Learning of Predictive Features in Affordance Perception / Lucas Paletta ; Gerald Fritz
A Functional Model for Affordance-Based Agents / Martin Raubal
Affordances in an Ecology of Physically Embedded Intelligent Systems / Alessandro Saffiotti ; Mathias Broxvall
Use of Affordances in Geospatial Ontologies / Sumit Sen
Learning the Affordances of Tools Using a Behavior-Grounded Approach / Alexander Stoytchev
Function-Based Reasoning for Goal-Oriented Image Segmentation / Melanie A. Sutton ; Louise Stark
The MACS Project: An Approach to Affordance-Inspired Robot Control / Erich Rome ; Erol Şahin ; Georg Dorffner ; Ralph Breithaupt ; Jörg Irran ; Florian Kintzler ; Stefan May ; Emre Uğur
Author Index
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
80.

電子ブック

EB
Paulo Cesar G. Costa, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Probabilistic and Dempster-Shafer Models
Just Add Weights: Markov Logic for the Semantic Web / Pedro Domingos ; Daniel Lowd ; Stanley Kok ; Hoifung Poon ; Matthew Richardson ; Parag Singla
Semantic Science: Ontologies, Data and Probabilistic Theories / David Poole ; Clinton Smyth ; Rita Sharma
Probabilistic Dialogue Models for Dynamic Ontology Mapping / Paolo Besana ; Dave Robertson
An Approach to Probabilistic Data Integration for the Semantic Web / Andrea Cali ; Thomas Lukasiewicz
Rule-Based Approaches for Representing Probabilistic Ontology Mappings / Livia Predoiu ; Heiner Stuckenschmidt
PR-OWL: A Bayesian Ontology Language for the Semantic Web / Paulo Cesar G. da Costa ; Kathryn B. Laskey ; Kenneth J. Laskey
Discovery and Uncertainty in Semantic Web Services / Francisco Martin-Recuerda
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion / Matthias Nickles ; Ruth Cobos
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
An Ontology-Based Bayesian Network Approach for Representing Uncertainty in Clinical Practice Guidelines / Hai-Tao Zheng ; Bo-Yeong Kang ; Hong-Gee Kim
Fuzzy and Possibilistic Models
A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions / Fernando Bobillo ; Miguel Delgado ; Juan Gomez-Romero
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Uncertainty Issues and Algorithms in Automating Process Connecting Web and User / Alan Eckhardt ; Tomas Horvath ; Dusan Maruscak ; Robert Novotny ; Peter Vojtas
Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach / Trevor P. Martin ; Yun Shen ; Ben Azvine
A Fuzzy Semantics for the Resource Description Framework / Mauro Mazzieri ; Aldo Franco Dragoni
Reasoning with the Fuzzy Description Logic f-SHIN: Theory, Practice and Applications / Giorgos Stoilos ; Giorgos Stamou ; Jeff Z. Pan ; Nick Simou ; Vassilis Tzouvaras
Inductive Reasoning and Machine Learning
Towards Machine Learning on the Semantic Web / Volker Tresp ; Markus Bundschus ; Achim Rettinger ; Yi Huang
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies / Joaquin Borrego-Diaz ; Antonia M. Chavez-Gonzalez
Analogical Reasoning in Description Logics / Claudia d'Amato ; Nicola Fanizzi ; Floriana Esposito
Approximate Measures of Semantic Dissimilarity under Uncertainty
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency / Peter Haase ; Johanna Volker
Hybrid Approaches
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic / Volker Haarslev ; Hsueh-Ieng Pai ; Nematollaah Shiri
Author Index
Probabilistic and Dempster-Shafer Models
Just Add Weights: Markov Logic for the Semantic Web / Pedro Domingos ; Daniel Lowd ; Stanley Kok ; Hoifung Poon ; Matthew Richardson ; Parag Singla
Semantic Science: Ontologies, Data and Probabilistic Theories / David Poole ; Clinton Smyth ; Rita Sharma
81.

電子ブック

EB
Bernhard Beckert, Jaime G. Carbonell, Reiner Hähnle, Peter H. Schmitt, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
82.

電子ブック

EB
Pavel Brazdil, Christophe Giraud-Carrier, Jörg Siekmann, Carlos Soares, Ricardo Vilalta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Metalearning: Concepts and Systems / 1:
Metalearning for Algorithm Recommendation: an Introduction / 2:
Development of Metalearning Systems for Algorithm Recommendation / 3:
Extending Metalearning to Data Mining and KDD / 4:
Combining Base-Learners / 5:
Bias Management in Time-Changing Data Streams / 6:
Transfer of Metaknowledge Across Tasks / 7:
Composition of Complex Systems: Role of Domain-Specific Metaknowledge / 8:
References
Terminology / A:
Mathematical Symbols / B:
Index
Metalearning: Concepts and Systems / 1:
Metalearning for Algorithm Recommendation: an Introduction / 2:
Development of Metalearning Systems for Algorithm Recommendation / 3:
83.

電子ブック

EB
Dov M. Gabbay, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
84.

電子ブック

EB
Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Jörg Siekmann, Osmar R. Zaïane
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
85.

電子ブック

EB
De-Shuang Huang, Jaime G. Carbonell, Laurent Heutte, Marco Loog, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
86.

電子ブック

EB
Ziad Kobti, Jaime G. Carbonell, Jörg Siekmann, Dan Wu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
87.

電子ブック

EB
Fernando Almeida e Costa, Ernesto Costa, António Coutinho, Inman Harvey, Luis Mateus Rocha, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
88.

電子ブック

EB
Marcin S. Szczuka, Daniel Howard, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Data Analysis, Modelling, and Learning
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
Reduction Based Symbolic Value Partition / Fan Min ; Qihe Liu ; Chunlan Fang ; Jianzhong Zhang
Investigative Data Mining for Counterterrorism / Muhammad Akram Shaikh ; Jiaxin Wang ; Hongbo Liu ; Yixu Song
Data Integration Using Lazy Types / Nicolas Marin ; Maria Amparo Vila
Data Generalization Algorithm for the Extraction of Road Horizontal Alignment Design Elements Using the GPS/INS Data / Sunhee Choi ; Junggon Sung
Personalized E-Learning Process Using Effective Assessment and Feedback / Cheonshik Kim ; Myunghee Jung ; Shaikh Muhammad Allayear ; Sung Soon Park
Optimally Pricing European Options with Real Distributions / Chieh-Chung Sheng ; Hsiao-Ya Chiu ; An-Pin Chen
Applying Stated Preference Methods to Investigate Effects of Traffic Information on Route Choice / Hye-Jin Cho ; Kangsoo Kim
A Study on Determining the Priorities of ITS Services Using Analytic Hierarchy and Network Processes / Byung Doo Jung ; Young-in Kwon ; Hyun Kim ; Seon Woo Lee
An Introduction of Indicator Variables and Their Application to the Characteristics of Congested Traffic Flow at the Merge Area / Sang-Gu Kim ; Youngho Kim ; Taewan Kim ; YoungTae Son
Imaging, Speech, and Complex Data
Image Resize Application of Novel Stochastic Methods of Function Recovery / Daniel Howard ; Joseph Kolibal
Automatic Face Analysis System Based on Face Recognition and Facial Physiognomy / Eung-Joo Lee ; Ki-Ryong Kwon
Moving Cast Shadow Elimination Algorithm Using Principal Component Analysis in Vehicle Surveillance Video / Wooksun Shin ; Jongseok Um ; Doo Heon Song ; Changhoon Lee
Automatic Marker-Driven Three Dimensional Watershed Transform for Tumor Volume Measurement / Yong-su Chae ; Desok Kim
A Study on the Medical Image Transmission Service Based on IEEE 802.15.4a / Yang-Sun Lee ; Jae-Min Kwak ; Sung-Eon Cho ; Ji-Woong Kim ; Heau-Jo Kang
Detecting Image Based Spam Email / Wanli Ma ; Dat Tran ; Dharmendra Sharma
Efficient Fixed Codebook Search Method for ACELP Speech Codecs / Eung-Don Lee ; Jae-Min Ahn
Conventional Beamformer Using Post-filter for Speech Enhancement / Soojeong Lee ; Kiho Choi ; Soonhyob Kim
Bandwidth Extension of a Narrowband Speech Coder for Music Delivery over IP / Young Han Lee ; Hong Kook Kim ; Mi Suk Lee ; Do Young Kim
A User-Oriented GIS Search Service Using Ontology in Location-Based Services / Hyunsuk Hwang ; Seonghyun Shin ; Changsoo Kim
A Filtered Retrieval Technique for Structural Information / Young-Ho Park ; Yong-Ik Yoon ; Jong-Woo Lee
Applications of Artificial Intelligence
An Analysis of a Lymphoma/Leukaemia Dataset Using Rough Sets and Neural Networks / Kenneth Revett ; Marcin Szczuka
A Frequency Adaptive Packet Wavelet Coder for Still Images Using CNN / N. Venkateswaran ; J. Vignesh ; S. Santhosh Kumar ; S. Rahul ; M. Bharadwaj
Reduced RBF Centers Based Multi-user Detection in DS-CDMA Systems / Jungsik Lee ; Ravi Sankar ; Jaejeong Hwang
Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic Algorithm and Neural Network Approach / Kwang-Kyu Seo ; Won-Ki Kim
A Solution for Bi-level Network Design Problem Through Nash Genetic Algorithm / Jong Ryul Kim ; Jung Bok Jo ; Hwang Kyu Yang
An Alternative Measure of Public Transport Accessibility Based on Space Syntax / Chulmin Jun ; Jay Hyoun Kwon ; Yunsoo Choi ; Impyeong Lee
Adaptive Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS / Sung-Soo Kim ; Seung B. Ahn
Particle Swarm Optimization for a Multi-UCAV Cooperative Task Scheduling / Xiaohua Huo ; Lincheng Shen ; Tao Long
Expert System Using Fuzzy Petri Nets in Computer Forensics / Hyun-Uk Hwang ; Min-Soo Kim ; Bong-Nam Noh
MMORPG Map Evaluation Using Pedestrian Agents / Christian Anthony L. Go ; Tristan Basa ; Won-Hyung Lee
The Analysis of Game Playing Experiences: Focusing on Massively Multiplayer Online Role-Playing Game / Seungkeun Song ; Joohyeon Lee ; Jun Jo
Hybrid, Smart, and Ubiquitous Systems
How to Overcome Main Obstacles to Building a Virtual Telematics Center / Bong Gyou Lee
Real-Time Travel Time Estimation Using Automatic Vehicle Identification Data in Hong Kong / Mei Lam Tam ; William H.K. Lam
A Context-Aware Elevator Scheduling System for Smart Apartment Buildings / Ohhoon Kwon ; Hyokyung Bahn ; Kern Koh
A MOM-Based Home Automation Platform / Chun-Yuan Chen ; Chi-Huang Chiu ; Shyan-Ming Yuan
An Error Sharing Agent for Multimedia Collaboration Environment Running on Pervasive Networks / Eung Nam Ko
A Hybrid Intelligent Multimedia Service Framework in Next Generation Home Network Environment / Jong Hyuk Park ; Jungsuk Song ; Byoung-Soo Koh ; Deok-Gyu Lee ; Byoung-Ha Park
Integration of Artificial Market Simulation and Text Mining for Market Analysis / Kiyoshi Izumi ; Hiroki Matsui ; Yutaka Matsuo
Agent-Based Intelligent Decision Support for the Home Healthcare Environment / Louie Cervantes ; Yong-Seok Lee ; Hyunho Yang ; Sung-hyun Ko ; Jaewan Lee
An Aware-Environment Enhanced Group Home: AwareRium / Hideaki Kanai ; Toyohisa Nakada ; Goushi Tsuruma ; Susumu Kunifuji
The Situation Dependent Application Areas of EPC Sensor Network in u-Healthcare / Yoonmin Hwang ; Garam Park ; Eunji Ahn ; Jaejeung Rho ; Jonwoo Sung ; Daeyoung Kim
Ubiquitous Healthcare System Using Context Information Based on the DOGF / Chang-Sun Shin ; Dong-In Ahn ; Dong-Seok Kim ; Su-Chong Joo
Hardware and Software Engineering
Load Balancing Using Dynamic Replication Scheme for the Distributed Object Group / Romeo Mark A. Mateo ; Marley Lee
Design and Implementation of a Performance Analysis and Visualization Toolkit for Cluster Environments / Tien-Hsiung Weng ; Hsiao-Hsi Wang ; Tsung-Ying Wu ; Ching-Hsien Hsu ; Kuan-Ching Li
Enterprise Application Framework for Constructing Secure RFID Application / Hyundong Lee ; Kiyeal Lee ; Mokdong Chung
A GDB-Based Real-Time Tracing Tool for Remote Debugging of SoC Programs / Myeong-Chul Park ; Young-Joo Kim ; In-Geol Chun ; Seok-Wun Ha ; Yong-Kee Jun
A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications / Won-Ho Choi ; Ha-Yong Jeon ; Rhys Rosholt ; Gwang Jung ; Min-Soo Jung
Design and Implementation of the Decompiler for Virtual Machine Code of the C++ Compiler in the Ubiquitous Game Platform / YangSun Lee ; YoungKeun Kim ; HyeokJu Kwon
Mobile Pharmacology / Patrik Eklund ; Johan Karlsson ; Annica Naslund
Wireless Control System for Pet Dogs in a Residential Environment / Ji-Won Jung ; Dong-Sung Kim
Intelligent Embedded Real-Time Software Architecture for Dynamic Skill Selection and Identification in Multi-shaped Robots / Laxmisha Rai ; Soon Ju Kang
Networking and Telecommunications
The Accurate Performance Evaluation of Time Hopping UWB Systems with Pulse Based Polarity / Jang-Woo Park ; Kyung-Ryoung Cho ; Nam-Hong Jo
Improvement of Adaptive Modulation System with Optimal Turbo Coded V-BLAST Technique / Kyunghwan Lee ; Kwangwook Choi ; Sangjin Ryoo ; Kyoungwon Lee ; Mingoo Kang ; Intae Hwang ; Taejin Jung ; Daejin Kim ; Cheolsung Kim
Header Compression of RTP/UDP/IP Packets for Real Time High-Speed IP Networks / Kyung-shin Kim ; Moon-sik Kang ; In-tae Ryoo
Repetition Coding Aided Time-Domain Cancellation for Inter-Carrier Interference Reduction in OFDM Systems / Jeong-Wook Seo ; Won-Gi Jeon ; Jong-Ho Paik ; Dong-Ku Kim
On Scheduling Transmissions for Hidden Terminal Problems in Dynamic RFID Systems
Efficient RFID Authentication Protocol for Minimizing RFID Tag Computation / Keunwoo Rhee ; Jin Kwak ; Wan S. Yi ; Chanho Park ; Sangjoon Park ; Hyungkyu Yang ; Seungjoo Kim ; Dongho Won
Design of WLAN Secure System Against Weaknesses of the IEEE 802.1x / Seong-pyo Hong ; Jong-an Park ; Seung-jo Han ; Jae-young Pyun ; Joon Lee
A Sophisticated Base Station Centralized Simple Clustering Protocol for Sensor Networks / Giljae Lee ; Yoonjoo Kwon ; Woojin Seok ; Jaiseung Kwak ; Okhwan Byeon
Plus-Tree: A Routing Protocol for Wireless Sensor Networks / Yongsuk Park ; Eun-Sun Jung
Optimization and Routing Discovery for Ad Hoc Wireless Networks: A Cross Layer Approach / Reizel Casaquite ; Won-Joo Hwang
Analysis of the Characteristics of Rain Attenuation in the 12.25GHz Band for Wireless Networking / Dong You Choi
Author Index
Data Analysis, Modelling, and Learning
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
89.

電子ブック

EB
Zhi-Hua Zhou, Jaime G. Carbonell, Hang Li, Jörg Siekmann, Qiang Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
90.

電子ブック

EB
Ngoc Thanh Nguyen, Jaime G. Carbonell, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
91.

電子ブック

EB
Maria Fasli, Onn Shehory, Onn M. Shehory, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace / Dave Cliff
Savings in Combinatorial Auctions Through Transformation Relationships / Andrea Giovannucci ; Jesus Cerquides ; Juan A. Rodriguez-Aguilar
On Efficient Procedures for Multi-issue Negotiation / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
TacTex-05: An Adaptive Agent for TAG SCM / David Pardoe ; Peter Stone ; Mark VanMiddlesworth
Market Efficiency, Sales Competition, and the Bullwhip Effect in the TAC SCM Tournaments / Patrick R. Jordan ; Christopher Kiekintveld ; Jason Miller ; Michael P. Wellman
Agent Compatibility and Coalition Formation: Investigating Two Interacting Negotiation Strategies / Carlos Merida-Campos ; Steven Willmott
TAC-REM - The Real Estate Market Game: A Proposal for the Trading Agent Competition / Scott Buffett ; Maria Fasli
Evolutionary Stability of Behavioural Types in the Continuous Double Auction / Perukrishnen Vytelingum
A Fast Method for Learning Non-linear Preferences Online Using Anonymous Negotiation Data / D.J.A. Somefun ; J.A. La Poutre
Adaptive Pricing for Customers with Probabilistic Valuations / Michael Benisch ; James Andrews ; Norman Sadeh
Agents' Bidding Strategies in a Combinatorial Auction Controlled Grid Environment / Michael Schwind ; Tim Stockheim ; Oleg Gujo
A Comparison of Sequential and Simultaneous Auctions
A Market-Pressure-Based Performance Evaluator for TAC-SCM / Brett Borghetti ; Eric Sodomka ; Maria Gini ; John Collins
Competing Sellers in Online Markets: Reserve Prices, Shili Bidding, and Auction Fees / Enrico H. Gerding ; Alex Rogers ; Rajdeep K. Dash
Robust Incentive-Compatible Feedback Payments / Radu Jurca ; Boi Faltings
The CrocodileAgent 2005: An Overview of the TAG SCM Agent / Ana Petric ; Vedran Podobnik ; Gordan Jezic
A Fuzzy Constraint Based Model for Automated Purchase Negotiations / Miguel A. Lopez-Carmona ; Juan R. Velasco
Author Index
Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace / Dave Cliff
Savings in Combinatorial Auctions Through Transformation Relationships / Andrea Giovannucci ; Jesus Cerquides ; Juan A. Rodriguez-Aguilar
On Efficient Procedures for Multi-issue Negotiation / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
92.

電子ブック

EB
Roberto Basili, Maria Teresa Pazienza, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games / Manuela Veloso
Expressive Intelligence: Artificial Intelligence, Games and New Media / Michael Mateas
Artificial Ontologies and Real Thoughts: Populating the Semantic Web? / Khurshid Ahmad
Knowledge Representation and Reasoning
Model-Based Diagnosability Analysis for Web Services / Stefano Bocconi ; Claudia Picardi ; Xavier Pucel ; Daniele Theseider Dupre ; Louise Trave-Massuyes
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming / Marco Cadoli ; Diego Calvanese ; Giuseppe De Giacomo ; Toni Mancini
Model Checking and Preprocessing / Andrea Ferrara ; Paolo Liberatore ; Marco Schaerf
Some Issues About Cognitive Modelling and Functionalism / Francesco Gagliardi
Understanding the Environment Through Wireless Sensor Networks / Salvatore Gaglio ; Luca Gatani ; Giuseppe Lo Re ; Marco Ortolani
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0 / Laura Giordano ; Valentina Gliozzi ; Nicola Olivetti ; Gian Luca Pozzato
Ranking and Reputation Systems in the QBF Competition / Massimo Narizzano ; Luca Pulina ; Armando Tacchella
A Top Down Interpreter for LPAD and CP-Logic / Fabrizio Riguzzi
Multiagent Systems, Distributed AI
A Multi-layered General Agent Model / Stefania Costantini ; Arianna Tocchio ; Francesca Toni ; Panagiota Tsintza
Goal Generation with Ordered Beliefs / Celia da Costa Pereira ; Andrea G.B. Tettamanzi
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic / Alberto Martelli
Knowledge Engineering, Ontologies and the Semantic Web
Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture / Daniele Bagni ; Marco Cappella ; Maria Teresa Pazienza ; Marco Pennacchiotti ; Armando Stellato
English Querying over Ontologies: E-QuOnto / Raffaella Bernardi ; Francesca Bonin ; Domenico Carbotta ; Camilo Thorne
Use of Ontologies in Practical NL Query Interpretation / Leonardo Lesmo ; Livio Robaldo
Machine Learning
Evolving Complex Neural Networks / Mauro Annunziato ; Ilaria Bertini ; Matteo De Felice ; Stefano Pizzuti
Discovering Relational Emerging Patterns / Annalisa Appice ; Michelangelo Ceci ; Carlo Malgieri ; Donato Malerba
Advanced Tree-Based Kernels for Protein Classification / Elisa Cilia ; Alessandro Moschitti
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers / Giuseppe Della Penna ; Francesca Fallucchi ; Benedetto Intrigila ; Daniele Magazzeni
Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets / Roberto Esposito ; Daniele P. Radicioni
Instance-Based Query Answering with Semantic Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
A Hierarchical Clustering Procedure for Semantically Annotated Resources
Similarity-Guided Clause Generalization / S. Ferilli ; T.M.A. Basile ; N. Di Mauro ; M. Biba ; F. Esposito
Structured Hidden Markov Model: A General Framework for Modeling Complex Sequences / Ugo Galassi ; Attilio Giordana ; Lorenza Saitta
Nearest Local Hyperplane Rules for Pattern Classification / Gabor Takacs ; Bela Pataki
Natural Language Processing
The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents / P. Basile ; M. Degemmis ; A.L. Gentile ; P. Lops ; G. Semeraro
Data-Driven Dialogue for Interactive Question Answering / Roberto Basili ; Diego De Cao ; Cristina Giannone ; Paolo Marocco
GlossExtractor: A Web Application to Automatically Create a Domain Glossary / Roberto Navigli ; Paola Velardi
A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction / Daniele Pighin
Inferring Coreferences Among Person Names in a Large Corpus of News Collections / Octavian Popescu ; Bernardo Magnini
Dependency Tree Semantics: Branching Quantification in Underspecification
Information Retrieval and Extraction
User Modelling for Personalized Question Answering / Silvia Quarteroni ; Suresh Manandhar
A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering / Jorg Tiedemann
A Variant of N-Gram Based Language Classification / Andrija Tomovic ; Predrag Janicic
Planning and Scheduling
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals / Enrico Giunchiglia ; Marco Maratea
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems / Roberto Micalizio ; Pietro Torasso
Boosting the Performance of Iterative Flattening Search / Angelo Oddi ; Nicola Policella ; Amedeo Cesta ; Stephen F. Smith
Real-Time Trajectory Generation for Mobile Robots / Alireza Sahraei ; Mohammad Taghi Manzuri ; Mohammad Reza Razvan ; Masoud Tajfard ; Saman Khoshbakht
AI and Applications
Curricula Modeling and Checking / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
Case-Based Support to Small-Medium Enterprises: The Symphony Project / Stefania Bandini ; Paolo Mereghetti ; Esther Merino ; Fabio Sartori
Synthesizing Proactive Assistance with Heterogeneous Agents / Gabriella Cortellessa ; Federico Pecora ; Riccardo Rasconi
Robust Color-Based Skin Detection for an Interactive Robot / Alvise Lastra ; Alberto Pretto ; Stefano Tonello ; Emanuele Menegatti
Building Quality-Based Views of the Web / Enrico Triolo ; Nicola Polettini ; Diego Sona ; Paolo Avesani
Special Track: AI and Robotics
Reinforcement Learning in Complex Environments Through Multiple Adaptive Partitions / Andrea Bonarini ; Alessandro Lazaric ; Marcello Restelli
Uses of Contextual Knowledge in Mobile Robots / D. Calisi ; A. Farinelli ; G. Grisetti ; L. Iocchi ; D. Nardi ; S. Pellegrini ; D. Tipaldi ; V.A. Ziparo
Natural Landmark Detection for Visually-Guided Robot Navigation / Enric Celaya ; Jose-Luis Albarral ; Pablo Jimenez ; Carme Torras
Real-Time Visual Grasp Synthesis Using Genetic Algorithms and Neural Networks / Antonio Chella ; Haris Dindo ; Francesco Matraxia ; Roberto Pirrone
Attention-Based Environment Perception in Autonomous Robotics / Irene Macaluso ; Lorenzo Riano
A 3D Virtual Model of the Knee Driven by EMG Signals / Massimo Sartori ; Gaetano Chemello ; Enrico Pagello
Special Track: AI and Expressive Media
'O Francesca, ma che sei grulla?' Emotions and Irony in Persuasion Dialogues / Irene Mazzotta ; Nicole Novielli ; Vincenzo Silvestri ; Fiorella de Rosis
Music Expression Understanding Based on a Joint Semantic Space / Luca Mion ; Giovanni De Poli
Towards Automated Game Design / Mark J. Nelson
Tonal Harmony Analysis: A Supervised Sequential Learning Approach
Words Not Cast in Stone / Carlo Strapparava ; Alessandro Valitutti ; Oliviero Stock
Special Track: Intelligent Access to Multimedia Information
Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts / Maristella Agosti ; Nicola Ferro ; Nicola Orio
Mining Web Data for Image Semantic Annotation / Riccardo Petitti ; Dario Saracino
Content Aware Image Enhancement / Gianluigi Ciocca ; Claudio Cusano ; Francesca Gasparini ; Raimondo Schettini
Semantic Annotation of Complex Human Scenes for Multimedia Surveillance / Carles Fernandez ; Pau Baiget ; Xavier Roca ; Jordi Gonzalez
Synthesis of Hypermedia Using OWL and Jess / Alberto Machi ; Antonino Lo Bue
NaviTexte, a Text Navigation Tool / Javier Couto ; Jean-Luc Minel
TV Genre Classification Using Multimodal Information and Multilayer Perceptrons / Maurizio Montagnuolo ; Alberto Messina
Posters
Hierarchical Text Categorization Through a Vertical Composition of Classifiers / Andrea Addis ; Giuliano Armano ; Francesco Mascia ; Eloisa Vargiu
Text Categorization in Non-linear Semantic Space / Claudio Biancalana ; Alessandro Micarelli
A System Supporting Users of Cultural Resource Management Semantic Portals / Andrea Bonomi ; Glauco Mantegari ; Alessandro Mosca ; Matteo Palmonari ; Giuseppe Vizzari
Interactive Analysis of Time in Film Stories / Francesco Mele ; Antonio Calabrese ; Roberta Marseglia
Towards MKDA: A Knowledge Discovery Assistant for Researches in Medicine / Vincenzo Cannella ; Giuseppe Russo ; Daniele Peri ; Edoardo Ardizzone
Mobile Robots and Intelligent Environments / Francesco Capezio ; Fulvio Mastrogiovanni ; Antonio Sgorbissa ; Renato Zaccaria
Multi-robot Interacting Through Wireless Sensor Networks
Design of a Multiagent Solution for Demand-Responsive Transportation / Claudio Cubillos ; Sandra Gaete ; Franco Guidi-Polanco ; Claudio Demartini
Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Environments / Berardina De Carolis ; Giovanni Cozzolongo
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions / C. Maria Keet
Recognizing Chinese Proper Nouns with Transformation-Based Learning and Ontology / Peifeng Li ; Qiaoming Zhu ; Lei Wang
Toward Image-Based Localization for AIBO Using Wavelet Transform / Yoshiaki Jitsukawa ; Ryuichi Ueda ; Tamio Arai
Crosslingual Retrieval in an eLearning Environment / Cristina Vertan ; Kiril Simov ; Petya Osenova ; Lothar Lemnitzer ; Alex Killing ; Diane Evans ; Paola Monachesi
Constraint-Based School Timetabling Using Hybrid Genetic Algorithms / Tuncay Yigit
Author Index
Invited Talks
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games / Manuela Veloso
Expressive Intelligence: Artificial Intelligence, Games and New Media / Michael Mateas
93.

電子ブック

EB
António Branco, Jaime G. Carbonell, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Human Processing and Performance
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
Pronoun Resolution and the Influence of Syntactic and Semantic Information on Discourse Prominence / Ralph Rose
Language Analysis and Representation
Anaphora Resolution as Equality by Default / Ariel Cohen
Null Subjects Are Reflexives, Not Pronouns / Antonio Branco
Using Very Large Parsed Corpora and Judgment Data to Classify Verb Reflexivity / Erik-Jan Smits ; Petra Hendriks ; Jennifer Spenader
An Empirical Investigation of the Relation Between Coreference and Quotations: Can a Pronoun Located in Quotations Find Its Referent? / Shana Watters ; Jeanette Gundel
Resolution Methodology and Algorithms
Applying Backpropagation Networks to Anaphor Resolution / Roland Stuckardt
Improving Coreference Resolution Using Bridging Reference Resolution and Automatically Acquired Synonyms / Ryohei Sasano ; Daisuke Kawahara ; Sadao Kurohashi
Evaluating Hybrid Versus Data-Driven Coreference Resolution / Iris Hendrickx ; Veronique Hoste ; Walter Daelemans
Computational Systems and Applications
Automatic Anaphora Resolution for Norwegian (ARN) / Gordana Ilic Holen
"Who Are We Talking About?" Tracking the Referent in a Question Answering Series / Matteo Negri ; Milen Kouylekov
Anaphora Resolution: To What Extent Does It Help NLP Applications? / Ruslan Mitkov ; Richard Evans ; Constantin Orasan ; Le An Ha ; Viktor Pekar
Author Index
Human Processing and Performance
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
94.

電子ブック

EB
Martin V. Butz, Gianluca Baldassarre, Giovanni Pezzulo, Jörg Siekmann, Olivier Sigaud
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
Neural Correlates of Anticipation in Cerebellum, Basal Ganglia, and Hippocampus / Jason G. Fleischer
The Role of Anticipation in the Emergence of Language / Samarth Swarup ; Les Gasser
Superstition in the Machine / Alexander Riegler
Individual Anticipatory Frameworks
From Actions to Goals and Vice-Versa: Theoretical Analysis and Models of the Ideomotor Principle and TOTE / Cristiano Castelfranchi ; Joachim Hoffmann
Project "Animat Brain": Designing the Animat Control System on the Basis of the Functional Systems Theory / Vladimir G. Red'ko ; Konstantin V. Anokhin ; Mikhail S. Burtsev ; Alexander I. Manolov ; Oleg P. Mosalov ; Valentin A. Nepomnyashchikh ; Danil V. Prokhorov
Cognitively Inspired Anticipatory Adaptation and Associated Learning Mechanisms for Autonomous Agents / Aregahegn Negatu ; Sidney D'Mello ; Stan Franklin
Schema-Based Design and the AKIRA Schema Language: An Overview / Gianguglielmo Calvi
Learning Predictions and Anticipations
Training and Application of a Visual Forward Model for a Robot Camera Head / Wolfram Schenck ; Ralf Moller
A Distributed Computational Model of Spatial Memory Anticipation During a Visual Search Task / Jeremy Fix ; Julien Vitay ; Nicolas P. Rougier
A Testbed for Neural-Network Models Capable of Integrating Information in Time / Stefano Zappacosta ; Stefano Nolfi
Construction of an Internal Predictive Model by Event Anticipation / Philippe Capdepuy ; Daniel Polani ; Chrystopher L. Nehaniv
Anticipatory Individual Behavior
The Interplay of Analogy-Making with Active Vision and Motor Control in Anticipatory Robots / Kiril Kiryazov ; Georgi Petkov ; Maurice Grinberg ; Boicho Kokinov ; Christian Balkenius
An Intrinsic Neuromodulation Model for Realizing Anticipatory Behavior in Reaching Movement Under Unexperienced Force Fields / Toshiyuki Kondo ; Koji Ito
Anticipating Rewards in Continuous Time and Space: A Case Study in Developmental Robotics / Arnaud J. Blanchard ; Lola Canamero
Anticipatory Model of Musical Style Imitation Using Collaborative and Competitive Reinforcement Learning / Arshia Cont ; Shlomo Dubnov ; Gerard Assayag
Anticipatory Social Behavior
An Anticipatory Trust Model for Open Distributed Systems / Mario Gomez ; Javier Carbo ; Clara Benac-Earle
Anticipatory Alignment Mechanisms for Behavioral Learning in Multi Agent Systems / Gerben G. Meyer ; Nick B. Szirbik
Backward vs. Forward-Oriented Decision Making in the Iterated Prisoner's Dilemma: A Comparison Between Two Connectionist Models / Emilian Lalev
An Experimental Study of Anticipation in Simple Robot Navigation / Birger Johansson
Author Index
Introduction
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
95.

電子ブック

EB
Francesco Masulli, Sushmita Mitra, Gabriella Pasi, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
96.

電子ブック

EB
Nicolas Maudet, Simon Parsons, Iyad Rahwan, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Argumentation in Multi-Agent Systems: Context and Recent Developments / Nicolas Maudet ; Simon Parsons ; Iyad Rahwan
Foundations and Explorations / Part I:
Argumentation-Based Learning / Taro Fukumoto ; Hajime Sawamura
Arguments and Counterexamples in Case-Based Joint Deliberation / Santiago Ontanon ; Enric Plaza
A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments / Soren Holbech Nielsen
An Argumentation-Based Approach for Practical Reasoning / Leila Amgoud
Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing / Peter Harvey ; Chee Fon Chang ; Aditya Ghose
Managing Social Influences Through Argumentation-Based Negotiation / Nishan C. Karunatillake ; Nicholas R. Jennings ; Sarvapali D. Ramchurn
Strategic Issues / Part II:
An Argumentation-Based Approach for Dialog Move Selection / Nabil Hameurlain
Specification and Complexity of Strategic-Based Reasoning Using Argumentation / Mohamed Mbarki ; Jamal Bentahar ; Bernard Moulin
Information Based Argumentation Heuristics / Nir Oren ; Timothy J. Norman ; Alun Preece
Negotiating Using Rewards / Carles Sierra ; Lluis Godo
Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report / Philippe Pasquier ; Frank Dignum ; Liz Sonenberg
Author Index
Argumentation in Multi-Agent Systems: Context and Recent Developments / Nicolas Maudet ; Simon Parsons ; Iyad Rahwan
Foundations and Explorations / Part I:
Argumentation-Based Learning / Taro Fukumoto ; Hajime Sawamura
97.

電子ブック

EB
Thomas S. Huang, Jaime G. Carbonell, Anton Nijholt, Maja Pantic, Alex Pentland, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Human Computing / Part I:
Foundations of Human Computing: Facial Expression and Emotion / Jeffrey F. Cohn
Instinctive Computing / Yang Cai
Sensing Humans for Human Computing / Part II:
Human Computing and Machine Understanding of Human Behavior: A Survey / Maja Pantic ; Alex Pentland ; Anton Nijholt ; Thomas S. Huang
Audio-Visual Spontaneous Emotion Recognition / Zhihong Zeng ; Yuxiao Hu ; Glenn I. Roisman ; Zhen Wen ; Yun Fu
Modeling Naturalistic Affective States Via Facial, Vocal, and Bodily Expressions Recognition / Kostas Karpouzis ; George Caridakis ; Loic Kessous ; Noam Amir ; Amaryllis Raouzaiou ; Lori Malatesta ; Stefanos Kollias
Emotion and Reinforcement: Affective Facial Expressions Facilitate Robot Learning / Joost Broekens
Trajectory-Based Representation of Human Actions / Antonios Oikonomopoulos ; Ioannis Patras ; Nikos Paragios
Modelling the Communication Atmosphere: A Human Centered Multimedia Approach to Evaluate Communicative Situations / Tomasz M. Rutkowski ; Danilo P. Mandic
Modeling Influence Between Experts / Wen Dong
Anthropocentric Interaction Models for Human Computing / Part III:
Social Intelligence Design and Human Computing / Toyoaki Nishida
Feedback Loops in Communication and Human Computing / Rieks op den Akker ; Dirk Heylen
Evaluating the Future of HCI: Challenges for the Evaluation of Emerging Applications / Ronald Poppe ; Rutger Rienks ; Betsy van Dijk
Gaze-X: Adaptive, Affective, Multimodal Interface for Single-User Office Scenarios / Ludo Maat
SmartWeb Handheld - Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services / Daniel Sonntag ; Ralf Engel ; Gerd Herzog ; Alexander Pfalzgraf ; Norbert Pfleger ; Massimo Romanelli ; Norbert Reithinger
A Learning-Based High-Level Human Computer Interface for Face Modeling and Animation / Volker Blanz
Challenges for Virtual Humans in Human Computing / Dennis Reidsma ; Zsofia Ruttkay
Affect Detection and an Automated Improvisational AI Actor in E-Drama / Li Zhang ; Marco Gillies ; John A. Barnden ; Robert J. Hendley ; Mark G. Lee ; Alan M. Wallington
Author Index
Foundations of Human Computing / Part I:
Foundations of Human Computing: Facial Expression and Emotion / Jeffrey F. Cohn
Instinctive Computing / Yang Cai
98.

電子ブック

EB
Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
99.

電子ブック

EB
Frank Pfenning, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk: Colin Stirling / Session 1:
Games, Automata and Matching / Colin Stirling
Higher-Order Logic / Session 2:
Formalization of Continuous Probability Distributions / Osman Hasan ; Sofiene Tahar
Compilation as Rewriting in Higher Order Logic / Guodong Li ; Konrad Slind
Barendregt's Variable Convention in Rule Inductions / Christian Urban ; Stefan Berghofer ; Michael Norrish
Automating Elementary Number-Theoretic Proofs Using Grobner Bases / John Harrison
Description Logic / Session 3:
Optimized Reasoning in Description Logics Using Hypertableaux / Boris Motik ; Rob Shearer ; Ian Horrocks
Conservative Extensions in the Lightweight Description Logic EL / Carsten Lutz ; Frank Wolter
An Incremental Technique for Automata-Based Decision Procedures / Gulay Unel ; David Toman
Intuitionistic Logic / Session 4:
Bidirectional Decision Procedures for the Intuitionistic Prepositional Modal Logic IS4 / Samuli Heilala ; Brigitte Pientka
A Labelled System for IPL with Variable Splitting / Roger Antonsen ; Arild Waaler
Invited Talk: Ashish Tiwari / Session 5:
Logical Interpretation: Static Program Analysis Using Theorem Proving / Ashish Tiwari ; Sumit Gulwani
Satisfiability Modulo Theories / Session 6:
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories / Yeting Ge ; Clark Barrett ; Cesare Tinelli
Efficient E-Matching for SMT Solvers / Leonardo de Moura ; Nikolaj Bjorner
T-Decision by Decomposition / Maria Paola Bonacina ; Mnacho Echenim
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic / Viktor Kuncak ; Martin Rinard
Induction, Rewriting, and Polymorphism / Session 7:
Improvements in Formula Generalization / Markus Aderhold
On the Normalization and Unique Normalization Properties of Term Rewrite Systems / Guillem Godoy ; Sophie Tison
Handling Polymorphism in Automated Deduction / Jean-Francois Couchot ; Stephane Lescuyer
First-Order Logic / Session 8:
Automated Reasoning in Kleene Algebra / Peter Hofner ; Georg Struth
SRASS - A Semantic Relevance Axiom Selection System / Geoff Sutcliffe ; Yury Puzis
Labelled Clauses / Tal Lev-Ami ; Christoph Weidenbach ; Thomas Reps ; Mooly Sagiv
Automatic Decidability and Combinability Revisited / Christopher Lynch ; Duc-Khanh Tran
Invited Talk: K. Rustan M. Leino / Session 9:
Designing Verification Conditions for Software / K. Rustan M. Leino
Model Checking and Verification / Session 10:
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic / Juan Antonio Navarro-Perez ; Andrei Voronkov
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
The KeY System 1.0 / Bernhard Beckert ; Martin Giese ; Reiner Hahnle ; Vladimir Klebanov ; Philipp Rummer ; Steffen Schlager ; Peter H. Schmitt
KeY-C: A Tool for Verification of C Programs / Oleg Murk ; Daniel Larsson
The Bedwyr System for Model Checking over Syntactic Expressions / David Baelde ; Andrew Gacek ; Dale Miller ; Gopalan Nadathur ; Alwen Tiu
System for Automated Deduction (SAD): A Tool for Proof Verification / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich
Invited Talk: Peter Baumgartner / Session 11:
Logical Engineering with Instance-Based Methods / Peter Baumgartner
Termination / Session 12:
Predictive Labeling with Dependency Pairs Using SAT / Adam Koprowski ; Aart Middeldorp
Dependency Pairs for Rewriting with Non-free Constructors / Stephan Falke ; Deepak Kapur
Proving Termination by Bounded Increase / Jurgen Giesl ; Rene Thiemann ; Stephan Swiderski ; Peter Schneider-Kamp
Certified Size-Change Termination / Alexander Krauss
Tableaux and First-Order Systems / Session 13:
Encoding First Order Proofs in SAT / Todd Deshane ; Wenjin Hu ; Patty Jablonski ; Hai Lin ; Ralph Eric McGregor
Hyper Tableaux with Equality / Ulrich Furbach ; Bjorn Pelzer
System Description: E-KRHyper / Christoph Wernhard
System Description: SPASS Version 3.0 / Renate A. Schmidt ; Thomas Hillenbrand ; Rostislav Rusev ; Dalibor Topic
Author Index
Invited Talk: Colin Stirling / Session 1:
Games, Automata and Matching / Colin Stirling
Higher-Order Logic / Session 2:
100.

電子ブック

EB
Nicola Olivetti, Jörg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Piero A. Bonatti
Our Quest for the Holy Grail of Agent Verification / John-Jules Ch. Meyer
An Abstract Framework for Satisfiability Modulo Theories / Cesare Tinelli
Research Papers
Axiom Pinpointing in General Tableaux / Franz Baader ; Rafael Penaloza
Proof Theory for First Order Lukasiewicz Logic / Matthias Baaz ; George Metcalfe
A Tableau Method for Public Announcement Logics / Philippe Balbiani ; Hans van Ditmarsch ; Andreas Herzig ; Tiago de Lima
Bounded Model Checking with Description Logic Reasoning / Shoham Ben-David ; Richard Trefler ; Grant Weddell
Tableau Systems for Logics of Subinterval Structures over Dense Orderings / Davide Bresolin ; Valentin Goranko ; Angelo Montanari ; Pietro Sala
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic / Linda Buisman ; Rajeev Gore
Tableaux with Dynamic Filtration for Layered Modal Logics / Olivier Gasquet ; Bilal Said
The Neighbourhood of S0.9 and S1 / Roderic A. Girle
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies / Linh Anh Nguyen
Tree-Sequent Methods for Subintuitionistic Predicate Logics / Ryo Ishigaki ; Kentaro Kikuchi
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation / Ekaterina Komendantskaya
Updating Reduced Implicate Tries / Neil V. Murray ; Erik Rosenthal
A Bottom-Up Approach to Clausal Tableaux / Nicolas Peltier
Differential Dynamic Logic for Verifying Parametric Hybrid Systems / Andre Platzer
System Descriptions
Improvements to the Tableau Prover PITP / Alessandro Avellone ; Guide Fiorino ; Ugo Moscato
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning / Laura Giordano ; Valentina Gliozzi ; Gian Luca Pozzato
Author Index
Invited Talks
Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Piero A. Bonatti
Our Quest for the Holy Grail of Agent Verification / John-Jules Ch. Meyer
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼