close
1.

電子ブック

EB
Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Jörg Siekmann, Leon Sterling
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
2.

電子ブック

EB
Pablo Noriega, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson, Jörg Siekmann, Javier Vázquez-Salceda, Eric T. Matson
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Modelling and Analyzing Organizations / I:
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
Coordinating Tasks in Agent Organizations
Redesign of Organizations as a Basis for Organizational Change / Mark Hoogendoorn ; Catholijn M. Jonker ; Jan Treur
Modelling and Analyzing Institutions / II:
Specifying and Reasoning About Multiple Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model / Benjamin Gateau ; Olivier Boissier ; Djamel Khadraoui ; Eric Dubois
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions / Huib Aldewereld
Specification and Verification of Institutions Through Status Functions / Francesco Vigano ; Marco Colombetti
Normative Models and Issues / III:
Spatially Distributed Normative Objects / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Informing Regulatory Dynamics in Open MASs / Carolina Felicissimo ; Ricardo Choren ; Jean-Pierre Briot ; Carlos Lucena
Operationalisation of Norms for Electronic Institutions / Andres Garcia-Camino ; Pablo Noriega ; Juan Antonio Rodriguez-Aguilar ; Carles Sierra
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach / Juan-Antonio Rodriguez-Aguilar ; Wamberto Vasconcelos
An Agent-Based Model for Hierarchical Organizations / Luis Erasmo Montealegre Vazquez ; Fabiola Lopez y Lopez
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems / Dorian Gaertner ; Keith Clark ; Marek Sergot
Norm Evolution and Dynamics / IV:
Towards Self-configuration in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez
Norm Conflicts and Inconsistencies in Virtual Organisations / Martin J. Kollingbaum ; Timothy J. Norman ; Alun Preece ; Derek Sleeman
Using Dynamic Electronic Institutions to Enable Digital Business Ecosystems / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
A Peer-to-Peer Normative System to Achieve Social Order / Amandine Grizard ; Laurent Vercouter ; Tiberiu Stratulat ; Guillaume Muller
Autonomy, Coordination and Social Order / V:
What Is Commitment? Physical, Organizational, and Social (Revised) / Carl Hewitt
Modelling and Monitoring Social Expectations in Multi-agent Systems / Stephen Cranefield
Influence-Based Autonomy Levels in Agent Decision-Making / Bob van der Vecht ; Andre P. Meyer ; Martijn Neef ; John-Jules Ch. Meyer
Centralized Regulation of Social Exchanges Between Personality-Based Agents / Gracaliz Pereira Dimuro ; Luciano Vargas Goncalves ; Alexandre Hubner
Cooperative Interactions: An Exchange Values Model / Maira R. Rodrigues ; Michael Luck
Author Index
Modelling and Analyzing Organizations / I:
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
3.

電子ブック

EB
Daniel Borrajo, Luis Castillo, Juan Manuel Corchado, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
Interoperable Bayesian Agents for Collaborative Learning Environments / Elisa Boff ; Elder Rizzon Santos ; Moser S. Fagundes ; Rosa Maria Vicari
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs / Luis Castillo ; Lluvia Morales ; Arturo Gonzalez-Ferrer ; Juan Fernandez-Olivares ; Oscar Garcia-Perez
On the Initialization of Two-Stage Clustering with Class-GTM / Raul Cruz-Barbosa ; Alfredo Vellido
Three-Dimensional Anisotropic Noise Reduction with Automated Parameter Tuning: Application to Electron Cryotomography / J.J. Fernandez ; S. Li ; V. Lucic
A Middle-Ware for the Automated Composition and Invocation of Semantic Web Services Based on Temporal HTN Planning Techniques / Tomas Garzon ; Francisco Palao
A Multiobjective Approach to Fuzzy Job Shop Problem Using Genetic Algorithms / Ines Gonzalez-Rodriguez ; Jorge Puente ; Camino R. Vela
CTC: An Alternative to Extract Explanation from Bagging / Ibai Gurrutxaga ; Jesus M[superscript a] Perez ; Olatz Arbelaitz ; Javier Muguerza ; Jose I. Martin ; Ander Ansuategi
Ranking Attributes Using Learning of Preferences by Means of SVM / Alejandro Hernandez-Arauzo ; Miguel Garcia-Torres ; Antonio Bahamonde
Improving HLRTA*([kappa]) / Carlos Hernandez ; Pedro Meseguer
Sliding Mode Control of a Wastewater Plant with Neural Networks and Genetic Algorithms / Miguel A. Jaramillo-Moran ; Juan C. Peguero-Chamizo ; Enrique Martinez de Salazar ; Montserrat Garcia del Valle
Efficient Pruning of Operators in Planning Domains / Anders Jonsson
Heuristics for Planning with Action Costs / Emil Keyder
Mixed Narrative and Dialog Content Planning Based on BDI Agents / Carlos Leon ; Samer Hassan ; Pablo Gervas ; Juan Pavon
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs / R.M. Gasca ; C. Del Valle ; M.T. Gomez-Lopez ; R. Ceballos
Interest Point Detectors for Visual SLAM / Oscar Martinez Mozos ; Arturo Gil ; Monica Ballesta ; Oscar Reinoso
TBL Template Selection: An Evolutionary Approach / Ruy Luiz Milidiu ; Julio Cesar Duarte ; Cicero Nogueira dos Santos
Finiteness Properties of Some Families of GP-Trees / Cesar L. Alonso ; Jose Luis Montana
A Workflow for the Networked Ontologies Lifecycle: A Case Study in FAO of the UN / Oscar Munoz-Garcia ; Asuncion Gomez-Perez ; Marta Iglesias-Sucasas ; Soonho Kim
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
A Solution to the Rural Postman Problem Based on Artificial Ant Colonies / Maria Luisa Perez-Delgado
Olive Fly Infestation Prediction Using Machine Learning Techniques / Jose del Sagrado ; Isabel Maria del Aguila
Feature Selection Based on Sensitivity Analysis / Noelia Sanchez-Marono ; Amparo Alonso-Betanzos
Fitness Function Comparison for GA-Based Feature Construction / Leila S. Shafti ; Eduardo Perez
Generation of OWL Ontologies from Concept Maps in Shallow Domains / Alfredo Simon ; Luigi Ceccaroni ; Alejandro Rosete
Effectiveness Study of Lexically Mapping Two Thesauri / M. Taboada ; R. Lalin ; D. Martinez ; S. Tellado
Author Index
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
4.

電子ブック

EB
Aiko Pras, Jörg Siekmann, Marten Sinderen, Marten J. van Sinderen, EUNICE Network., Marten van Sinderen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
5.

電子ブック

EB
Vincent G. Duffy, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック

EB
Sergei O. Kuznetsov, Stefan Schmidt, Stefan E. Schmidt, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
7.

電子ブック

EB
Patricia Melin, Luis T. Aguilar, Jaime G. Carbonell, Oscar Castillo, Janusz Kacprzyk, Witold Pedrycz, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック

EB
Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック

EB
Boris Konev, Jörg Siekmann, Frank Wolter
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions / Section 1:
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL / Sava Krstic ; Amit Goel
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain / Roberto Sebastiani
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions / Viorica Sofronie-Stokkermans
Temporalising Logics: Fifteen Years After / Michael Zakharyashev
Technical Papers / Section 2:
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs / Beatriz Alarcon ; Salvador Lucas
A Compressing Translation from Propositional Resolution to Natural Deduction / Hasan Amjad
Combining Algorithms for Deciding Knowledge in Security Protocols / Mathilde Arnaud ; Veronique Cortier ; Stephanie Delaune
Combining Classical and Intuitionistic Implications / Carlos Caleiro ; Jaime Ramos
Towards an Automatic Analysis of Web Service Security / Yannick Chevalier ; Denis Lugiez ; Michael Rusinowitch
Certification of Automated Termination Proofs / Evelyne Contejean ; Pierre Courtieu ; Julien Forest ; Olivier Pons ; Xavier Urbain
Temporal Logic with Capacity Constraints / Clare Dixon ; Michael Fisher ; Boris Konev
Idempotent Transductions for Modal Logics / Tim French
A Temporal Logic of Robustness / John C. Mc Cabe-Dansted ; Mark Reynolds
Noetherianity and Combination Problems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
Languages Modulo Normalization / Hitoshi Ohsaki ; Hiroyuki Seki
Combining Proof-Producing Decision Procedures / Christophe Ringeissen ; Duc-Khanh Tran
Visibly Pushdown Languages and Term Rewriting / Jacques Chabin ; Pierre Rety
Proving Termination Using Recursive Path Orders and SAT Solving / Peter Schneider-Kamp ; Rene Thiemann ; Elena Annov ; Michael Codish ; Jurgen Giesl
Author Index
Invited Contributions / Section 1:
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL / Sava Krstic ; Amit Goel
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain / Roberto Sebastiani
10.

電子ブック

EB
Marcin S. Szczuka, Daniel Howard, Jörg Siekmann, Haeng-kon Kim, Tai-hoon Kim, Il-seok Ko, Geuk Lee, Dominik Slezak, Peter M. A. Sloot
出版情報: SpringerLink Books - AutoHoldings , 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
11.

電子ブック

EB
Zhi-Hua Zhou, Jaime G. Carbonell, Hang Li, Jörg Siekmann, Qiang Yang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
12.

電子ブック

EB
António Branco, Jaime G. Carbonell, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
13.

電子ブック

EB
Martin V. Butz, Gianluca Baldassarre, Giovanni Pezzulo, Jörg Siekmann, Olivier Sigaud
出版情報: SpringerLink Books - AutoHoldings , 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
14.

電子ブック

EB
Francesco Masulli, Sushmita Mitra, Gabriella Pasi, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
15.

電子ブック

EB
Nicolas Maudet, Simon Parsons, Iyad Rahwan, Jörg Siekmann, Simon D. Parsons
出版情報: SpringerLink Books - AutoHoldings , 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
16.

電子ブック

EB
Thomas S. Huang, Jaime G. Carbonell, Anton Nijholt, Maja Pantic, Alex Pentland, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
17.

電子ブック

EB
Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
18.

電子ブック

EB
Frank Pfenning, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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:
19.

電子ブック

EB
Nicola Olivetti, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
20.

電子ブック

EB
Vladimir Gorodetsky, Longbing Cao, Vladimir I. Gorodetski, Jörg Siekmann, Victor A. Skormin, Chengqi Zhang, Victor Skormin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Peer-to-Peer Data Mining, Privacy Issues, and Games / Hillol Kargupta ; Kanishka Bhaduri ; Kamalika Das
Ontos Solutions for Semantic Web: Text Mining, Navigation and Analytics / Vladimir Khoroshevsky ; Irina Efimenko ; Grigory Drobyazko ; Polina Kananykina ; Victor Klintsov ; Dmitry Lisitsin ; Viacheslav Seledkin ; Anatoli Starostin ; Vyacheslav Vorobyov
Robust Agent Communities / Sandip Sen ; Sabyasachi Saha ; Stephane Airiau ; Teddy Candale ; Dipyaman Banerjee ; Doran Chakraborty ; Partha Mukherjee ; Anil Gursel
WI Based Multi-aspect Data Analysis in a Brain Informatics Portal / Ning Zhong ; Shinichi Motomura
Agent and Data Mining
Agent-Mining Interaction: An Emerging Area / Longbing Cao ; Chao Luo ; Chengqi Zhang
Evaluating Knowledge Intensive Multi-agent Systems / Christos Dimou ; Andreas L. Symeonidis ; Pericles A. Mitkas
Towards an Ant System for Autonomous Agents / Zoheir Ezziane
Semantic Modelling in Agent-Based Software Development / Peter Graubmann ; Mikhail Roshchin
Combination Methodologies of Multi-agent Hyper Surface Classifiers: Design and Implementation Issues / Qing He ; Xiu-Rong Zhao ; Ping Luo ; Zhong-Zhi Shi
Security in a Mobile Agent Based DDM Infrastructure / Xining Li
Automatic Extraction of Business Rules to Improve Quality in Planning and Consolidation in Transport Logistics Based on Multi-agent Clustering / Igor Minakov ; George Rzevski ; Petr Skobelev ; Simon Volman
Intelligent Agents for Real Time Data Mining in Telecommunications Networks / Luis E. Rocha-Mier ; Leonid Sheremetov ; Ildar Batyrshin
Architecture of Typical Sensor Agent for Learning and Classification Network / Vladimir Samoylov
Self-organizing Multi-agent Systems for Data Mining / Ichiro Satoh
Role-Based Decision Mining for Multiagent Emergency Response Management / Alexander Smirnov ; Mikhail Pashkin ; Tatiana Levashova ; Nikolay Shilov ; Alexey Kashevnik
Agent Competition and Data Mining
Virtual Markets: Q-Learning Sellers with Simple State Representation / Natalia Akchurina ; Hans Kleine Buning
Fusion of Dependence Networks in Multi-agent Systems - Application to Support Net-Enabled Littoral Surveillance / Mohamad K. Allouche ; Eloi Bosse
Multi-agent Framework for Simulation of Adaptive Cooperative Defense Against Internet Attacks / Igor Kotenko ; Alexander Ulanov
On Competing Agents Consistent with Expert Knowledge / Edward Pogossian ; Vachagan Vahradyan ; Arthur Grigoryan
On-Line Agent Teamwork Training Using Immunological Network Model / Lev Stankevich ; Denis Trotsky
Text Mining, Semantic Web, and Agents
Combination of Rough Sets and Genetic Algorithms for Text Classification / Rujiang Bai ; Xiaoyue Wang ; Junhua Liao
Multi-agent Meta-search Engine Based on Domain Ontology / Marat Kanteev
Efficient Search Technique for Agent-Based P2P Information Retrieval / Byungryong Kim ; Kichang Kim
Classification of Web Documents Using Concept Extraction from Ontologies / Marina Litvak ; Mark Last ; Slava Kisilevich
Emotional Cognitive Agents with Adaptive Ontologies / Leonid I. Perlovsky
Viral Knowledge Acquisition Through Social Networks / Dmitri Soshnikov ; Mikhail Chernomordikov
Chinese Weblog Pages Classification Based on Folksonomy and Support Vector Machines
Author Index
Invited Talks
Peer-to-Peer Data Mining, Privacy Issues, and Games / Hillol Kargupta ; Kanishka Bhaduri ; Kamalika Das
Ontos Solutions for Semantic Web: Text Mining, Navigation and Analytics / Vladimir Khoroshevsky ; Irina Efimenko ; Grigory Drobyazko ; Polina Kananykina ; Victor Klintsov ; Dmitry Lisitsin ; Viacheslav Seledkin ; Anatoli Starostin ; Vyacheslav Vorobyov
21.

電子ブック

EB
Uta Priss, Richard Hill, Simon Polovina, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
Hypermedia Discourse: Contesting Networks of Ideas and Arguments / Simon Buckingham Shum
Dynamic Epistemic Logic and Knowledge Puzzles / H.P. van Ditmarsch ; W. van der Hoek ; B. P. Kooi
Peirce on Icons and Cognition / Christopher Hookway
Conceptual Graphs
Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments / Hedi Haddad ; Bernard Moulin
A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules / Jean-François Baget
A Knowledge Management Optimization Problem Using Marginal Utility in a Metric Space with Conceptual Graphs / Jeffrey A. Schiffel
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise / Rallou Thomopoulos ; Jean-Françoils Baget ; Ollivier Haemmerlé
An Inferential Approach to the Generation of Referring Expressions / Madalina Croitoru ; Kees van Deemter
A Conceptual Graph Description of Medical Data for Brain Tumour Classification / Bo Hu ; Srinandan Dashmapatra ; Paul Lewis ; David Dupplaw ; Liang Xiao
A Conceptual Graph Based Approach to Ontology Similarity Measure
A Comparison of Different Conceptual Structures Projection Algorithms / Heather D. Pfeiffer ; Roger T. Hartley
A Conceptual Graph Approach to Feature Modeling / Randall C. Bachmeyer ; Harry S. Delugach
From Conceptual Structures to Semantic Interoperability of Content / Pavlin Dobrev ; Ognian Kalaydjiev ; Galia Angelova
Formal Concept Analysis
Faster Concept Analysis / Adam D. Troy ; Guo-Qiang Zhang ; Ye Tian
The Design Space of Information Presentation: Formal Design Space Analysis with FCA and Semiotics / Michael May ; Johannes Petersen
Reducing the Representation Complexity of Lattice-Based Taxonomies / Sergei Kuznetsov ; Sergei Obiedkov ; Camille Roth
An FCA Perspective on n-Distributivity / Heiko Reppe
Towards a Semantology of Music / Rudolf Wille ; Renate Wille-Henning
Analysis of the Publication Sharing Behaviour in BibSonomy / Robert Jäschke ; Andreas Hotho ; Christoph Schmitz ; Gerd Stumme
The MILL-Method for Informal Learning Logistics / Andreas Faatz ; Manuel Goertz ; Eicke Godehardt ; Robert Lokaiczyk
Bilingual Word Association Networks / Uta Priss ; L. John Old
Using FCA for Encoding Closure Operators into Neural Networks / Sebastian Rudolph
Conceptual Structures
Are Consistency Projection: A New Generalization Relation for Graphs / Michael Liquiere
Mining Frequent Closed Unordered Trees Through Natural Representations / José L. Balcázar ; Albert Bifet ; Antoni Lozano
Devolved Ontology for Smart Applications / Iain Duncan Stalker ; Nikolay Mehandjiev ; Martin Carpenter
Historical and Conceptual Foundation of Diagrammatical Ontology / Peter Øhrstrøm ; Sara L. Uckelman ; Henrik Schärfe
Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs / Boris A. Galitsky ; Boris Kovalerchuk ; Sergei O. Kuznetsov
Belief Flow in Assertion Networks / Sujata Ghosh ; Benedikt Löwe ; Erik Scorelle
Conceptual Fingerprints: Lexical Decomposition by Means of Frames - A Neuro-cognitive Model / Wiebke Petersen ; Markus Werning
Constants and Functions in Peirce's Existential Graphs / Frithjof Dau
Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution / Mary Keeler
Short Papers
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams / David Cox
Quo Vadis, CS? On the (non)-Impact of Conceptual Structures on the Semantic Web / Markus Krötzsch ; Pascal Hitzler
A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual Graphs / Bryan J. Smith
Implementation of SPARQL Query Language Based on Graph Homomorphism / Olivier Corby ; Catherine Faron-Zucker
Cooperative CG-Wrappers for Web Content Extraction / Fotis Kokkoras ; Nick Bassiliades ; Ioannis Vlahavas
Conceptual Graphs and Ontologies for Information Retrieval / Catherine Comparot ; Nathalie Hernandez
Representation Levels Within Knowledge Representation / Joseph J. Pfeiffer
Supporting Lexical Ontology Learning by Relational Exploration / Johanna Völker
Characterizing Implications of Injective Partial Orders / Gemma C. Garriga
DVDSleuth: A Case Study in Applied Formal Concept Analysis for Navigating Web Catalogs / Jon Ducrou
Navigation in Knowledge-Based System for Helpdesk Based on FCA / Vladimír Sklenář ; Martin Radvanský ; Michal Dobeš
Functional Properties of Formal Concept Analysis / Hideo Mori
Towards an Ontology to Conceptualize Solution Analysis Tasks in CSCL Environments / Rafael Duque ; Crescencio Bravo ; Manuel Ortega
Author Index
Invited Papers
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
22.

電子ブック

EB
Danny Weyns, Fabien Michel, H. Van Dyke Parunak, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
23.

電子ブック

EB
Rosina O. Weber, Michael M. Richter, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
Usages of Generalization in Case-Based Reasoning / Eva Armengol
Research Papers
Team Playing Behavior in Robot Soccer: A Case-Based Reasoning Approach / Raquel Ros ; Ramon Lopez de Mantaras ; Josep Lluis Arcos ; Manuela Veloso
Acquiring Word Similarities with Higher Order Association Mining / Sutanu Chakraborti ; Nirmalie Wiratunga ; Robert Lothian ; Stuart Watt
Label Ranking in Case-Based Reasoning / Klaus Brinker ; Eyke Hullermeier
When Similar Problems Don't Have Similar Solutions / Stewart Massie ; Susan Craw
Mixed-Initiative Relaxation of Constraints in Critiquing Dialogues / David McSherry ; David W. Aha
A Methodology for Analyzing Case Retrieval from a Clustered Case Memory / Albert Fornells ; Elisabet Golobardes ; Josep Maria Martorell ; Josep Maria Garrell ; Nuria Macia ; Ester Bernado
Using Cases Utility for Heuristic Planning Improvement / Tomas de la Rosa ; Angel Garcia Olaya ; Daniel Borrajo
Case-Based Reasoning Adaptation for High Dimensional Solution Space / Ying Zhang ; Panos Louvieris ; Maria Petrou
Case-Based Planning and Execution for Real-Time Strategy Games / Santiago Ontanon ; Kinshuk Mishra ; Neha Sugandh ; Ashwin Ram
Case Authoring: From Textual Reports to Knowledge-Rich Cases / Stella Asiimwe ; Bruce Taylor
Case Provenance: The Value of Remembering Case Sources / David Leake ; Matthew Whitehead
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge / Jay Powell
Representation and Structure-Based Similarity Assessment for Agile Workflows / Mirjam Minor ; Alexander Tartakovski ; Ralph Bergmann
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation / Jean Lieber
Methodological Assistance for Integrating Data Quality Evaluations into Case-Based Reasoning Systems / Annett Bierer
Case-Based Anomaly Detection / Alessandro Micarelli ; Giuseppe Sansonetti
Case-Based Reasoning in Robot Indoor Navigation / Stefano Panzieri
Case-Based Group Recommendation: Compromising for Success / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth
Catching the Drift: Using Feature-Free Case-Based Reasoning for Spam Filtering / Sarah Jane Delany ; Derek Bridge
Enhancing Case-Based, Collaborative Web Search / Oisin Boydell
An Analysis of Case-Based Value Function Approximation by Approximating State Transition Graphs / Thomas Gabel ; Martin Riedmiller
From Anomaly Reports to Cases / Alessandro Donati ; Emmanuel Vicari
Assessing Classification Accuracy in the Revision Stage of a CBR Spam Filtering System / Jose Ramon Mendez ; Carlos Gonzalez ; Daniel Glez-Pena ; Florentino Fdez-Riverola ; Fernando Diaz ; Juan Manuel Corchado
Application Papers
Intelligent Guidance and Suggestions Using Case-Based Planning / Javier Bajo ; Sara Rodriguez
Case-Based Reasoning for Invoice Analysis and Recognition / Hatem Hamza ; Yolande Belaid ; Abdel Belaid
Watershed Segmentation Via Case-Based Reasoning / Maria Frucci ; Petra Perner ; Gabriella Sanniti di Baja
A Case-Based Song Scheduler for Group Customised Radio / Claudio Baccigalupo ; Enric Plaza
Helping Software Engineers Reusing UML Class Diagrams / Paulo Gomes ; Pedro Gandola ; Joel Cordeiro
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System / Amelie Cordier ; Beatrice Fuchs ; Alain Mille
Classify and Diagnose Individual Stress Using Calibration and Fuzzy Case-Based Reasoning / Shahina Begum ; Mobyen Uddin Ahmed ; Peter Funk ; Ning Xiong ; Bo von Scheele
Prototypical Cases for Knowledge Maintenance in Biomedical CBR / Isabelle Bichindaritz
Case-Based Support for Library Reference Services / Yen Bui
Knowledge Extraction and Summarization for an Application of Textual Case-Based Interpretation / Eni Mustafaraj ; Martin Hoof ; Bernd Freisleben
Author Index
Invited Papers
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
24.

電子ブック

EB
Ruqian Lu, Jörg Siekmann, Jörg H. Siekmann, Carsten Ullrich
出版情報: SpringerLink Books - AutoHoldings , 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
25.

電子ブック

EB
Jaime G. Carbonell, Jörg Siekmann, Ljupco Todorovski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I:
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
Incorporating Engineering Formalisms into Automated Model Builders / Matthew Easley
Integrating Domain Knowledge in Equation Discovery
Communicability Criteria of Law Equations Discovery / Takashi Washio ; Hiroshi Motoda
Quantitative Revision of Scientific Models / Kazumi Saito
Discovering Communicable Models from Earth Science Data / Mark Schwabacher ; Christopher Potter ; Steven Klooster ; Alicia Torregrosa
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools / Feng Zhao ; Chris Bailey-Kellogg ; Xingang Huang ; Juan Ordonez
Computational Discovery in Pure Mathematics / Simon Colton
Computational Scientific Discovery in Biomedicine / II:
Automatic Computational Discovery of Chemical Reaction Networks Using Genetic Programming / John R. Koza ; William Mydlowec ; Guido Lanza ; Lessen Yu ; Martin A. Keane
Discovery of Genetic Networks Through Abduction and Qualitative Simulation / Blaz Zupan ; Ivan Bratko ; Janez Demsar ; Peter Juvan ; Adam Kuspa ; John A. Halter ; Gad Shaulsky
Learning Qualitative Models of Physical and Biological Systems / Simon M. Garrett ; George M. Coghill ; Ashwin Srinivasan ; Ross D. King
Logic and the Automatic Acquisition of Scientific Knowledge: An Application to Functional Genomics / Andreas Karwath ; Amanda Clare ; Luc Dehaspe
Drug Discovery as an Example of Literature-Based Discovery / Marc Weeber
Literature Based Discovery Support System and Its Application to Disease Gene Identification / Dimitar Hristovski ; Borut Peterlin ; Janez Stare
Author Index
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I:
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
26.

電子ブック

EB
Yuping Wang, Yiu-ming Cheung, Hailin Liu, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Bio-inspired Computing
An Improved Particle Swarm Optimizer for Truss Structure Optimization / Lijuan Li ; Zhibin Huang ; Feng Liu
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment / Hongwei Huo ; Vojislav Stojkovic
A Further Discussion on Convergence Rate of Immune Genetic Algorithm to Absorbed-State / Xiaoping Luo ; Wenyao Pang ; Ji Huang
Linear Programming Relax-PSO Hybrid Bound Algorithm for a Class of Nonlinear Integer Programming Problems / Yuelin Gao ; Chengxian Xu ; Jimin Li
An Improved Ant Colony System and Its Application / Xiangpei Hu ; Qiulei Ding ; Yongxian Li ; Dan Song
Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines / Shulin Wang ; Huowang Chen ; Ji Wang ; Dingxing Zhang ; Shutao Li
Gene Selection Using Wilcoxon Rank Sum Test and Support Vector Machine for Cancer Classification / Chen Liao ; Zhiyuan Luo
General Particle Swarm Optimization Based on Simulated Annealing for Multi-specification One-Dimensional Cutting Stock Problem / Xianjun Shen ; Yuanxiang Li ; Bojin Zheng ; Zhifeng Dai
Neurodynamic Analysis for the Schur Decomposition of the Box Problems / Quanju Zhang ; Fuye Feng ; Zhenghong Wei
A New Model Based Multi-objective PSO Algorithm / Jingxuan Wei ; Yuping Wang
Evolutionary Computation
A New Multi-objective Evolutionary Optimisation Algorithm: The Two-Archive Algorithm / Kata Praditwong ; Xin Yao
Labeling of Human Motion by Constraint-Based Genetic Algorithm / Fu Yuan Hu ; Hau San Wong ; Zhi Qiang Liu ; Hui Yang Qu
Genetic Algorithm and Pareto Optimum Based QoS Multicast Routing Scheme in NGI / Xingwei Wang ; Pengcheng Liu ; Min Huang
A Centralized Network Design Problem with Genetic Algorithm Approach / Gengui Zhou ; Zhenyu Cao ; Jian Cao ; Zhiqing Meng
CGA: Chaotic Genetic Algorithm for Fuzzy Job Scheduling in Grid Environment / Dan Liu ; Yuanda Cao
Population-Based Extremal Optimization with Adaptive Levy Mutation for Constrained Optimization / Min-Rong Chen ; Yong-Zai Lu ; Genke Yang
An Analysis About the Asymptotic Convergence of Evolutionary Algorithms / Lixin Ding ; Jinghu Yu
Seeker Optimization Algorithm / Chaohua Dai ; Yunfang Zhu ; Weirong Chen
Game Model Based Co-evolutionary Algorithm and Its Application for Multiobjective Nutrition Decision Making Optimization Problems / Gaoping Wang ; Liyuan Bai
A Novel Optimization Strategy for the Nonlinear Systems Identification / Xin Tan ; Huaqian Yang
A New Schema Survival and Construction Theory for One-Point Crossover / Liang Ming
Adaptive Parallel Immune Evolutionary Strategy / Cheng Bo ; Guo Zhenyu ; Cao Binggang ; Wang Junping
About the Time Complexity of Evolutionary Algorithms Based on Finite Search Space / Yingzhou Bi
Learning Systems and Multi-agents
New Radial Basis Function Neural Network Training for Nonlinear and Nonstationary Signals / Seng Kah Phooi ; Ang L. M
Structure-Based Rule Selection Framework for Association Rule Mining of Traffic Accident Data / Rangsipan Marukatat
A Multi-classification Method of Temporal Data Based on Support Vector Machine / Lifang Peng ; Yihua Zhu
Towards a Management Paradigm with a Constrained Benchmark for Autonomic Communications / Frank Chiang ; Robin Braun
A Feature Selection Algorithm Based on Discernibility Matrix / Fuyan Liu ; Shaoyi Lu
Using Hybrid Hadamard Error Correcting Output Codes for Multi-class Problem Based on Support Vector Machines / Shilei Huang ; Xiang Xie ; Jingming Kuang
Range Image Based Classification System Using Support Vector Machines / Seyed Eghbal Ghobadi ; Klaus Hartmann ; Otmar Loffeld ; Wolfgang Weihs
Two Evolutionary Methods for Learning Bayesian Network Structures / Alain Delaplace ; Thierry Brouard ; Hubert Cardot
Fuzzy Q-Map Algorithm for Reinforcement Learning / YoungAh Lce ; SeokMi Hong
Spatial Data Mining with Uncertainty / Binbin He ; Cuihua Chen
Locally Weighted LS-SVM for Fuzzy Nonlinear Regression with Fuzzy Input-Output / Dug Hun Hong ; Changha Hwang ; Jooyong Shim ; Kyung Ha Seok
Learning SVM with Varied Example Cost: A kNN Evaluating Approach / Chan-Yun Yang ; Che-Chang Hsu ; Jr-Syu Yang
Using Evolving Agents to Critique Subjective Music Compositions / Chuen-Tsai Sun ; Ji-Lung Hsieh ; Chung-Yuan Huang
Multi-agent Coordination Schemas in Decentralized Production Systems / Gang Li ; Yongqiang Li ; Linyan Sun ; Ping Ji
Ontology-Based RFID System Model for Supporting Semantic Consistency in Ubiquitous Environment / Dongwon Jeong ; Keunhwan Jeon ; Jang-won Kim ; Jinhyung Kim ; Doo-Kwon Baik
Multiagent Search Strategy for Combinatorial Optimization Problems in Ant Model / SeungGwan Lee
Cryptography
Secure and Efficient Trust Negotiation / Fuchun Guo ; Zhide Chen ; Yi Mu ; Li Xu ; Shengyuan Zhang
Hardware/Software Co-design of a Secure Ubiquitous System / Masa-aki Fukase ; Hiroki Takeda ; Tomoaki Sato
Efficient Implementation of Tate Pairing on a Mobile Phone Using Java / Yuto Kawahara ; Tsuyoshi Takagi ; Eiji Okamoto
ID-Based (t, n) Threshold Proxy Signcryption for Multi-agent Systems / Fagen Li ; Yupu Hu ; Shuanggen Liu
A Differential Power Analysis Attack of Block Cipher Based on the Hamming Weight of Internal Operation Unit / JeaHoon Park ; HoonJae Lee ; JaeCheol Ha ; YongJe Choi ; HoWon Kim ; SangJae Moon
Chosen Message Attack Against Mukherjee-Ganguly-Chaudhuri's Message Authentication Scheme / Mun-Kyu Lee ; Dowon Hong ; Dong Kyue Kim
Binary Sequences with Three and Four Level Autocorrelation / Ying Cai ; Zhen Han
Security Analysis of Public-Key Encryption Scheme Based on Neural Networks and Its Implementing / Niansheng Liu ; Donghui Guo
Enhanced Security Scheme for Managing Heterogeneous Server Platforms / Jiho Kim ; Duhyun Bae ; Sehyun Park ; Ohyoung Song
A New Parallel Multiplier for Type II Optimal Normal Basis / Chang Han Kim ; Yongtae Kim ; Sung Yeon Ji ; IlWhan Park
Identity-Based Key-Insulated Signature Without Random Oracles / Jian Weng ; Shengli Liu ; Kefei Chen ; Changshe Ma
Research on a Novel Hashing Stream Cipher / Yong Zhang ; Xia-mu Niu ; Jun-cao Li ; Chun-ming Li
Secure Password Authentication for Distributed Computing / Seung Wook Jung ; Souhwan Jung
A Novel ID-Based Threshold Ring Signature Scheme Competent for Anonymity and Anti-forgery / Yu Fang Chung ; Zhen Yu Wu ; Feipei Lai ; Tzer Shyong Chen
Ternary Tree Based Group Key Management in Dynamic Peer Networks / Wei Wang ; Jianfeng Ma
Practical Password-Based Authenticated Key Exchange Protocol / Shuhua Wu ; Yuefei Zhu
XTR[superscript +]: A Provable Security Public Key Cryptosystem / Zehui Wang ; Zhiguo Zhang
Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant / Jin Li ; Xiaofeng Chen ; Tsz Hon Yuen ; Yanming Wang
Linkability Analysis of Some Blind Signature Schemes / Jianhong Zhang ; Jian Mao
Information Processing and Intrusion Detection
An Efficient Device Authentication Protocol Using Bioinformatic / Yoon-Su Jeong ; Bong-Keun Lee ; Sang-Ho Lee
Subjective and Objective Watermark Detection Using a Novel Approach - Barcode Watermarking / Vidyasagar Potdar ; Song Han ; Elizabeth Chang ; Chen Wu
Forward Secure Threshold Signature Scheme from Bilinear Pairings / Jia Yu ; Fanyu Kong ; Rong Hao
Low-Cost Authentication Protocol of the RFID System Using Partial ID / Yong-Zhen Li ; Ning Sun
A VLSI Implementation of Minutiae Extraction for Secure Fingerprint Authentication / Sung Bum Pan ; Daesung Moon ; Kichul Kim ; Yongwha Chung
Image-Adaptive Watermarking Using the Improved Signal to Noise Ratio / Xinshan Zhu
New Malicious Code Detection Based on N-Gram Analysis and Rough Set Theory / Boyun Zhang ; Jianping Yin ; Jingbo Hao
An Efficient Watermarking Technique Using ADEW and CBWT for Copyright Protection / Goo-Rak Kwon ; Seung-Won Jung ; Sung-Jea Ko
An Image Protection Scheme Using the Wavelet Coefficients Based on Fingerprinting Technique / Jin-Wook Shin ; Ju Cheng Yang ; Sook Yoon ; Dong-Sun Park
iOBS3: An iSCSI-Based Object Storage Security System / Huang Jianzhong ; Xie Changsheng
An Efficient Algorithm for Clustering Search Engine Results / Hui Zhang ; Bin Pang ; Ke Xie ; Hui Wu
Network Anomalous Attack Detection Based on Clustering and Classifier / Hongyu Yang ; Feng Xie ; Yi Lu
Fair Reputation Evaluating Protocol for Mobile Ad Hoc Network / Zhu Lei ; DaeHun Nyang ; KyungHee Lee ; Hyotaek Lim
Systems and Security
Multisensor Real-Time Risk Assessment Using Continuous-Time Hidden Markov Models / Kjetil Haslum ; Andr Arnes
A Load Scattering Algorithm for Dynamic Routing of Automated Material Handling Systems / Alex K.S. Ng ; Janet Efstathiou ; Henry Y.K. Lau
Software Agents Action Securities
A Key Distribution Scheme Based on Public Key Cryptography for Sensor Networks / Xiaolong Li ; Yaping Lin ; Siqing Yang ; Yeqing Yi ; Jianping Yu ; Xinguo Lu
Collision-Resilient Multi-state Query Tree Protocol for Fast RFID Tag Identification / Jae-Min Seol ; Seong-Whan Kim
Toward Modeling Sensor Node Security Using Task-Role Based Access Control with TinySec / Misun Moon ; Dong Seong Kim ; Jong Sou Park
An Intelligent Digital Content Protection Framework Between Home Network Receiver Devices / Qingqi Pei ; Kefeng Fan ; Jinxiu Dai
An Efficient Anonymous Registration Scheme for Mobile IPv4 / Xuefei Cao ; Weidong Kou ; Huaping Li ; Jie Xu
An Elliptic Curve Based Authenticated Key Agreement Protocol for Wireless Security / SeongHan Shin ; Kazukuni Kobara ; Hideki Imai
An Efficient and Secure RFID Security Method with Ownership Transfer / Kyosuke Osaka ; Kenichi Yamazaki ; Osamu Takahashi
Security and Privacy on Authentication Protocol for Low-Cost RFID / Young-Bok Cho ; Nam-Kyoung Um
Securing Overlay Activities of Peers in Unstructured P2P Networks / Jun-Cheol Park ; Geonu Yu
Security Contexts in Autonomic Systems / Kaiyu Wan ; Vasu Alagar
Knowledge Structure on Virus for User Education / Madihah Saudi ; Nazean Jomhari
An Efficient Anonymous Fingerprinting Protocol / Yang Bo ; Lin Piyuan ; Zhang Wenzheng
Senior Executives Commitment to Information Security - from Motivation to Responsibility / Jorma Kajava ; Juhani Anttila ; Rauno Varonen ; Reijo Savola ; Juha Roning
A Hierarchical Key Distribution Scheme for Conditional Access System in DTV Broadcasting / Mengyao Zhu ; Ming Zhang ; Xiaoling Chen ; Ding Zhang ; Zhijie Huang
Combining User Authentication with Role-Based Authorazition Based on Identity-Based Signature / Jin Wang ; Daxing Li ; Xi Bai ; Zhongtian Jia
Modeling and Simulation for Security Risk Propagation in Critical Information Systems / Young-Gab Kim ; Soo-Hyun Park ; Jongin Lim
Information Assurance Evaluation for Network Information Systems / Xin Lu ; Zhi Ma
Generalization of the Selective-ID Security Model for HIBS Protocols / Zhongwen Li ; Yang Xiang ; Dongsheng He
Access Control and Authorization for Security of RFID Multi-domain Using SAML and XACML / Taek-Hyun Shin ; Byunggil Lee
Discriminatively Learning Selective Averaged One-Dependence Estimators Based on Cross-Entropy Method / Fangguo Zhang ; Qing Wang ; Chuan-hua Zhou ; Bao-hua Zhao
Image-Adaptive Spread Transform Dither Modulation Using Human Visual Model
Image and Signal Processing
Improvement of Film Scratch Inpainting Algorithm Using Sobel Based Isophote Computation over Hilbert Scan Line / Ki-Hong Ko
A Watershed Algorithmic Approach for Gray-Scale Skeletonization in Thermal Vein Pattern Biometrics / Lingyu Wang ; Graham Leedham
Estimation of Source Signals Number and Underdetermined Blind Separation Based on Sparse Representation / Ronghua Li ; Beihai Tan
Edge Detection Based on Mathematical Morphology and Iterative Thresholding / Xiangzhi Bai ; Fugen Zhou
Image Denoising Based on Wavelet Support Vector Machine / Shaoming Zhang ; Ying Chen
Variational Decomposition Model in Besov Spaces and Negative Hilbert-Sobolev Spaces / Min Li ; Xiangchu Feng
Performance Analysis of Cooperative Hopfield Networks for Stereo Matching / Wenhui Zhou ; Zhiyu Xiang ; Weikang Gu
An Improved Entropy Function and Chaos Optimization Based Scheme for Two-Dimensional Entropic Image Segmentation / Cheng Ma ; Chengshun Jiang
Face Pose Estimation and Synthesis by 2D Morphable Model / Li Yingchun ; Su Guangda
Study of the Wavelet Basis Selections / Hua Cui ; Guoxiang Song
Pattern Recognition
Feature Weighted Rival Penalized EM for Gaussian Mixture Clustering: Automatic Feature and Model Selections in a Single Paradigm / Yiu-ming Cheung ; Hong Zeng
Fingerprint Matching Using Invariant Moment Features / Jin Wook Shin ; Dong Sun Park
Survey of Distance Measures for NMF-Based Face Recognition / Yun Xue ; Chong Sze Tong ; Weipeng Zhang
Weighted Kernel Isomap for Data Visualization and Pattern Classification / Rui-jun Gu ; Wen-bo Xu
DT-CWT Feature Combined with ONPP for Face Recognition / Yuehui Sun ; Minghui Du
Precise Eye Localization with AdaBoost and Fast Radial Symmetry / Wencong Zhang ; Hong Chen ; Peng Yao ; Bin Li ; Zhenquan Zhuang
Real-Time Expression Recognition System Using Active Appearance Model and EFM / Kyoung-Sic Cho ; Yong-Guk Kim ; Yang-Bok Lee
Feature Extraction Using Histogram Entropies of Euclidean Distances for Vehicle Classification / Ming Bao ; Luyang Guan ; Xiaodong Li ; Jing Tian ; Jun Yang
Full-Space LDA with Evolutionary Selection for Face Recognition / Xin Li ; Xianji Wang ; Zhengquan Zhuang
Subspace KDA Algorithm for Non-linear Feature Extraction in Face Identification / Wen-Sheng Chen ; Pong C Yuen ; Jian Huang ; Jianhuang Lai
Author Index
Bio-inspired Computing
An Improved Particle Swarm Optimizer for Truss Structure Optimization / Lijuan Li ; Zhibin Huang ; Feng Liu
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment / Hongwei Huo ; Vojislav Stojkovic
27.

電子ブック

EB
Katsumi Inoue, Ken Satoh, Jörg Siekmann, Francesca Toni
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
28.

電子ブック

EB
Osvaldo Gervasi, Marina L. Gavrilova, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Workshop on CAD/CAM and Web Based Collaboration (CADCAM 07)
Framework of Integrated System for the Innovation of Mold Manufacturing Through Process Integration and Collaboration / Bo Hyun Kim ; Sung Bum Park ; Gyu Bong Lee ; So Young Chung
A Study on Automated Design System for a Blow Mould / Yong Ju Cho ; Kwang Yeol Ryu ; Seok Woo Lee
Development of an Evaluation System of the Informatization Level for the Mould Companies in Korea / Sung Hee Lee
Framework of a Collaboration-Based Engineering Service System for Mould Industry / Chang Ho Lee
Workshop on Component Based Software Engineering and Software Process Model (CBSE 07)
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises / Mohamed Bouhdadi ; Youssef Balouki ; El maati Chabbar
Component Specification for Parallel Coupling Infrastructure / J. Walter Larson ; Boyana Norris
Real-Time Navigation for a Mobile Robot Based on the Autonomous Behavior Agent / Lu Xu ; Liguo Zhang ; Yangzhou Chen
Concurrent Subsystem-Component Development Model (CSCDM) for Developing Adaptive E-Commerce Systems / Liangtie Dai ; Wanwu Guo
A Quantitative Approach for Ranking Change Risk of Component-Based Software / Chengying Mao
Relating Software Architecture Views by Using MDA / Rogelio Limon Cordero ; Isidro Ramos Salavert
Workshop on Distributed Data and Storage System Managemnt (DDSM 07)
Update Propagation Technique for Data Grid / Mohammed Radi ; Ali Mamat ; M. Mat Deris ; Hamidah Ibrahim ; Subramaniam Shamala
A Spatiotemporal Database Prototype for Managing Volumetric Surface Movement Data in Virtual GIS / Mohd Shafry Mohd Rahim ; Abdul Rashid Mohamed Shariff ; Shattri Mansor ; Ahmad Rodzi Mahmud ; Daut Daman
Query Distributed Ontology over Grid Environment / Ngot Phu Bui ; SeungGwan Lee ; TaeChoong Chung
Workshop on Embedded Systems for Ubiquitous Computing (ESUC 07)
CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse / Lilian Janin ; Doug Edwards
A Robust Real-Time Message Scheduling Scheme Capable of Handling Channel Errors in Wireless Local Area Networks / Junghoon Lee ; Mikyung Kang ; Gyung-Leen Park ; In-Hye Shin ; Hanil Kim ; Sang-Wook Kim
Design and Implementation of a Tour Planning System for Telematics Users / Euiyoung Kang
General Track
Ionospheric F-Layer Critical Frequency Estimation from Digital Ionogram Analysis / Nipon Theera-Umpon
Study of Digital License Search for Intellectual Property Rights of S/W Source Code / Byungrae Cha ; Kyungjun Kim ; Dongseob Lee
Creating Numerically Efficient FDTD Simulations Using Generic C++ Programming / I. Valuev ; A. Deinega ; A. Knizhnik ; B. Potapkin
Mutual Authentication Protocol for RFID Tags Based on Synchronized Secret Information with Monitor / Song Han ; Vidyasagar Potdar ; Elizabeth Chang
Non-linear Least Squares Features Transformation for Improving the Performance of Probabilistic Neural Networks in Classifying Human Brain Tumors on MRI / Pantelis Georgiadis ; Dionisis Cavouras ; Ioannis Kalatzis ; Antonis Daskalakis ; George Kagadis ; Koralia Sifaki ; Menelaos Malamas ; George Nikiforidis ; Ekaterini Solomou
Adaptive Scheduling for Real-Time Network Traffic Using Agent-Based Simulation / Moutaz Saleh ; Zulaiha Ali Othman
Defining Security Architectural Patterns Based on Viewpoints / David G. Rosado ; Carlos Gutierrez ; Eduardo Fernandez-Medina ; Mario Piattini
A New Nonrepudiable Threshold Proxy Signature Scheme with Valid Delegation Period / Min-Shiang Hwang ; Shiang-Feng Tzeng ; Chun-Ta Li
Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE / Hartmut Schwandt
Red-Black EDGSOR Iterative Method Using Triangle Element Approximation for 2D Poisson Equations / J. Sulaiman ; M. Othman ; M.K. Hasan
Performance of Particle Swarm Optimization in Scheduling Hybrid Flow-Shops with Multiprocessor Tasks / M. Fikret Ercan ; Yu-Fai Fung
Branch-and-Bound Algorithm for Anycast Flow Assignment in Connection-Oriented Networks / Krzysztof Walkowiak
Quasi-hierarchical Evolutionary Algorithm for Flow Optimization in Survivable MPLS Networks / Michal Przewozniczek
An Exact Algorithm for the Minimal Cost Gateways Location, Capacity and Flow Assignment Problem in Two-Level Hierarchical Wide Area Networks / Przemyslaw Ryba ; Andrzej Kasprzak
Implementing and Optimizing a Data-Intensive Hydrodynamics Application on the Stream Processor / Ying Zhang ; Gen Li ; Xuejun Yang
On Disconnection Node Failure and Stochastic Static Resilience of P2P Communication Networks / F. Safaei ; M. Fathy ; A. Khonsari ; N. Talebanfard
An Efficient Sequence Alignment Algorithm on a LARPBS / David Seme ; Sidney Youlou
An Effective Unconditionally Stable Algorithm for Dispersive Finite Difference Time Domain Simulations / Omar Ramadan
A Novel Congestion Control Scheme for Elastic Flows in Network-on-Chip Based on Sum-Rate Optimization / Mohammad S. Talebi ; Fahimeh Jafari ; Ahmad Khonsari ; Mohammad H. Yaghmae
3D Bathymetry Reconstruction from Airborne Topsar Polarized Data / Maged Marghany ; Mazlan Hashim ; Arthur P. Cracknell
A Parallel FDTD Algorithm for the Solution of Maxwell's Equations with Nearly PML Absorbing Boundary Conditions
Application of Modified ICA to Secure Communications in Chaotic Systems / Shih-Lin Lin ; Pi-Cheng Tung
Zero Memory Information Sources Approximating to Video Watermarking Attacks / M. Mitrea ; O. Dumitru ; F. Preteux ; A. Vlad
On Statistical Independence in the Logistic Map: A Guide to Design New Chaotic Sequences Useful in Cryptography / Adriana Vlad ; Adrian Luca ; Bogdan Badea
FVM- and FEM-Solution of Elliptical Boundary Value Problems in Different Coordinate Systems / Gunter Barwolff
Digital Simulation for Micro Assembly Arranged at Rectangular Pattern in Micro Factory / Murali Subramaniyam ; Sangho Park ; Sung-il Choi ; Seokho Jang ; Joon-Yub Song
A New Quantized Input RLS, QI-RLS, Algorithm / A. Amiri ; M. Amintoosi ; H. Sadoghi
Decentralized Replica Exchange Parallel Tempering: An Efficient Implementation of Parallel Tempering Using MPI and SPRNG / Yaohang Li ; Michael Mascagni ; Andrey Gorin
Approximation Algorithms for 2-Source Minimum Routing Cost k-Tree Problems / Yen Hung Chen ; Gwo-Liang Liao ; Chuan Yi Tang
On the Expected Value of a Number of Disconnected Pairs of Nodes in Unreliable Network / Alexey S. Rodionov ; Olga K. Rodionova ; Hyunseung Choo
Linearization of Stream Ciphers by Means of Concatenated Automata / A. Fuster-Sabater ; P. Caballero-Gil
Effective Quantification of Gene Expression Levels in Microarray Images Using a Spot-Adaptive Compound Clustering-Enhancement-Segmentation Scheme / Panagiotis Bougioukos ; Spiros Kostopoulos
Biomarker Selection, Employing an Iterative Peak Selection Method, and Prostate Spectra Characterization for Identifying Biomarkers Related to Prostate Cancer / Anastasios Bezerianos
Classic Cryptanalysis Applied to Exons and Introns Prediction / Manuel Aguilar R. ; Hector Fraire H. ; Laura Cruz R. ; Juan J. Gonzalez B. ; Guadalupe Castilla V. ; Claudia G. Gomez S.
Chronic Hepatitis and Cirrhosis Classification Using SNP Data, Decision Tree and Decision Rule / Dong-Hoi Kim ; Saangyong Uhmn ; Young-Woong Ko ; Sung Won Cho ; Jae Youn Cheong ; Jin Kim
Reconstruction of Suboptimal Paths in the Constrained Edit Distance Array with Application in Cryptanalysis / Slobodan Petrovic ; Amparo Fuster-Sabater
Solving a Practical Examination Timetabling Problem: A Case Study / Masri Ayob ; Ariff Md Ab Malik ; Salwani Abdullah ; Abdul Razak Hamdan ; Graham Kendall ; Rong Qu
A Geometric Design of Zone-Picking in a Distribution Warehouse / Ying-Chin Ho ; Hui Ming Wee ; Hsiao Ching Chen
Routing Path Generation for Reliable Transmission in Sensor Networks Using GA with Fuzzy Logic Based Fitness Function / Jin Myoung Kim ; Tae Ho Cho
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction / Jianmin Zhang ; Shengyu Shen ; Sikun Li
ontoX - A Method for Ontology-Driven Information Extraction / Burcu Yildiz ; Silvia Miksch
Improving the Efficiency and Efficacy of the K-means Clustering Algorithm Through a New Convergence Condition / Joaquin Perez O. ; Rodolfo Pazos R. ; Gerardo Reyes S. ; Rosy Basave T.
Modelling Agent Strategies in Simulated Market Using Iterated Prisoner's Dilemma / Raymond Chiong
A Local Search Algorithm for a SAT Representation of Scheduling Problems / Marco Antonio Cruz-Chavez ; Rafael Rivera-Lopez
A Context-Aware Solution for Personalized En-route Information Through a P2P Agent-Based Architecture / Jose Santa ; Andres Munoz ; Antonio F. G. Skarmeta
A Survey of Revenue Models for Current Generation Social Software's Systems / Kevin Chai
Context-Driven Requirements Analysis / Jongmyung Choi
Performance Analysis of Child/Descendant Queries in an XML-Enabled Database / Eric Pardede ; J. Wenny Rahayu ; David Taniar ; Ramanpreet Kaur Aujla
Diagonal Data Replication in Grid Environment / Rohaya Latip ; Mohamed Othman ; Md Nasir Sulaiman ; Azizol Abdullah
Efficient Shock-Capturing Numerical Schemes Using the Approach of Minimised Integrated Square Difference Error for Hyperbolic Conservation Laws / A.R. Appadu ; M.Z. Dauhoo ; S.D.D.V. Rughooputh
Improvement on Real-Time Face Recognition Algorithm Using Representation of Face and Priority Order Matching / Tae Eun Kim ; Chin Hyun Chung ; Jin Ok Kim
Modeling a Legged Robot for Visual Servoing / Zelmar Echegoyen ; Alicia d'Anjou ; Manuel Grana
Information Extraction in a Set of Knowledge Using a Fuzzy Logic Based Intelligent Agent / Jorge Ropero ; Ariel Gomez ; Carlos Leon ; Alejandro Carrasco
Efficient Methods in Finding Aggregate Nearest Neighbor by Projection-Based Filtering / Yanmin Luo ; Hanxiong Chen ; Kazutaka Furuse ; Nobuo Ohbo
On Multicast Routing Based on Route Optimization in Network Mobility / Jong-Ki Kim ; Kisoeb Park ; Moonseong Kim
An Effective XML-Based Sensor Data Stream Processing Middleware for Ubiquitous Service / Hun Soon Lee ; Seung Il Jin
Opportunistic Transmission for Wireless Sensor Networks Under Delay Constraints / Ca Van Phan ; Kikyung Baek ; Jeong Geun Kim
Workflow-Level Parameter Study Support for Production Grids / Peter Kacsuk ; Zoltan Farkas ; Gabor Hermann
Certificate Issuing Using Proxy and Threshold Signatures in Self-initialized Ad Hoc Network / Jeonil Kang ; DaeHun Nyang ; Abedelaziz Mohaisen ; Young-Geun Choi ; KoonSoon Kim
XWELL: A XML-Based Workflow Event Logging Mechanism and Language for Workflow Mining Systems / Min-Jae Park ; Kwang-Hoon Kim
Workcase-Oriented Workflow Enactment Components for Very Large Scale Workflows / Jae-Kang Won
A Workcase-Based Distributed Workflow Architecture and Its Implementation Using Enterprize Java Beans Framework / Hyung-Jin Ahn
Building Web Application Fragments Using Presentation Framework / Junghwa Chae
Three-Dimensional Bursting Simulation on Two Parallel Systems / S. Tabik ; L.F. Romero ; E.M. Garzon ; I. Garcia ; J.I. Ramos
PAR Reduction Scheme for Efficient Detection of Side Information in OFDM-BLAST System / Myung-Sun Baek ; Sang-Tea Kim ; Young-Hwan You ; Hyoung-Kyu Song
Fuzzy PI Controller for Turbojet Engine of Unmanned Aircraft / Min Seok Jie ; Eun Jong Mo ; Kang Woong Lee
Implementation of QoS-Aware Dynamic Multimedia Content Adaptation System / SooCheol Lee ; DaeSub Yoon ; Oh-Cheon Kwon ; EenJun Hwang
Experience of Efficient Data Transformation Solution for PCB Product Automation / Jung-Soo Han ; Gui-Jung Kim
Performance Evaluation for Component Retrieval
The Clustering Algorithm of Design Pattern Using Object-Oriented Relationship
Modeling Parametric Web Arc Weight Measurement / Wookey Lee ; Seung-Kil Lim ; Taesoo Lim
Performance Analysis of EPC Class-1 Generation-2 FRID Anti-collision Protocol / Woo Jin Shin ; Ji Ho Yoo
Worst-Case Evaluation of Flexible Solutions in Disjunctive Scheduling Problems / Mohamed Ali Aloulou ; Christian Artigues
The Search for a Good Lattice Augmentation Sequence in Three Dimensions / Tiancheng Li ; Ian Robinson
Tracing Illegal Users of Video: Reconsideration of Tree-Specific and Endbuyer-Specific Methods / Hyunho Kang ; Brian Kurkoski ; Kazuhiko Yamaguchi ; Kingo Kobayashi
Rendering of Translucent Objects Based Upon PRT Techniques / Zhang Jiawan ; Gao Yang ; Sun Jizhou ; Jin Zhou
An Image-Adaptive Semi-fragile Watermarking for Image Authentication and Tamper Detection / Hengfu Yang ; Xingming Sun ; Bin Wang ; Zheng Qin
Identification of Fuzzy Set-Based Fuzzy Systems by Means of Data Granulation and Genetic Optimization / Keon-Jun Park ; Sung-Kwun Oh ; Hyun-Ki Kim ; Witold Pedrycz ; Seong-Whan Jang
Public Key Encryption with Keyword Search Based on K-Resilient IBE / Dalia Khader
Efficient Partially Blind Signatures with Provable Security / Qianhong Wu ; Willy Susilo ; Yi Mu ; Fanguo Zhang
Study on Grid-Based Special Remotely Sensed Data Processing Node / Jianqin Wang ; Yong Xue ; Yincui Hu ; Chaolin Wu ; Jianping Guo ; Lei Zheng ; Ying Luo ; RuiZhi Sun ; GuangLi Liu ; YunLing Liu
Novel Algorithms for Quantum Simulation of 3D Atom-Diatom Reactive Scattering / Ashot S. Gevorkyan ; Gabriel G. Balint-Kurti ; Alexander Bogdanov ; Gunnar Nyman
An Algorithm for Rendering Generalized Depth of Field Effects Based on Simulated Heat Diffusion / Todd J. Kosloff ; Brian A. Barsky
Fingerprint Template Protection Using Fuzzy Vault / Daesung Moon ; Sungju Lee ; Seunghwan Jung ; Yongwha Chung ; Miae Park ; Okyeon Yi
Design and Application of Optimal Path Service System on Multi-level Road Network / Yumin Chen ; Jianya Gong ; Chenchen wu
Spatio-temporal Similarity Measure Algorithm for Moving Objects on Spatial Networks / Jae-Woo Chang ; Rabindra Bista ; Young-Chang Kim ; Yong-Ki Kim
Efficient Text Detection in Color Images by Eliminating Reflectance Component / Miyoung Choi ; Hyungil Choi
Enhanced Non-disjoint Multi-path Source Routing Protocol for Wireless Ad-Hoc Networks / Moon Jeong Kim ; Dong Hoon Lee ; Young Ik Eom
Author Index
Workshop on CAD/CAM and Web Based Collaboration (CADCAM 07)
Framework of Integrated System for the Innovation of Mold Manufacturing Through Process Integration and Collaboration / Bo Hyun Kim ; Sung Bum Park ; Gyu Bong Lee ; So Young Chung
A Study on Automated Design System for a Blow Mould / Yong Ju Cho ; Kwang Yeol Ryu ; Seok Woo Lee
29.

電子ブック

EB
Sven A. Brueckner, Jaime G. Carbonell, Salima Hassas, Márk Jelasity, Jörg Siekmann, Daniel Yamins
出版情報: SpringerLink Books - AutoHoldings , 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
30.

電子ブック

EB
ESAW 2006, Greg M. P. O'Hare, Jörg Siekmann, Oguz Dikenelli, Michael O'Grady, Alessandro Ricci
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Engineering of Multi-agent Systems
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down" / Maarten Sierhuis
The Construction of Multi-agent Systems as an Engineering Discipline / Jorge J. Gomez-Sanz
Current Issues in Multi-Agent Systems Development / Rafael H. Bordini ; Mehdi Dastani ; Michael Winikoff
Architecture-Centric Software Development of Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
Organization Oriented Programming: From Closed to Open Organizations / Olivier Boissier ; Jomi Fred Hübner ; Jaime Simão Sichman
Analysis, Design, Development and Verification of Agent Societies
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions / Marco Stuit ; Nick B. Szirbik
Model Driven Development of Multi-Agent Systems with Repositories of Social Patterns / Rubén Fuentes-Fernández ; Jorge J. Gómez-Sanz ; Juan Pavón
A Norm-Governed Systems Perspective of Ad Hoc Networks / Alexander Artikis ; Lloyd Kamara ; Jeremy Pitt
Interaction and Coordination in Agent Societies
A Definition of Exceptions in Agent-Oriented Computing / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; William J. Clancey ; Matthew Johnson
An Algorithm for Conflict Resolution in Regulated Compound Activities / Andrés García-Camino ; Pablo Noriega ; Juan-Antonio Rodríguez-Aguilar
Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach / Geylani Kardas ; Arda Goknil ; Oguz Dikenelli ; N. Yasemin Topaloglu
Formal Modelling of a Coordination System: From Practice to Theory, and Back Again / Eloy J. Mata ; Pedro Álvarez ; José A. Bañares ; Julio Rubio
Autonomic Agent Societies
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols / Tim Miller ; Peter McBurney
Dynamic Specifications in Norm-Governed Open Computational Societies / Dimosthenis Kaponis
Enhancing Self-organising Emergent Systems Design with Simulation / Carole Bernon ; Marie-Pierre Gleizes ; Gauthier Picard
Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents / Eva Bou ; Maite López-Sánchez ; J.A. Rodríguez-Aguilar
Managing Resources in Constrained Environments with Autonomous Agents / C. Muldoon ; G.M.P. O'Hare ; M.J. O'Grady
Trust in Agent Societies
Towards a Computational Model of Creative Societies Using Curious Design Agents / Rob Saunders
Privacy Management in User-Centred Multi-agent Systems / Guillaume Piolle ; Yues Demazeau ; Jean Caelen
Effective Use of Organisational Abstractions for Confidence Models / Ramón Hermoso ; Holger Billhardt ; Roberto Centeno ; Sascha Ossowski
Competence Checking for the Global E-Service Society Using Games / Kostas Stathis ; George Lekeas ; Christos Kloukinas
Author Index
Engineering of Multi-agent Systems
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down" / Maarten Sierhuis
The Construction of Multi-agent Systems as an Engineering Discipline / Jorge J. Gomez-Sanz
31.

電子ブック

EB
Ngoc Thanh Nguyen, Jaime G. Carbonell, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
32.

電子ブック

EB
Maria Fasli, Onn Shehory, Onn M. Shehory, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
33.

電子ブック

EB
Roberto Basili, Maria Teresa Pazienza, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
34.

電子ブック

EB
Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Jörg Siekmann, Osmar R. Zaïane
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
35.

電子ブック

EB
De-Shuang Huang, Jaime G. Carbonell, Laurent Heutte, Marco Loog, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
36.

電子ブック

EB
Ziad Kobti, Jaime G. Carbonell, Jörg Siekmann, Dan Wu
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
37.

電子ブック

EB
Fernando Almeida e Costa, Ernesto Costa, António Coutinho, Inman Harvey, Luis Mateus Rocha, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
38.

電子ブック

EB
Khaled Mellouli, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
39.

電子ブック

EB
Manuel Kauers, Manfred Kerber, Robert Miner, Jörg Siekmann, Wolfgang Windsteiger
出版情報: SpringerLink Books - AutoHoldings , 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
40.

電子ブック

EB
Henri Prade, Henri M. Prade, Jörg Siekmann, V. S. Subrahmanian
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
41.

電子ブック

EB
Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello, Jörg Siekmann, GÃ〓rard Ligozat
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
42.

電子ブック

EB
Christian Müller, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , 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
43.

電子ブック

EB
Christian Müller, Jörg Siekmann, C. Müller
出版情報: SpringerLink Books - AutoHoldings , 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
44.

電子ブック

EB
Oliviero Stock, A. Bundy, Dov M. Gabbay, Jörg Siekmann, Massimo Zancanaro, PEACH (Project)
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
45.

電子ブック

EB
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni, Jörg Siekmann, M. Dastani, J. Dix, A. El Fallah Seghrouchni
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
46.

電子ブック

EB
Nuray Aykin, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
47.

電子ブック

EB
Cristina Conati, Kathleen McCoy, Georgios Paliouras, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
48.

電子ブック

EB
Bernhard Beckert, Jaime G. Carbonell, Reiner Hähnle, Peter H. Schmitt, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
49.

電子ブック

EB
International Conference on Industrial Applications of Holonic and Multi-Agent Systems, Jörg Siekmann, Armando Walter Colombo, Valeriy Vyatkin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Past, Present, and Future of IEC 61499 / Alois Zoitl ; Thomas Strasser ; Ken Hall ; Ray Staron ; Christoph Sunder ; Bernard Favre-Bulle
Can Multi-Agents Wake Us from IC Design Productivity Nightmare? / Peter van Staa ; Christian Sebeke
Motivation
From Intelligent Agents to Intelligent Beings / Paul Valckenaers ; Hadeli Hadeli ; Bart Saint Germain ; Paul Verstraete ; Jan Van Belle ; Hendrik Van Brussel
Multi-agent Reflection in Autonomic Systems / Jan Tozicka ; Michal Pechoucek ; Martin Rehak ; Magdalena Prokopova
Auctions with Arbitrary Deals / Tamas Mahr ; Mathijs de Weerdt
Architectures and Services
Service Composition in Holonic Multiagent Systems: Model-Driven Choreography and Orchestration / Christian Hahn ; Klaus Fischer
Flexible Roles in a Holonic Multi-Agent System / Emmanuel Adam ; Rene Mandiau
Agent-Based Inter-Organizational Workflow Management System / Paulo Leitao ; Joao Mendes
Co-operative Co-evolutionary System for Solving Dynamic VRPTW Problems with Crisis Situations / Rafal Drezewski ; Lukasz Dronka ; Jaroslaw Kozlak
Anonymity Architecture for Mobile Agent Systems / Rafal Leszczyna
SitCom - Development Platform for Multimodal Perceptual Services / Pascal Fleury ; Jan Curin ; Jan Kleindienst
New Technologies and Techniques
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems / Yazen Al-Safi ; Valeriy Vyatkin
Methods to Observe the Clustering of Agents Within a Multi-Agent System / Raymond J. Staron ; Pavel Tichy ; Radek Sindelar ; Francisco P. Maturana
Distributed Director Facilitator in a Multiagent Platform for Networked Embedded Controllers / Omar J. Lopez Orozco ; Jose L. Martinez Lastra
Agent Methods for Network Intrusion Detection and Response / David Medvigy ; Magda Prokopova ; Lukas Foltyn
Detecting Intrusions in Agent System by Means of Exception Handling / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Smart Caching Algorithm for Software Agents Based on Re-Execution Probability / Jarogniew Rykowski
Planning and Scheduling
Metaheuristic Agent Teams for Job Shop Scheduling Problems / Mehmet E. Aydin
Distributed Production Scheduling Using Federated Agent Architecture / Jayeola Femi Opadiji ; Toshiya Kaihara
A Study on Real-Time Scheduling for Holonic Manufacturing Systems - Simulation for Estimation of Future Status by Individual Holons / Koji Iwamura ; Atsushi Nakano ; Yoshitaka Tanimizu ; Nobuhiro Sugimura
Adaptive Planning for Supply Chain Networks / Michael Andreev ; George Rzevski ; Petr Skobelev ; Peter Shveykin ; Alexander Tsarev ; Andrew Tugashev
An Agent Based Modelling Approach for Stochastic Planning Parameters / Wilhelm Dangelmaier ; Benjamin Klopper ; Alexander Blecken
Design Issues
A Holonic Metamodel for Agent-Oriented Analysis and Design / Massimo Cossentino ; Nicolas Gaud ; Stephane Galland ; Vincent Hilaire ; Abderrafiaa Koukam
Using Adaptable Design to Classify Interactions Within a Distributed Control Architecture / Christopher Dan Fletcher ; Robert William Brennan ; Peihua Gu
Application of the Holonic Approach in Distributed Control Systems Designing / Dariusz Choinski ; Witold Nocon ; Mieczyslaw Metzger
Design and Implementation of Adaptive Agents for Complex Manufacturing Systems / Jens Zimmermann ; Lars Monch
Dynamic Configuration and Management of e-Supply Chains Based on Internet Public Registries Visited by Clusters of Software Agents / Konrad Fuks ; Arkadiusz Kawa ; Waldemar Wieczerzycki
Applications
A Multiagent Control System for Shop Floor Assembly / Goncalo Candido ; Jose Barata
MagentaToolkit: A Set of Multi-agent Tools for Developing Adaptive Real-Time Applications / Vyacheslav Andreev
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499 / Geoff Black
Zero Downtime Reconfiguration of Distributed Automation Systems: The [characters not reproducible]CEDAC Approach / Martijn N. Rooker ; Oliver Hummer ; Gerhard Ebenhofer
Holonic Multiagent-Based System for Distributed Control of Semi-industrial Pilot Plants / Grzegorz Polakow
Collision Avoidance Algorithms: Multi-agent Approach / Pavel Vrba ; Vladimir Marik ; Libor Preucil ; Miroslav Kulich ; David Sislak
Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering / Igor Minakov ; Simon Volman
Multi-agent-Based Diagnostics of Automotive Electronic Systems / Dusan Pavlicek ; Ondrej Flek
PIHolS Workshop
Performance in Industrial Holonic Systems / Vadim Ermolayev ; Wolf-Ekkehard Matzke
Towards Industrial Strength Business Performance Management
Ontology-Based Competence Management for Team Configuration / Vladimir Tarasov ; Thomas Albertsen ; Alexey Kashevnik ; Kurt Sandkuhl ; Nikolay Shilov ; Alexander Smirnov
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems / Teppo Pirttioja ; Ilkka Seilonen ; Antti Pakonen ; Aarne Halme ; Kari Koskinen
Applications of Virtual Reality in Design and Simulation of Holonic Manufacturing Systems: A Demonstration in Die-Casting Industry / Mert Bal ; Majid Hashemipour
Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool / Giuseppe Narzisi ; Joshua S. Mincer ; Silas Smith ; Bud Mishra
Holonic Simulation of a Design System for Performance Analysis / Richard Sohnius ; Eyck Jentzsch
Author Index
Invited Talks
The Past, Present, and Future of IEC 61499 / Alois Zoitl ; Thomas Strasser ; Ken Hall ; Ray Staron ; Christoph Sunder ; Bernard Favre-Bulle
Can Multi-Agents Wake Us from IC Design Productivity Nightmare? / Peter van Staa ; Christian Sebeke
50.

電子ブック

EB
Stephen Muggleton, Ramon Otero, Jörg Siekmann, Alireza Tamaddoni-Nezhad
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
51.

電子ブック

EB
Catherine Pelachaud, Elisabeth André, Gérard Chollet, Kostas Karpouzis, Jean-Claude Martin, Danielle Pelé, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
52.

電子ブック

EB
Joachim Hertzberg, Michael Beetz, Roman Englert, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Role of AI in Shaping Smart Services and Smart Systems / Sahin Albayrak
Early History and Perspectives of Automated Deduction / Wolfgang Bibel
Cognitive Technical Systems-What Is the Role of Artificial Intelligence? / Michael Beetz ; Martin Buss ; Dirk Wollherr
Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence? / Thomas Christaller
Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic / Yuval Elovici ; Asaf Shabtai ; Robert Moskovitch ; Gil Tahan ; Chanan Glezer
Location-Based Activity Recognition / Dieter Fox
Papers
Pinpointing in the Description Logic [epsilon]L[superscript +] / Franz Baader ; Rafael Penaloza ; Boontawee Suntisrivaraporn
Integrating Action Calculi and Description Logics / Conrad Drescher ; Michael Thielscher
Any-World Access to OWL from Prolog / Tobias Matzner ; Pascal Hitzler
Applying Logical Constraints to Ontology Matching / Christian Meilicke ; Heiner Stuckenschmidt
Resolving Inconsistencies in Probabilistic Knowledge Bases / Marc Finthammer ; Gabriele Kern-Isberner ; Manuela Ritterskamp
Extending Markov Logic to Model Probability Distributions in Relational Domains / Dominik Jain ; Bernhard Kirchlechner
A Multilingual Framework for Searching Definitions on Web Snippets / Alejandro Figueroa ; Gunter Neumann
A SPARQL Semantics Based on Datalog / Simon Schenk
Negation in Spatial Reasoning / Stefan Schleipen ; Marco Ragni ; Thomas Fangmeier
Relational Neural Gas / Barbara Hammer ; Alexander Hasenfuss
A General Framework for Encoding and Evolving Neural Networks / Yohannes Kassahun ; Jan Hendrik Metzen ; Jose de Gea ; Mark Edgington ; Frank Kirchner
Making a Robot Learn to Play Soccer Using Reward and Punishment / Heiko Muller ; Martin Lauer ; Roland Hafner ; Sascha Lange ; Artur Merke ; Martin Riedmiller
Perception and Developmental Learning of Affordances in Autonomous Robots / Lucas Paletta ; Gerald Fritz ; Florian Kintzler ; Jorg Irran ; Georg Dorffner
A Computational Model of Bistable Perception-Attention Dynamics with Long Range Correlations / Norbert Furstenau
On Constructing a Communicative Space in HRI / Claudia Muhl ; Yukie Nagai ; Gerhard Sagerer
Natural Language Descriptions of Human Behavior from Video Sequences / Carles Fernandez Tena ; Pau Baiget ; Xavier Roca ; Jordi Gonzalez
Detecting Humans in 2D Thermal Images by Generating 3D Models / Stefan Markov ; Andreas Birk
Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval / B. Gottfried ; A. Schuldt ; O. Herzog
Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform / Kwangsoo Hahn ; Youngjoon Han ; Hernsoo Hahn
Solving Decentralized Continuous Markov Decision Problems with Structured Reward / Emmanuel Benazera
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog / Lutz Bohnstedt ; Alexander Ferrein ; Gerhard Lakemeyer
On the Construction and Evaluation of Flexible Plan-Refinement Strategies / Bernd Schattenberg ; Julien Bidot ; Susanne Biundo
Learning How to Play Hex / Kenneth Kahl ; Stefan Edelkamp ; Lars Hildebrand
Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks / Domingo Lopez-Rodriguez ; Enrique Merida-Casermeiro ; Gloria Galan-Marin ; Juan M. Ortiz-de-Lazcano-Lobato
A Stochastic Local Search Approach to Vertex Cover / Silvia Richter ; Malte Helmert ; Charles Gretton
Posters
A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game / Larbi Abdenebaoui ; Elsa A. Kirchner
Divergence Versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology / Stefan Artmann
Deep Inference for Automated Proof Tutoring? / Christoph Benzmuller ; Dominik Dietrich ; Marvin Schiller ; Serge Autexier
Exploiting Past Experience - Case-Based Decision Support for Soccer Agents / Ralf Berger ; Gregor Lammel
Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs / Peter Kissmann
Text Generation in the SmartWeb Multimodal Dialogue System / Ralf Engel ; Daniel Sonntag
A Method to Optimize the Parameter Selection in Short Term Load Forecasting / Humberto F. Ferro ; Raul S. Wazlawick ; Claudio M. de Oliveira ; Rogerio C. Bastos
Visual Robot Localization and Mapping Based on Attentional Landmarks / Simone Frintrop
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework / Fredrik Heintz ; Piotr Rudol ; Patrick Doherty
Emotion Based Control Architecture for Robotics Applications / Jochen Hirth ; Tim Braun ; Karsten Berns
Inductive Synthesis of Recursive Functional Programs / Martin Hofmann ; Andreas Hirschberger ; Emanuel Kitzelmannn ; Ute Schmid
Training on the Job-Collecting Experience with Hierarchical Hybrid Automata / Alexandra Kirsch
Selecting Users for Sharing Augmented Personal Memories / Alexander Kroner ; Nathalie Basselin ; Michael Schneider ; Junichiro Mori
Semantic Reflection - Knowledge Based Design of Intelligent Simulation Environments / Marc Erich Latoschik
Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot / Piotr Matyasik ; Grzegorz J. Nalepa ; Piotr Ziecik
Improving the Detection of Unknown Computer Worms Activity Using Active Learning / Nir Nissim ; Dima Stopel ; Clint Feher ; Roman Englert
The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems / Martin Proetzsch ; Tobias Luksch
Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems / Nils Rosemann ; Werner Brockmann
LiSA: A Robot Assistant for Life Sciences / Erik Schulenburg ; Norbert Elkmann ; Markus Fritzsche ; Angelika Girstl ; Stefan Stiene ; Christian Teutsch
Semantic Graph Visualisation for Mobile Semantic Web Interfaces / Philipp Heim
A Qualitative Model for Visibility Relations / Francesco Tarquini ; Giorgio De Felice ; Paolo Fogliaroni ; Eliseo Clementini
Author Index
Invited Talks
The Role of AI in Shaping Smart Services and Smart Systems / Sahin Albayrak
Early History and Perspectives of Automated Deduction / Wolfgang Bibel
53.

電子ブック

EB
ECML/PKDD 2007, Joost N. Kok, Jörg Siekmann, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
54.

電子ブック

EB
Zili Zhang, Jörg Siekmann, Jörg H. Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Building Relationships and Negotiating Agreements in a Network of Agents (Abstract) / John Debenham
Knowledge Technologies for the Social Semantic Desktop / Andreas R. Dengel
Knowledge-Based Intelligent Engineering Systems in Defence and Security (Abstract) / Lakhmi Jain
Auditing and Mapping the Knowledge Assets of Business Processes - An Empirical Study / W.B. Lee ; Vivien Shek ; Benny Cheung
Quotient Space Based Multi-granular Analysis (Abstract) / Ling Zhang ; Bo Zhang
Regular Papers
Knowledge Science
An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation / Y.C. Alicia Tang ; Sharifuddin Mohd. Zain ; Noorsaadah Abdul Rahman ; Rukaini Abdullah
Identifying Dependency Between Secure Messages for Protocol Analysis / Qingfeng Chen ; Shichao Zhang ; Yi-Ping Phoebe Chen
A Diagrammatic Reasoning System for ALC / Frithjof Dau ; Peter Eklund
Fuzzy Constraint Logic Programming with Answer Set Semantics / Jie Wang ; Chunnian Liu
Prime Implicates for Approximate Reasoning / David Rajaratnam ; Maurice Pagnucco
Distributed Constraint Satisfaction for Urban Traffic Signal Control / Kazunori Mizuno ; Seiichi Nishihara
Convergence Analysis on Approximate Reinforcement Learning / Jinsong Leng ; Colin Fyfe
Combinative Reasoning with RCC5 and Cardinal Direction Relations / Juan Chen ; Dayon Liu ; Changhai Zhang ; Qi Xie
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements / Kedian Mu ; Weiru Liu ; Zhi Jin ; Ruqian Lu ; Anbu Yue ; David Bell
A Dynamic Description Logic for Representation and Reasoning About Actions / Liang Chang ; Fen Lin ; Zhongzhi Shi
An Argumentative Reasoning Service for Deliberative Agents / Alejandro J. Garcia ; Nicolas D. Rotstein ; Mariano Tucat ; Guillermo R. Simari
On Defense Strength of Blocking Defeaters in Admissible Sets / Diego C. Martinez
Ontology-Based Inference for Causal Explanation / Ph. Besnard ; M.-O. Cordier ; Y. Moinard
Predicting Partners' Behaviors in Negotiation by Using Regression Analysis / Fenghui Ren ; Minjie Zhang
Knowledge Engineering
Enhancing Web-Based Adaptive Learning with Colored Timed Petri Net / Shang Gao ; Robert Dew
Proof Explanation for the Semantic Web Using Defeasible Logic / Grigoris Antoniou ; Antonis Bikakis ; Nikos Dimaresis ; Manolis Genetzakis ; Giannis Georgalis ; Guido Governatori ; Efie Karouzaki ; Nikolas Kazepis ; Dimitris Kosmadakis ; Manolis Kritsotakis ; Giannis Lilis ; Antonis Papadogiannakis ; Panagiotis Pediaditis ; Constantinos Terzakis ; Rena Theodosaki ; Dimitris Zeginis
Automatic Construction of a Lexical Attribute Knowledge Base / Jinglei Zhao ; Yanbo Gao ; Hui Liu ; Ruzhan Lu
Populating CRAB Ontology Using Context-Profile Based Approaches / Lian Shi ; Jigui Sun ; Haiyan Che
Learning Dependency Model for AMP-Activated Protein Kinase Regulation / Qiumei Qin
Towards a Wrapper-Driven Ontology-Based Framework for Knowledge Extraction / Xi Bai ; Zehai Li ; Huawen Liu
A Google-Based Statistical Acquisition Model of Chinese Lexical Concepts / Jiayu Zhou ; Shi Wang ; Cungen Cao
Learning Concepts from Text Based on the Inner-Constructive Model / Yanan Cao ; Xinyu Cao
Contextual Proximity Based Term-Weighting for Improved Web Information Retrieval / M.P.S. Bhatia ; Akshi Kumar Khalid
Collection Profiling for Collection Fusion in Distributed Information Retrieval Systems / Chengye Lu ; Yue Xu ; Shlomo Geva
Integration of Descriptors for Software Component Retrieval / Yuhanis Yusof ; Omer F. Rana
Framework for Text-Based Conversational User-Interface for Business Applications / Shefali Bhat ; C. Anantaram ; Hemant Jain
Ontology Mining for Semantic Interpretation of Information Needs / Xiaohui Tao ; Yuefeng Li ; Richi Nayak
Knowledge Flow-Based Document Recommendation for Knowledge Sharing / Chin-Hui Lai ; Duen-Ren Liu
Finding Similar RSS News Articles Using Correlation-Based Phrase Matching / Maria Soledad Pera ; Yiu-Kai Ng
Automatic Data Record Detection in Web Pages / Xiaoying Gao ; Le Phong Bao Vuong ; Mengjie Zhang
Visualizing Trends in Knowledge Management / Maria R. Lee ; Tsung Teng Chen
Constructing an Ontology for a Research Program from a Knowledge Science Perspective / Jing Tian ; Andrzej P. Wierzbicki ; Hongtao Ren ; Yoshiteru Nakamori
An Ontology of Problem Frames for Guiding Problem Frame Specification / Xiaohong Chen ; Lijun Yi
Knowledge Management
A Speaker Based Unsupervised Speech Segmentation Algorithm Used in Conversational Speech / Yanxiang Chen ; Qiong Wang
Distributed Knowledge Management Based on Ontological Engineering and Multi-Agent System Towards Semantic Interoperation / Yonggui Wang ; Jiangning Wu ; Zhongtuo Wang ; Yanzhong Dang
WTPMiner - Efficient Mining of Weighted Frequent Patterns Based on Graph Traversals / Runian Geng ; Wenbo Xu ; Xiangjun Dong
Development of Enhanced Data Mining System to Approximate Empirical Formula for Ship Design / Kyung Ho Lee ; Kyung Su Kim ; Jang Hyun Lee ; Jong Hoon Park ; Dong Geun Kim ; Dae Suk Kim
Research on a Novel Word Co-occurrence Model and Its Application / Dequan Zheng ; Tiejun Zhao ; Sheng Li ; Hao Yu
Cost-Time Sensitive Decision Tree with Missing Values / Xiaofeng Zhu ; Jilian Zhang ; Chengqi Zhang
Knowledge in Product and Performance Support / Rossitza Setchi ; Nikolaos Lagos
What Drives Members to Continue Sharing Knowledge in a Virtual Professional Community? The Role of Knowledge Self-efficacy and Satisfaction / Christy M.K. Cheung ; Matthew K.O. Lee
MMFLDSSW - A New Method to Incrementally Mine Maximal Frequent Itemsets in Transaction Sensitive Sliding Window / Jiayin Feng ; Jiadong Ren
Short Papers
Term Consistency Checking of Ontology Model Based on Description Logics / Changrui Yu ; Yan Luo
Design and Realization of Advertisement Promotion Based on the Content of Webpage / Tao Cheng ; Shuicai Shi ; Xueqiang Lv
Irregular Behavior Recognition Based on Two Types of Treading Tracks Under Particular Scenes / Ye Zhang ; Xiao-Jun Zhang ; Zhi-Jing Liu
Ontology-Based Focused Crawling of Deep Web Sources / Wei Fang ; Zhiming Cui ; Pengpeng Zhao
Pattern Recognition in Stock Data Based on a New Segmentation Algorithm / Zhe Zhang ; Jian Jiang ; Xiaoyan Liu ; Wing Chiu Lau ; Huaiqing Wang ; Shanshan Wang ; Xinzhu Song ; Dongming Xu
HMM-Based Korean Named Entity Recognition for Information Extraction / Bo-Hyun Yun
Activity Recognition Based on Hidden Markov Models / Weiyao Huang ; Jun Zhang ; Zhijing Liu
Novel Data Management Algorithms in Peer-to-Peer Content Distribution Networks / Ke Li ; Wanlei Zhou ; Shui Yu ; Ping Li
On-Line Monitoring and Diagnosis of Failures Using Control Charts and Fault Tree Analysis (FTA) Based on Digital Production Model / Hui Peng ; Wenli Shang ; Haibo Shi ; Wei Peng
An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm / Shirong Zhang ; Kuanjiu Zhou ; Yuan Tian
Handling Contradictions in Default Theories / Zhangang Lin ; Zuoquan Lin
Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time / Gang Hou ; Yang Tian
Typed Category Theory-Based Micro-view Emergency Knowledge Representation / Qingquan Wang ; Lili Rong
A Chinese Time Ontology / Chunxia Zhang ; Yuefei Sui ; Zhendong Niu
Toward Patterns for Collaborative Knowledge Creation / Haoxiang Xia ; Zhaoguo Xuan ; Taketoshi Yoshida
Service-Mining Based on Knowledge and Customer Databases / Yan Li ; Peng Wen ; Hu Wang ; Chunqiang Gong
A Multi-criteria Decision Support System of Water Resource Allocation Scenarios / Jing He ; Yanchun Zhang ; Yong Shi
Godel, Escher, Bach and Super-expertise / Pamela N. Gray ; Xenogene Gray ; Deborah Richards
Extracting Features for Verifying WordNet / Altangerel Chagnaa ; Cheol-Young Ock ; Ho-Seop Choe
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network / Haiyang Jia ; Dayou Liu ; Xin Liu
A WSMO-Based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment / Haihua Li ; Xiaoyong Du ; Xuan Tian
Cardinal Direction Relations in 3D Space
Knowledge Integration on Fresh Food Management / Yukihiro Yamashita ; Mina Ryoke
An Approach to Knowledge Transferring in Science-Policy Process / Mitsumi Miyashita
Trust Analysis of Web Services Based on a Trust Ontology / Manling Zhu
Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus / He Hu
An Ontology-Based Framework for Building Adaptable Knowledge Management Systems / Yinglin Wang ; Jianmei Guo ; Tao Hu
Knowledge Engineering Technique for Cluster Development / Pradorn Sureephong ; Nopasit Chakpitak ; Yacine Ouzroute ; Gilles Neubert ; Abdelaziz Bouras
Author Index
Invited Talks
Building Relationships and Negotiating Agreements in a Network of Agents (Abstract) / John Debenham
Knowledge Technologies for the Social Semantic Desktop / Andreas R. Dengel
55.

電子ブック

EB
Bruno Apolloni, Robert J. Howlett, L. C. Jain, Lakhmi Jain, J. Siekmann, Jörg Siekmann, Società italiana reti neuroniche.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
56.

電子ブック

EB
Bruno Apolloni, Robert J. Howlett, L. C. Jain, Lakhmi Jain, J. Siekmann, Jörg Siekmann, Società italiana reti neuroniche.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
57.

電子ブック

EB
Bruno Apolloni, Robert J. Howlett, L. C. Jain, Lakhmi Jain, J. Siekmann, Jörg Siekmann, Società italiana reti neuroniche.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
58.

電子ブック

EB
Tim Kovacs, Jaime G. Carbonell, Pier Luca Lanzi, Xavier Llorà, Jörg Siekmann, Wolfgang Stolzmann, Keiki Takadama, Stewart W. Wilson
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
59.

電子ブック

EB
Nader H. Bshouty, Claudio Gentile, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
60.

電子ブック

EB
Lutz Maicher, Lars Marius Garshol, Jörg Siekmann, Alexander Sigel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
61.

電子ブック

EB
Chitta Baral, Gerhard Brewka, Jaime G. Carbonell, John Schlipf, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
62.

電子ブック

EB
Nachum Dershowitz, Jörg Siekmann, Andrei Voronkov
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
63.

電子ブック

EB
Balder D. Cate, Balder David ten Cate, Jörg Siekmann, Henk W. Zeevat
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
64.

電子ブック

EB
Petra Perner, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
65.

電子ブック

EB
European Conference on Machine Learning, Joost N. Kok, Jörg Siekmann, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladenic
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
66.

電子ブック

EB
Gerhard Lakemeyer, Jörg Siekmann, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Full Papers
Simulation and Control
Bridging the Gap Between Simulation and Reality in Urban Search and Rescue / Stefano Carpin ; Mike Lewis ; Jijun Wang ; Steve Balakirsky ; Chris Scrapper
A 3D Simulator of Multiple Legged Robots Based on USARSim / Marco Zaratti ; Marco Fratarcangeli ; Luca Iocchi
3D2Real: Simulation League Finals in Real Robots / Norbert Michael Mayer ; Joschka Boedecker ; Rodrigo da Silva Guerra ; Oliver Obst ; Minoru Asada
Motion Control of Swedish Wheeled Mobile Robots in the Presence of Actuator Saturation / Giovanni Indiveri ; Jan Paulus ; Paul G. Ploger
Learning
Imitative Reinforcement Learning for Soccer Playing Robots / Tobias Latzke ; Sven Behnke ; Maren Bennewitz
The Chin Pinch: A Case Study in Skill Learning on a Legged Robot / Peggy Fidelman ; Peter Stone
Half Field Offense in RoboCup Soccer: A Multiagent Reinforcement Learning Case Study / Shivaram Kalyanakrishnan ; Yaxin Liu
Autonomous Learning of Ball Trapping in the Four-Legged Robot League / Hayato Kobayashi ; Tsugutoyo Osaki ; Eric Williams ; Akira Ishino ; Ayumi Shinohara
Learning, MAS, and Education
Autonomous Learning of Stable Quadruped Locomotion / Manish Saggar ; Thomas D'Silva ; Nate Kohl
Using the Simulated Annealing Algorithm for Multiagent Decision Making / Jiang Dawei ; Wang Shiyuan
From RoboLab to Aibo: A Behavior-Based Interface for Educational Robotics / Rachel Goldman ; M.Q. Azhar ; Elizabeth Sklar
The Robotics and Mechatronics Kit "qfix" / Stefan Enderle
Vision
Cooperative Visual Tracking in a Team of Autonomous Mobile Robots / Walter Nistico ; Matthias Hebbel ; Thorsten Kerkhof ; Christine Zarges
Selective Visual Attention for Object Detection on a Legged Robot / Daniel Stronger
Towards Probabilistic Shape Vision in RoboCup: A Practical Approach / Sven Olufs ; Florian Adolf ; Ronny Hartanto ; Paul Ploger
Parabolic Flight Reconstruction from Multiple Images from a Single Camera in General Position / Raul Rojas ; Mark Simon ; Oliver Tenchio
Vision and Localization
On the Calibration of Non Single Viewpoint Catadioptric Sensors / Alberto Colombo ; Matteo Matteucci ; Domenico G. Sorrenti
An Automated Refereeing and Analysis Tool for the Four-Legged League / Javier Ruiz-del-Solar ; Patricio Loncomilla ; Paul Vallejos
Detecting Motion in the Environment with a Moving Quadruped Robot / Thayne Coffman ; Risto Miikkulainen
Using Temporal Consistency to Improve Robot Localisation / David Billington ; Vlad Estivill-Castro ; Rene Hexel ; Andrew Rock
Multi-cue Localization for Soccer Playing Humanoid Robots / Hauke Strasdat
Proprioceptive Motion Modeling for Monte Carlo Localization / Jan Hoffmann
Posters
Autonomous Planned Color Learning on a Legged Robot / Mohan SridharanSession 1:
Sensor Modeling Using Visual Object Relation in Multi Robot Object Tracking / Daniel Gohring
Robust Color Segmentation Through Adaptive Color Distribution Transformation
H[subscript infinity] Filtering for a Mobile Robot Tracking a Free Rolling Ball / Xiang Li ; Andreas Zell
Balancing Gains, Risks, Costs, and Real-Time Constraints in the Ball Passing Algorithm for the Robotic Soccer / Vadim Kyrylov
Learning in a High Dimensional Space: Fast Omnidirectional Quadrupedal Locomotion / Denis Fisseler
A Novel Approach to Efficient Monte-Carlo Localization in RoboCup / Patrick Heinemann ; Jurgen Haase
Representing Spatial Activities by Spatially Contextualised Motion Patterns / Bjorn Gottfried ; Jorn Witte
Mobile Robots for an E-Mail Interface for People Who Are Blind / V. Estivill-Castro ; S. Seymon
Robust and Efficient Field Features Detection for Localization / D. Herrero-Perez ; H. Martinez-Barbera
Coordination Without Negotiation in Teams of Heterogeneous Robots / Michael Isik ; Freek Stulp ; Gerd Mayer ; Hans Utz
Towards a Calibration-Free Robot: The ACT Algorithm for Automatic Online Color Training / Frank Sehnke ; Felix Streichert
Learning to Shoot Goals Analysing the Learning Process and the Resulting Policies / Markus Geipel ; Michael BeetzSession 2:
Cognitive Robotics: Command, Interrogation and Teaching in Robot Coaching / Alfredo Weitzenfeld ; Peter Ford Dominey
Panoramic Localization in the 4-Legged League / Jurgen Sturm ; Paul van Rossum ; Arnoud Visser
Orientation Extraction and Identification of the Opponent Robots in RoboCup Small-Size League / Saori Umemura ; Kazuhito Murakami ; Tadashi Naruse
Rolling Shutter Image Compensation / Steven P. Nicklin ; Robin D. Fisher ; Richard H. Middleton
Evaluating Learning Automata as a Model for Cooperation in Complex Multi-agent Domains / Mohammad Reza Khojasteh ; Mohammad Reza Meybodi
Cooperative 3-Robot Passing and Shooting in the RoboCup Small Size League / Ryota Nakanishi ; James Bruce ; Manuela Veloso
Logfile Player and Analyzer for RoboCup 3D Simulation / Steffen Planthaber ; Ubbo Visser
Local Movement Control with Neural Networks in the Small Size League / Steffen Pruter ; Ralf Salomon ; Frank Golatowski
A Comparative Analysis of Particle Filter Based Localization Methods / Luca Marchetti ; Giorgio Grisetti
A New Mechatronic Component for Adjusting the Footprint of Tracked Rescue Robots / Winai Chonnaparamutt ; Andreas Birk
Vectorization of Grid Maps by an Evolutionary Algorithm / Ivan Delchev
Ego-Motion Estimation and Collision Detection for Omnidirectional Robots / Martin LauerSession 3:
Integrating Simple Unreliable Perceptions for Accurate Robot Modeling in the Four-Legged League / Tim Laue ; Thomas Rofer
Distributed, Play-Based Coordination for Robot Teams in Dynamic Environments / Colin McMillen
Development of an Autonomous Rescue Robot Within the USARSim 3D Virtual Environment / Giuliano Polverari ; Daniele Calisi ; Alessando Farinelli ; Daniele Nardi
Appearance-Based Robot Discrimination Using Eigenimages / Sascha Lange ; Martin Riedmiller
Fuzzy Naive Bayesian Classification in RoboSoccer 3D: A Hybrid Approach to Decision Making / Carlos Bustamante ; Leonardo Garrido ; Rogelio Soto
A Novel Omnidirectional Wheel Based on Reuleaux-Triangles / Jochen Brunhorn
Development of Three Dimensional Dynamics Simulator with Omnidirectional Vision Model / Fumitaka Otsuka ; Hikari Fujii ; Kazuo Yoshida
Real-Time Randomized Motion Planning for Multiple Domains
Towards a Methodology for Stabilizing the Gaze of a Quadrupedal Robot / Marek Marcinkiewicz ; Mikhail Kunin ; Simon Parsons ; Theodore Raphan
Automatic Acquisition of Robot Motion and Sensor Models / A. Tuna Ozgelen
Ambulance Decision Support Using Evolutionary Reinforcement Learning in Robocup Rescue Simulation League / Ivette C. Martinez ; David Ojeda ; Ezequiel A. Zamora
Author Index
Full Papers
Simulation and Control
Bridging the Gap Between Simulation and Reality in Urban Search and Rescue / Stefano Carpin ; Mike Lewis ; Jijun Wang ; Steve Balakirsky ; Chris Scrapper
67.

電子ブック

EB
Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Jörg Siekmann, Andrzej Skowron
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
68.

電子ブック

EB
JingTao Yao, Jaime G. Carbonell, Nick J. Cercone, Pawan Lingras, Jörg Siekmann, Marcin Szczuka, Wei-Zhi Wu, Nick Cercone, Dominik Slezak
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
69.

電子ブック

EB
Jaime G. Carbonell, Jörg Siekmann, Stefan Edelkamp
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
70.

電子ブック

EB
Stefan Edelkamp, Alessio Lomuscio, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis / Piergiorgio Bertoli ; Marco Bozzano ; Alessandro Cimatti
Verifying Space and Time Requirements for Resource-Bounded Agents / Natasha Alechina ; Chiara Ghidini ; Mark Jago ; Brian Logan ; Luciano Serafini
Automated Creation of Pattern Database Search Heuristics / Stefan Edelkamp
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL / Jorg Hoffmann ; Jan-Georg Smaus ; Andrey Rybalchenko ; Sebastian Kupferschmid ; Andreas Podelski
Real-Time Model Checking on Secondary Storage / Shahid Jabbar
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning / Tadashi Araragi ; Seung Mo Cho
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation / Alessio Lomuscio ; Bozena Wozna ; Andrzej Zbrzezny
Symbolic Model Checking of Logics with Actions / Charles Pecheur ; Franco Raimondi
A Framework for Model Checking Institutions / Francesco Vigano
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata / Miroslaw Kurkowski ; Wojciech Penczek
Distributed Extended Beam Search for Quantitative Model Checking / Anton J. Wijs ; Bert Lisser
Author Index
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis / Piergiorgio Bertoli ; Marco Bozzano ; Alessandro Cimatti
Verifying Space and Time Requirements for Resource-Bounded Agents / Natasha Alechina ; Chiara Ghidini ; Mark Jago ; Brian Logan ; Luciano Serafini
Automated Creation of Pattern Database Search Heuristics / Stefan Edelkamp
71.

電子ブック

EB
Vicenç Torra, Dov M. Gabbay, Yasuo Narukawa, Jörg Siekmann, Vicenc Torra, A. Bundy
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
72.

電子ブック

EB
Vicenç Torra, Yasuo Narukawa, Jörg Siekmann, Yuji Yoshida
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
73.

電子ブック

EB
Hans-Dieter Burkhard, Gabriela Lindemann, Jörg Siekmann, László Zsolt Varga, Rineke Verbrugge, Laszlo Varga
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
74.

電子ブック

EB
Paolo Petta, Michael Georgeff, Matthias Klusch, Jörg P. Müller, Jörg Siekmann, Jörg Müller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
75.

電子ブック

EB
Poramate Manoonpong, Dov M. Gabbay, Jörg Siekmann, A. Bundy
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Biologically Inspired Perception-Action Systems
Neural Concepts and Modelling
Physical Sensors and Walking Machine Platforms
Artificial Perception-Action Systems
Performance of Artificial Perception-Action Systems
Conclusions
Description of the Reactive Walking Machines
Symbols and Acronyms
References
Index
Introduction
Biologically Inspired Perception-Action Systems
Neural Concepts and Modelling
76.

電子ブック

EB
Takashi Washio, Akihiro Inokuchi, Ken Satoh, Jörg Siekmann, Hideaki Takeda, T. Washio
出版情報: SpringerLink Books - AutoHoldings , 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
77.

電子ブック

EB
Hiroshi G. Okuno, Moonis Ali, Jaime G. Carbonell, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼