Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
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
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
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
Joint Conversation Specification and Compliance / Shamimabi Paurobally ; Michael Wooldridge
Interoperation in Protocol Enactment / Amit K. Chopra ; Munindar P. Singh
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems / Tibor Bosse ; Alexei Sharpanskykh ; Jan Treur
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming / Felipe Meneguzzi ; Michael Luck
Satisfying Maintenance Goals / Koen V. Hindriks ; M. Birna van Riemsdijk
Towards Alternative Approaches to Reasoning About Goals / Patricia H. Shaw ; Rafael H. Bordini
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs / John W. Lloyd ; Kee Siong Ng
Modeling Agents' Choices in Temporal Linear Logic / Duc Quang Pham ; James Harland ; Michael Winikoff
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints / Martin J. Kollingbaum ; Wamberto Vasconcelos ; Andres García-Camino ; Timothy J. Norman
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution / Ioan Alfred Letia ; Adrian Groza
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Component-Based Standardisation of Agent Communication / Frank Guerin
Author Index
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II:
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III:
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
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
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle / Michael Lowry
Knowledge Discovery and Data Mining - Foundations
Boosting Support Vector Machines for Imbalanced Data Sets / Benjamin X. Wang ; Nathalie Japkowicz
Class-Oriented Reduction of Decision Tree Complexity / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Evaluating Decision Trees Grown with Asymmetric Entropies / Simon Marcellin ; Djamel A. Zighed ; Gilbert Ritschard
Stepwise Induction of Logistic Model Trees / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba ; Savino Saponara
Stochastic Propositionalization for Efficient Multi-relational Learning / N. Di Mauro ; T.M.A. Basile ; S. Ferilli ; F. Esposito
Analyzing Behavior of Objective Rule Evaluation Indices Based on Pearson Product-Moment Correlation Coefficient / Hidenao Abe ; Shusaku Tsumoto
Knowledge Discovery and Data Mining - Advances
Obtaining Low-Arity Discretizations from Online Data Streams / Tapio Elomaa ; Petri Lehtinen ; Matti Saarela
Maps Ensemble for Semi-Supervised Learning of Large High Dimensional Datasets / Elie Prudhomme ; Stephane Lallich
Mining Induced and Embedded Subtrees in Ordered, Unordered, and Partially-Ordered Trees / Aida Jimenez
A Structure-Based Clustering on LDAP Directory Information / Vassiliki Koutsonikola ; Athena Vakali ; Antonios Mpalasas ; Michael Valavanis
iZi: A New Toolkit for Pattern Mining Problems / Frederic Flouvat ; Fabien De Marchi ; Jean-Marc Petit
A Multi-relational Hierarchical Clustering Method for Datalog Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Laredam - Considerations on System of Local Analytical Reports from Data Mining / Jan Rauch ; Milan Simunek
Outlier Detection Techniques for Process Mining Applications / Lucantonio Ghionna ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Knowledge Discovery and Data Mining - Mining Changes and Actionable Patterns
Action Rule Extraction from a Decision Table: ARED / Seunghyun Im ; Zbigniew W. Ras
Discovering the Concise Set of Actionable Patterns / Li-Shiang Tsay
Discovering Emerging Patterns for Anomaly Detection in Network Connection Data / Costantina Caruso
Temporal Extrapolation within a Static Clustering / Tim K. Cocx ; Walter A. Kosters ; Jeroen F.J. Laros
Discovering Explanations from Longitudinal Data / Corrado Loglisci
Logic for Artificial Intelligence
Reduced Implicate/Implicant Tries / Neil V. Murray ; Erik Rosenthal
Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes / Juan Frausto-Solis ; Felix Martinez-Rios
Modeling Cooperation in P2P Data Management Systems / Luciano Caroprese ; Ester Zumpano
Interactions between Rough Parts in Object Perception / Andrzej W. Przybyszewski
Autonomic and Evolutionary Computation
A Multi-objective Optimal Approach for UAV Routing in Reconnaissance Mission with Stochastic Observation Time / Xingguang Peng ; Xiaoguang Gao
Hybrid Unsupervised/Supervised Virtual Reality Spaces for Visualizing Gastric and Liver Cancer Databases: An Evolutionary Computation Approach / Alan J. Barton ; Julio J. Valdes
Self-calibrating Strategies for Evolutionary Approaches that Solve Constrained Combinatorial Problems / Elizabeth Montero ; Maria-Cristina Riff
Soft Computing
Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach / Allel Hadjali ; Olivier Pivert
Term Distribution-Based Initialization of Fuzzy Text Clustering / Krzysztof Ciesielski ; Mieczyslaw A. Klopotek ; Slawomir T. Wierzchon
Cooperative Answering to Flexible Queries Via a Tolerance Relation / Patrick Bosc
Effectiveness of Fuzzy Discretization for Class Association Rule-Based Classification / Keivan Kianmehr ; Mohammed Alshalalfa ; Reda Alhajj
Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics / Fernando Bobillo ; Umberto Straccia
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces / Feifei Xu ; Yiyu Yao ; Duoqian Miao
An Ant Colony System Algorithm to Solve Routing Problems Applied to the Delivery of Bottled Products / Laura Cruz Reyes ; Jose F. Delgado Orta ; Juan J. Gonzalez Barbosa ; Jose Torres Jimenez ; Hector J. Fraire Huacuja ; Barbara A. Arranaga Cruz
Databases and Data Warehouses
Predicate Indexing for Incremental Multi-Query Optimization / Chun Jin ; Jaime Carbonell
SQL Queries with CASE Expressions / Jarek Gryz ; Qiong Wang ; Xiaoyan Qian ; Calisto Zuzarte
Top-Down Compression of Data Cubes in the Presence of Simultaneous Multiple Hierarchical Range Queries / Alfredo Cuzzocrea
Degrees of Exclusivity in Disjunctive Databases / Navin Viswanath ; Rajshekhar Sunderraman
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL / Nikos Papadakis ; Dimitris Plexousakis ; Grigoris Antoniou ; Manolis Daskalakis ; Yannis Christodoulou
Decision Tree Induction for Identifying Trends in Line Graphs / Peng Wu ; Sandra Carberry ; Daniel Chester ; Stephanie Elzer
Automatic Handling of Digital Image Repositories: A Brief Survey
Development of the XML Digital Library from the Parliament of Andalucia for Intelligent Structured Retrieval / Juan M. Fernandez-Luna ; Juan F. Huete ; Manuel Gomez ; Carlos J. Martin-Dancausa
Intelligent Information Retrieval
Evaluating Information Retrieval System Performance Based on Multi-grade Relevance / Bing Zhou
A Dynamic Window Based Passage Extraction Algorithm for Genomics Information Retrieval / Qinmin Hu ; Xiangji Huang
Mining Scalar Representations in a Non-tagged Music Database / Rory A. Lewis ; Wenxin Jiang
Identification of Dominating Instrument in Mixes of Sounds of the Same Pitch / Alicja Wiezcorkowska ; Elzbieta Kolczynska
Performance Weights for the Linear Combination Data Fusion Method in Information Retrieval / Shengli Wu ; Qili Zhou ; Yaxin Bi ; Xiaoqin Zeng
Combining Multiple Sources of Evidence in Web Information Extraction / Martin Labsky ; Vojtech Svatek
Text Mining
Autonomous News Clustering and Classification for an Intelligent Web Portal / Traian Rebedea ; Stefan Trausan-Matu
On Determining the Optimal Partition in Agglomerative Clustering of Documents / Ahmad El Sayed ; Hakim Hacid ; Djamel Zighed
Ontological Summaries through Hierarchical Clustering / Troels Andreasen ; Henrik Bulskov ; Thomas Vestskov Terney
Classification of Web Services Using Tensor Space Model and Rough Ensemble Classifier / Suman Saha ; C.A. Murthy ; Sankar K. Pal
Intelligent Information Systems
Agent-Based Assistant for e-Negotiations / Simone A. Ludwig
Local Soft Belief Updating for Relational Classification / Guoli Ding ; R.F. Lax ; Jianhua Chen ; Peter Chen ; Brian D. Marx
On a Probabilistic Combination of Prediction Sources / Ioannis Rousidis ; George Tzagkarakis ; Yannis Tzitzikas
Effective Document-Oriented Telemetry Data Compression / David Maluf ; Chen-jung Hsu ; Peter Tran ; David Tran
Knowledge Representation and Integration
Improving Integration with Subjective Combining of Ontology Mappings / Dennis Hooijmaijers ; Markus Stumptner
Text Onto Miner - A Semi Automated Ontology Building System / Piotr Gawrysiak ; Grzegorz Protaziuk ; Henryk Rybinski ; Alexandre Delteil
Ontology-Driven Adaptive Medical Information Collection System / Matt-Mouley Bouamrane ; Alan Rector ; Martin Hurrell
An Effective Ontology Matching Technique / Ahmed Alasoud ; Volker Haarslev ; Nematollaah Shiri
A Causal Approach for Explaining Why a Heuristic Algorithm Outperforms Another in Solving an Instance Set of the Bin Packing Problem / Joaquin Perez ; Laura Cruz ; Rodolfo Pazos ; Vanesa Landero ; Gerardo Reyes ; Crispin Zavala ; Hector Fraire ; Veronica Perez
Web Service and Intelligence
A Graph b-Coloring Based Method for Composition-Oriented Web Services Classification / Lyes Dekar ; Hamamache Kheddouci
OWL-S Atomic Services Composition with SWRL Rules / Domenico Redavid ; Luigi Iannone ; Terry Payne ; Giovanni Semeraro
A Web-Based Interface for Hiding Bayesian Network Inference / C.J. Butz ; P. Lingras ; K. Konkel
Applications
Extraction of Informative Genes from Integrated Microarray Data / Dongwan Hong ; Jongkeun Lee ; Sangkyoon Hong ; Jeehee Yoon ; Sanghyun Park
Using Data Mining for Dynamic Level Design in Games / Kitty S.Y. Chiu ; Keith C.C. Chan
A Logic Programming Based Framework for Security Protocol Verification / Shujing Wang ; Yan Zhang
Applying Cost Sensitive Feature Selection in an Electric Database / Manuel Mejia-Lavalle
Author Index
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
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
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
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
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
Evolutionary Design of Information Systems Architectures / Danilo Ardagna ; Chiara Francalanci ; Vincenzo Piuri ; Fabio Scotti
Clifford Support Vector Machines for Classification / Eduardo Bayro-Corrochano ; Nancy Arana-Daniel ; J. Refugio Vallejo-Gutiérres
Uncertain Variables and Systems - New Problems and Results / Zdzislaw Bubnicki
Blind Signal Separation and Extraction: Recent Trends, Future Perspectives, and Applications / Andrzej Cichocki ; Jacek M. Zurada
Visualization of Hidden Node Activity in Neural Networks: I. Visualization Methods / Włodzisław Duch
Visualization of Hidden Node Activity in Neural Networks: II. Application to RBF Networks
Rough Set Approach to Incomplete Data / Jerzy W. Grzymala-Busse
Neural Networks of Positive Systems / Tadeusz Kaczorek
Support of Natural, by Artificial, Intelligence Using Utility as Behavioral Goal / Roman Kulikowski
Top-Down Selective Attention for Robust Perception of Noisy and Confusing Patterns / Soo-Young Lee
On ANN Based Solutions for Real-World Industrial Requirements / Kurosh Madani
ActiveMath: An Intelligent Tutoring System for Mathematics / Erica Melis ; Jörg Siekmann
Inference Rules and Decision Rules / Zdzisław Pawlak
Survival of Intelligent Agents in Changing Environments / Šarūnas Raudys
Inducing Robust Decision Rules from Rough Approximations of a Preference Relation / Roman Slowinski ; Salvatore Greco
The New Concept in Computer Vision: Automatic Understanding of the Images / Ryszard Tadeusiewicz ; Marek R. Ogiela
Neural Networks and Their Applications
Dynamic High Order Neural Networks: Application for Fault Diagnosis / Eugen Arinton ; Jóozef Korbicz
Momentum Modification of the RLS Algorithms / Jarosław Bilski
Parallel Realisation of QR Algorithm for Neural Networks Learning / Sławomir Litwiński ; Jacek Smol&acedil;g
Rainfall-Runoff Modelling Using Three Neural Network Methods / H. Kerem Cigizoglu ; Murat Alp
Probability Distribution of Solution Time in ANN Training Using Population Learning Algorithm / Ireneusz Czarnowski ; Piotr J&ecedil;drzejowicz
Parallelization of the SOM-Based Integrated Mapping / Gintautas Dzemyda ; Olga Kurasova
Training Radial Basis Functions by Gradient Descent / Mercedes Fernández-Redondo ; Carlos Hernández-Espinosa ; Mamen Ortiz-Gómez ; Joaquín Torres-Sospedra
Generalized Backpropagation through Time for Continuous Time Neural Networks and Discrete Time Measurements / Krzysztof Fujarewicz ; Adam Galuszka
Experiments on Ensembles of Radial Basis Functions
Orthodoxy Basis Functions and Convergence Property in Procedure Neural Networks / Jiong Jia ; Jiuzhen Liang
Confidence Estimation of GMDH Neural Networks / Józef Korbicz ; Mihai F. Metenidis ; Marcin Mrugalski ; Marcin Witczak
On Some Factors Influencing MLP Error Surface / Mirosław Kordos
Discovery of Linguistic Rules by Means of RBF Network for Fault Detection in Electronic Circuits / Jan Koszlaga ; Pawel Strumillo
Combining Space-Filling Curves and Radial Basis Function Networks / Adam Krzyżak ; Ewa Skubalska-Rafajłowicz
Chaotic Itinerancy for Patterns Separation / Paweł Matykiewicz
Dynamic Search Trajectory Methods for Neural Network Training / Y.G. Petalas ; D.K. Tasoulis ; M.N. Vrahatis
Visualizing and Analyzing Multidimensional Output from MLP Networks via Barycentric Projections / Filip Pi&ecedil;kniewski ; Leszek Rybicki
Optimization of Centers' Positions for RBF Nets with Generalized Kernels / E. Rafajłowicz ; M. Pawlak
Fixed Non-linear Combining Rules versus Adaptive Ones / Sarunas Raudys ; Zidrina Pabarskaite
Learning and System Modeling via Hamiltonian Neural Networks / Wieslaw Sienko ; Wieslaw Citko ; Dariusz Jakóbczak
Recurrent Network Structure for Computing Quasi-inverses of the Sierpiński Space-Filling Curves
Fuzzy Systems and Their Applications
Comparison of Reasoning Methods for Fuzzy Control / Bohdan Butkiewicz
Fuzzy Modelling with a Compromise Fuzzy Reasoning / Krzysztof Cpalka ; Leszek Rutkowski
A Self Tuning Fuzzy Inference System for Noise Reduction / Nevcihan Duru ; Tarik Duru
Fuzzy-Neural Networks in the Diagnosis of Motor-Car's Current Supply Circuit / Stanisław Gad ; Mariusz łaskawski ; Grzegorz Słoń ; Alexander Yastrebov ; Andrzej Zawadzki
Fuzzy Number-Based Hierarchical Fuzzy System / Adam E. Gaweda ; Rafał Scherer
Stock Trend Prediction Using Neurofuzzy Predictors Based on Brain Emotional Learning Algorithm / Mahdi Jalili-Kharaajoo
Digital Implementation of Fuzzy Petri Net Based on Asynchronous Fuzzy RS Flip Flop / Jacek Kluska ; Zbigniew Hajduk
Fuzzy Calculator - Useful Tool for Programming with Fuzzy Algebra / Roman Koleśnik ; Piotr Prokopowicz ; Witold Kosiński
On Defuzzyfication of Ordered Fuzzy Numbers
Information Criterions Applied to Neuro-Fuzzy Architectures Design / Robert Nowicki ; Agata Pokropińska
On Hesitation Degrees in IF-Set Theory / Anna Pankowska ; Maciej Wygralak
Application of the General Gaussian Membership Function for the Fuzzy Model Parameters Tunning / Andrzej Pieczyński ; Andrzej Obuchowicz
Are Linguistic Evaluations Used by People of Possibilistic or Probabilistic Nature? / Andrzej Piegat
Fuzzy Linear Programming in Ship Trajectory Optimization in a Restricted Area / Zbigniew Pietrzykowski
Application of Fuzzy Weighted Feature Diagrams to Model Variability in Software Families / Silva Robak
Neuro-Fuzzy Relational Classifiers
What Differs Interval Type-2 FLS from Type-1 FLS? / Janusz T. Starczewski
A Similarity Measure for Intuitionistic Fuzzy Sets and Its Application in Supporting Medical Diagnostic Reasoning / Eulalia Szmidt ; Janusz Kacprzyk
Evolutionary Algorithms and Their Applications
Multi-criterion Evolutionary Algorithm with Model of the Immune System to Handle Constraints for Task Assignments / Jerzy Balicki
Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time / Wojciech Bożejko ; Mieczysław Wodecki
Adaptive Evolutionary Computation - Application for Mixed Linear Programming / Ewa Dudek-Dyduch ; Dominik Jarczyk
Adaptive Evolutionary Computation of the Parametric Optimization Problem / Tadeusz Dyduch
Concentration of Population in Phenotypic Evolution / Iwona Karcz-Dul&ecedil;ba
An Evolutionary Clustering Algorithm / Marcin Korzeń
An Evolutionary Algorithm for Oblique Decision Tree Induction / Marek Kretowski
Propagation of Building Blocks in SGA and MPGA / Grzegorz Kusztelak ; Marek Rudnicki ; Slawomir Wiak
Selection Pressure and an Efficiency of Neural Network Architecture Evolving / Halina Kwaśnicka ; Mariusz Paradowski
Rule Extraction from Neural Network by Genetic Algorithm with Pareto Optimization / Urszula Markowska-Kaczmar ; Paweł Wnuk-Lipiński
Graph Transformations in Evolutionary Design / Piotr Nikodem ; Barbara Strug
A Genetic Algorithm for Probabilistic SAT Problem / Zoran Ognjanović ; Uroš Midić ; Jozef Kratica
Design and Optimization of Combinational Digital Circuits Using Modified Evolutionary Algorithm / Adam Słowik ; Michał Białko
Modified Version of Roulette Selection for Evolution Algorithms - The Fan Selection
New Genetic Crossover Operator for the TSP / Sang-Moon Soak ; Byung-Ha Ahn
Rough Sets and Their Applications
Hybridization of Blind Source Separation and Rough Sets for Proteomic Biomarker Indemnification / Grzegorz M. Boratyn ; Tomasz G. Smolinski ; Mariofanna Milanova ; Sudeepa Bhattacharyya ; Larry J. Suva
Inducing Jury's Preferences in Terms of Acoustic Features of Violin Sounds / Jacek Jelonek ; Ewa łukasik ; Aleksander Naganowski ; Roman Słowiński
Fuzzy Implication Operators in Variable Precision Fuzzy Rough Sets Model / Alicja Mieszkowicz-Rolka ; Leszek Rolka
Fuzzyfication of Indiscernibility Relation for Structurizing Lists of Synonyms and Stop-Lists for Search Engines / A. Niewiadomski ; P. Kryger ; P.S. Szczepaniak
Rough Sets in the Neuro-Fuzzy Architectures Based on Monotonic Fuzzy Implications
Rough Sets in the Neuro-Fuzzy Architectures Based on Non-monotonic Fuzzy Implications
On L-Fuzzy Rough Sets / Anna Maria Radzikowska ; Etienne E. Kerre
Application of Rough Sets Techniques to Induction Machine Broken Bar Detection / M.R. Rafimanzelat ; B.N. Araabi
Application of Rough Sets and Neural Networks to Forecasting University Facility and Administrative Cost Recovery / Darrel L. Chenoweth
Soft Computing in Classification
Selection of the Linearly Separable Feature Subsets / Leon Bobrowski ; Tomasz Lukaszuk
Short-Time Signal Analysis Using Pattern Recognition Methods / Piotr Boguś ; Katarzyna ; D. Lewandowska
Application of Genetic Algorithms and Kohonen Networks to Cluster Analysis / Marian B. Gorzałczany ; Filip Rudziński
Modified Kohonen Networks for Complex Cluster-Analysis Problems
Reducing the Computational Demands for Nearest Centroid Neighborhood Classifiers / Szymon Grabowski
SSV Criterion Based Discretization for Naive Bayes Classifiers / Krzysztof Gr&acedil;bczewski
Comparison of Instance Selection Algorithms II. Results and Comments / Marek Grochowski ; Norbert Jankowski
SBL-PM-M: A System for Partial Memory Learning / Karol Grudziński
Relevance LVQ versus SVM / Barbara Hammer ; Marc Strickert ; Thomas Villmann
Comparison of Instances Seletion Algorithms I. Algorithms Survey
Towards Grammatical Inferencing of GDPLL(k) Grammars for Applications in Syntactic Pattern Recognition-Based Expert Systems / Janusz Jurek
Intelligent Layer of Two-Way Voice Communication of the Technological Device with the Operator / Wojciech Kacalak ; Maciej Majewski
A Neural Network Based Method for Classification of Meteorological Data / K. Kaminski ; W. Kaminski ; P. Strumillo
An Empirical Test Suite for Message Authentication Evaluation in Communications Based on Support Vector Machines / D.A. Karras
Efficient Digital Fingerprint Production and Evaluation for Secure Communication Systems Based on Genetic Algorithms
On Chinese Web Page Classification
A New Fuzzy Clustering Method with Constraints in Time Domain / Jacek Leski ; Aleksander Owczarek
Special Cluster Analysis and Basic Feature Estimation with a Modification of Self-Organizing Map / Janusz Morajda
An Unsupervised Cluster Analysis and Information about the Modelling System / Izabela Rejer
Cursive-Character Script Recognition Using Toeplitz Model and Neural Networks / Khalid Saeed ; Marek Tabedzki
Learning with an Embedded Reject Option / Ramasubramanian Sundararajan ; Asim K. Pal
Image Processing
Impulsive Noise Suppression from Highly Corrupted Images by Using Resilient Neural Networks / Erkan Beşdok ; Pinar Çivicioğlu ; Mustafa Alçi
A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks / Giacomo Capizzi ; Salvatore Coco ; Antonio Laudani ; Giuseppe Pappalardo
Fuzzy Processing Technique for Content-Based Image Retrieval / Ryszard S. Choraś
Human Ear Identification Based on Image Analysis / Michał Choraś
Automatic Change Detection Based on Codelength Differences in Multi-temporal and Multi-spectral Images / Joselíto J. Chua ; Peter E. Tischer
Estimating Face Direction via Facial Triangle / Min Gyo Chung ; Jisook Park ; Jiyoun Bong
An Image Compression Algorithm Based on Neural Networks / Robert Cierniak
Fuzzy Nonparametric Measures for Image Matching / Boguslaw Cyganek ; Jan Borgosz
Neural Computation of the Fundamental Matrix
Face Detection Using CMAC Neural Network / H. Fashandi ; M.S. Moin
A Biologically Inspired Active Stereo Vision System Using a Bottom-Up Saliency Map Model / Bum-Soo Jung ; Sang-Bok Choi ; Sang-Woo Ban ; Minho Lee
Problems Connected with Application of Neural Networks in Automatic Face Recognition / Rafal Komanski ; Bohdan Macukow
Czestochowa-Faces and Biometrics of Asymmetrical Face / Leonid Kompanets ; Mariusz Kubanek ; Szymon Rydzek
Wafer Die Position Detection Using Hierarchical Gray Level Corner Detector / Jae Hyung Na ; Hae Seok Oh
On Fuzzy Labelled Image Segmentation Based on Perceptual Features / Pilar Sobrevilla ; Eduard Montseny
Generalized Multi-layer Kohonen Network and Its Application to Texture Recognition / A. Tomczyk ; B. Lis
Robotics
Translation STRIPS Planning in Multi-robot Environment to Linear Programming / Andrzej Swierniak
Fuzzy Combiner of Behaviors for Reactive Control of Wheeled Mobile Robot / Zenon Hendzel
Artificial Intelligence of the Decision Unit of a Mobile Robot / Jan Kazimierczak
Finding Location Using a Particle Filter and Histogram Matching / Bogdan Kwolek
Calculation of Model of the Robot by Neural Network with Robot Joint Distinction / J. Możaryn ; J.E. Kurek
Multi-robot Coordination Based on Cooperative Game / Krzysztof Skrzypczyk
Model Based Predictive Robotic Manipulator Control with Sinusoidal Trajectory and Random Disturbances / Hasan Temurtas ; Fevzullah Temurtas ; Nejat Yumusak
Multiagent Systems
Performance Evaluation of Multiagent Personalized Information System / Tomasz Babczyński ; Zofia Kruczkiewicz ; Jan Magott
A Neural-Based Agent for IP Traffic Scanning and Worm Detection / Andrzej Bielecki ; Paweł Hajto
Evolutionary Neural Networks in Collective Intelligent Predicting System / Aleksander Byrski ; Jerzy Bałamut
Development of a Personalized Digital Library System Based on the New Mobile Multi Agent Platform / Young Im Cho
FOOD: An Agent-Oriented Dataflow Model / Nicolas Juillerat ; Béat Hirsbrunner
Flock-Based Architecture for Distributed Evolutionary Algorithms / Marek Kisiel-Dorohinicki
Quickprop Neural Network Short-Term Forecasting Framework for a Database Intrusion Prediction System / P. Ramasubramanian ; A. Kannan
Various Problems of Artificial Intelligence
The New Concepts in Parallel Simulated Annealing Method
Simulated Annealing with Restart to Job Shop Scheduling Problem Using Upper Bounds / Marco Antonio Cruz-Chavez ; Juan Frausto-Solis
Requirements and Solutions for Web-Based Expert System / Maciej Grzenda ; Marcin Niemczak
Information Structuring in Natural Language Communication: Syntax versus Semantic / Wladyslaw Homenda
Strategic Planning through Model Checking of ATL Formulae / Wojciech Jamroga
On a Special Class of Dempster-Shafer Theories / Mieczysław Alojzy Kłopotek
A Computer Based System Supporting Analysis of Cooperative Strategies / Lech Kruś
Application of Soft Computing Techniques to Rescue Operation Planning / Jiří Kubalík ; Jiří Kléma ; Miroslav Kulich
Reduction of Tabular Systems / Antoni Lig&ecedil;za ; Marcin Szpyrka
Temporal Difference Approach to Playing Give-Away Checkers / Jacek Mańdziuk ; Daniel Osman
Artificial Neural Networks for Solving Double Dummy Bridge Problems / Krzysztof Mossakowski
On Application of Ant Algorithms to Non-bifurcated Multicommodity Flow Problem / Krzysztof Walkowiak
A Parallel Clustering Algorithm for Categorical Data Set / Yong-Xian Wang ; Zheng-Hua Wang ; Xiao-Mei Li
Intensive versus Non-intensive Actor-Critic Reinforcement Learning Algorithms / Pawel Wawrzynski ; Andrzej Pacut
Virtual Modeling and Optimal Design of Intelligent Micro-accelerometers / Andrzej Cader ; Pawel Drzymala ; Henryk Welfle
Control, Modelling, and System Identification
Local Pattern-Based Interval Models / Wojciech Cholewa
Implementation of Two-Stage Hopfield Model and Its Application in Nonlinear Systems / Ivan Nunes da Silva ; Jose Alfredo C. Ulson ; Andre Nunes de Souza
Genetic Algorithm Based Fuzzy Sliding Mode with Application to Building Structures / Kambiz Falsafian
Influence of the Training Set Selection on the Performance of the Neural Network State Variables Estimators in the Induction Motor / Jerzy Jelonkiewicz ; Andrzej Przybył
LMI-Based Design of Optimal Controllers for Takagi-Sugeno Fuzzy Systems / J. Park ; Y. Park ; K. Kwak ; J.H. Hong
Design of Multi-objective Evolutionary Technique Based Intelligent Controller for Multivariable Nonlinear Systems / Farzan Rashidi ; Mehran Rashidi
Design of a Robust Sliding Mode Fuzzy Controller for Nonlinear HVAC Systems / Behzad Moshiri
Global Identification of Complex Systems with Cascade Structure / Jerzy Swiatek
Medical Applications
Diagnosis of Melanoma Using IRIM, a Data Mining System / Jay Hamilton ; Zdzislaw S. Hippe
Detection of Spiculated Masses in Mammograms Based on Fuzzy Image Processing / Aboul Ella Hassanien ; Jafar M. Ali ; Hajime Nobuhara
Artificial Neural Networks in Identifying Areas with Homogeneous Survival Time / Małgorzata Kr&ecedil;towska
Multistage Diagnosis of Myocardial Infraction Using a Fuzzy Relation / Marek Kurzynski
Application of SVM to Ovarian Cancer Classification Problem / Maciej Kusy
ROC Analysis for Fetal Hypoxia Problem by Artificial Neural Networks / Lale Özyilmaz ; Tülay Yildirim
The Challenge of Soft Computing Techniques for Tumor Characterization / P.P. Spyridonos ; C.D. Stylios ; P. Ravazoula ; G.C. Nikiforidis
A Multi-stage Classification Method in Application to Diagnosis of Larynx Cancer / Danuta Rutkowska ; Jacek K. Klimala
The Study of Hierarchy Importance of Descriptive Attributes in Computer Assisted Classification of Melanocytic Skin Lesions / Aleksander Sokołowski ; Alicja Dereń
Medical Knowledge Representation in Terms of IF-THEN Rules and the Dempster-Shafer Theory / Ewa Straszecka
Online Neural Network Training for Automatic Ischemia Episode Detection / L. Vladutu ; V.P. Plagianakos ; A. Bezerianos
Mechanical Applications
Sequential and Distributed Evolutionary Computations in Structural Optimization / Tadeusz Burczyński ; Wacław Kuś ; Adam Długosz ; Arkadiusz Poteralski ; Mirosław Szczepanik
Neural Analysis of Concrete Fatigue Durability by the Neuro-fuzzy FWNN / Magdalena Jakubek ; Zenon Waszczyszyn
Neural and Finite Element Analysis of a Plane Steel Frame Reliability by the Classical Monte Carlo Method / Ewa Pabisek ; Joanna Kaliszuk
The Solution of an Inverse Problem in Plates by Means of Artificial Neural Networks / Grzegorz Pi&acedil;tkowski ; Leonard Ziemiański
Filtering of Thermomagnetic Data Curve Using Artificial Neural Network and Wavelet Analysis / Łukasz Rauch ; Jolanta Talar ; Tomáš Žák ; Jan Kusiak
Various Applications
Evolutionary Negotiation Strategies in Emerging Electricity Markets / Salem Al-Agtash
Evolutionary Algorithm for Scheduling of CHP Plant with Urban Heat Distribution Network / Krzysztof Dziedzicki ; Andrzej Augusiak ; Roman Śmierzchalski
Semi-mechanistic Models for State-Estimation - Soft Sensor for Polymer Melt Index Prediction / Balazs Feil ; Janos Abonyi ; Peter Pach ; Sandor Nemeth ; Peter Arva ; Miklos Nemeth ; Gabor Nagy
Neural Approach to Time-Frequency Signal Decomposition / Dariusz Grabowski ; Janusz Walczak
ANN Based Modelling and Correction in Dynamic Temperature Measurements / Lidia Jackowska-Strumiłło
One Day Prediction of NIKKEI Index Considering Information from Other Stock Markets / Marcin Jaruszewicz
Application of Neural Network Topologies in the Intelligent Heat Use Prediction System / Leszek Kiełtyka ; Robert Kuc&ecedil;ba ; Adam Sokołowski
Genetic Algorithm for Database Indexing / Marcin Korytkowski ; Marcin Gabryel
Application of Neural Networks and Two Representations of Color Components for Recognition of Wheat Grains Infected by Fusarium Culmorum Fungi / Aleksander Kubiak ; Zbigniew Mikrut
Hybrid Neural Model of the Sea Bottom Surface / Jacek Lubczonek
Fuzzy Economic Analysis of Simulated Discrete Transport System / Jacek Mazurkiewicz ; Tomasz Walkowiak
A Survey on US Economic Sanction Effects on Iranian High Tech Industries: Fuzzy Logic Approach / Mohammad R. Mehregan ; Hossein Safari ; Parviz Naseri ; Farshid Hosseini ; Kumars Sharifi
Modeling of Optoelectronic Devices through Neuro-Fuzzy Architectures / Antonio Vanderlei Ortega
Neural Network Based Simulation of the Sieve Plate Absorption Column in Nitric Acid Industry / Edward Röj ; Marcin Wilk
Artificial Neural Networks for Comparative Navigation / Andrzej Stateczny
Predicting Women's Apparel Sales by Soft Computing / Les M. Sztandera ; Celia Frank ; Balaji Vemulapali
Model Improvement by the Statistical Decomposition / Ryszard Szupiluk ; Piotr Wojewnik ; Tomasz Zabkowski
Author Index
Invited Papers
Evolutionary Design of Information Systems Architectures / Danilo Ardagna ; Chiara Francalanci ; Vincenzo Piuri ; Fabio Scotti
Clifford Support Vector Machines for Classification / Eduardo Bayro-Corrochano ; Nancy Arana-Daniel ; J. Refugio Vallejo-Gutiérres
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7:
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5:
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6:
Modal Logics / Session 7:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8:
Description Logics / Session 9:
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10:
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11:
Equational Theories / Session 12:
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13:
Theorem Proving 1 / Session 14:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15:
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16:
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17:
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18:
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
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
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
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
A Polynomial Algorithm for the Inference of Context Free Languages / Alexander Clark ; Remi Eyraud ; Amaury Habrard
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings / Colin de la Higuera ; Jean-Christophe Janodet ; Frederic Tantini
Relevant Representations for the Inference of Rational Stochastic Tree Languages / Francois Denis ; Edouard Gilbert ; Faissal Ouardi ; Marc Tommasi
Learning Commutative Regular Languages / Antonio Cano Gomez ; Gloria I. Alvarez
Learning Left-to-Right and Right-to-Left Iterative Languages / Jeffrey Heinz
Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets / Yuuichi Kameda ; Hiroo Tokunaga ; Akihiro Yamamoto
A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness / Anna Kasprzik
On Learning Regular Expressions and Patterns Via Membership and Correction Queries / Efim Kinber
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints / Bernard Lambeau ; Christophe Damas ; Pierre Dupont
Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries / Jose Oncina
Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata / Jorge Castro ; Ricard Gavalda
Learning Context-Sensitive Languages from Linear Structural Information / Jose M. Sempere
Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries / Yasuhiro Tajima ; Yoshiyuki Kotani
How to Split Recursive Automata / Isabelle Tellier
A Note on the Relationship between Different Types of Correction Queries / Cristina Tirnauca
Unsupervised Learning of Probabilistic Context-Free Grammar Using Iterative Biclustering / Kewei Tu ; Vasant Honavar
Polynomial Distinguishability of Timed Automata / Sicco Verwer ; Mathijs de Weerdt ; Cees Witteveen
Evaluation and Comparison of Inferred Regular Grammars / Neil Walkinshaw ; Kirill Bogdanov ; Ken Johnson
Identification in the Limit of k, l-Substitutable Context-Free Languages / Ryo Yoshinaka
Poster Papers
Learning Subclasses of Pure Pattern Languages / P.J. Abisha ; D.G. Thomas ; Sindhu J. Kumaar
Which Came First, the Grammar or the Lexicon? / Tom Armstrong ; Tim Oates
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
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
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
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II:
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III:
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV:
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V:
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
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
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
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
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
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
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
Actions with Failures in Interval Temporal Logic / Arjen Hommersom ; Peter Lucas
A Logic for Reasoning about Rational Agents / Wojciech Jamroga ; Nils Bulling
Formal Modelling of Emotions in BDI Agents / David Pereira ; Eugenio Oliveira ; Nelma Moreira
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations / Jan Broersen ; Julien Brunel
Proof Theory for Distributed Knowledge / Raul Hakli ; Sara Negri
EVOLP: Transformation-Based Semantics / Martin Slota ; Joao Leite
Language Constructs for Multi-agent Programming / Louise Dennis ; Michael Fisher ; Anthony Hepple
[beta]-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification / Volha Bryl ; Paola Mello ; Marco Montali ; Paolo Torroni ; Nicola Zannone
A Heuristic Approach to P2P Negotiation / Stefania Costantini ; Arianna Tocchio ; Panagiota Tsintza
Towards Context Sensitive Defeasible Rules / Armin Hezart ; Abhaya Nayak ; Mehmet Orgun
Fuzzy Argumentation for Trust / Ruben Stranders ; Mathijs de Weerdt
Assumption-Based Argumentation for Selection and Composition of Services / Francesca Toni
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems / Francesco Belardinelli ; Alessio Lomuscio
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs / Rajeev Gore ; Linh Anh Nguyen
System Description Paper
EVOLP: An Implementation
Author Index
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Event Detection by HMM, SVM and ANN: A Comparative Study / Carla Lopes ; Fernando Perdigao
Frication and Voicing Classification / Luis M.T. Jesus ; Philip J.B. Jackson
A Spoken Dialog System Speech Interface Based on a Microphone Array / Gustavo Esteves Coelho ; Antonio Joaquim Serralheiro ; Joao Paulo Neto
Ontologies, Semantics and Anaphora Resolution
PAPEL: A Dictonary-Based Lexical Ontology for Portuguese / Hugo Goncalo Oliveira ; Diana Santos ; Paulo Gomes ; Nuno Seco
Comparing Window and Syntax Based Strategies for Semantic Extraction / Pablo Gamallo Otero
The Mitkov Algorithm for Anaphora Resolution in Portuguese / Amanda Rocha Chaves ; Lucia Helena Machado Rino
Semantic Similarity, Ontologies and the Portuguese Language: A Close Look at the subject / Juliano Baldez de Freitas ; Vera Lucia Strube de Lima ; Josiane Fontoura dos Anjos Brandolt
Speech Synthesis
Boundary Refining Aiming at Speech Synthesis Applications / Monique V. Nicodem ; Sandra G. Kafka ; Rui Seara
Evolutionary-Based Design of a Brazilian Portuguese Recording Script for a Concatenative Synthesis System / Monique Vitorio Nicodem ; Izabel Christine Seara ; Daiana dos Anjos
DIXI-A Generic Text-to-Speech System for European Portuguese / Sergio Paulo ; Luis C. Oliveira ; Carlos Mendes ; Luis Figueira ; Renato Cassaca ; Ceu Viana ; Helena Moniz
European Portuguese Articulatory Based Text-to-Speech: First Results / Antonio Teixeira ; Catarina Oliveira ; Plinio Barbosa
Machine Learning Applied to Natural Language Processing
Statistical Machine Translation of Broadcast News from Spanish to Portuguese / Raquel Sanchez Martinez ; Joao Paulo da Silva Neto ; Diamantino Antonio Caseiro
Combining Multiple Features for Automatic Text Summarization through Machine Learning / Daniel Saraiva Leite
Some Experiments on Clustering Similar Sentences of Texts in Portuguese / Eloize Rossi Marques Seno ; Maria das Gracas Volpe Nunes
Portuguese Part-of-Speech Tagging Using Entropy Guided Transformation Learning / Cicero Nogueira dos Santos ; Ruy L. Milidiu ; Raul P. Renteria
Learning Coreference Resolution for Portuguese Texts / Jose Guilherme C. de Souza ; Patricia Nunes Goncalves ; Renata Vieira
Speech Recognition and Applications
Domain Adaptation of a Broadcast News Transcription System for the Portuguese Parliament / Luis Neves ; Ciro Martins ; Hugo Meinedo ; Joao Neto
Automatic Classification and Transcription of Telephone Speech in Radio Broadcast Data / Alberto Abad
A Platform of Distributed Speech Recognition for the European Portuguese Language / Joao Miranda ; Joao P. Neto
Natural Language Processing Tools and Applications
Supporting e-Learning with Language Technology for Portuguese / Mariana Avelas ; Antonio Branco ; Rosa Del Gaudio ; Pedro Martins
ParaMT: A Paraphraser for Machine Translation / Anabela Barreiro
Posters
Natural Language Processing
Second HAREM: New Challenges and Old Wisdom / Claudia Freitas ; Paula Carvalho
Floresta Sinta(c)tica: Bigger, Thicker and Easier / Paulo Rocha ; Eckhard Bick
The Identification and Description of Frozen Prepositional Phrases through a Corpus-Oriented Study / Milena Garrao ; Violeta Quental ; Nuno Caminada
CorrefSum: Referencial Cohesion Recovery in Extractive Summaries
Answering Portuguese Questions / Luis Fernando Costa ; Luis Miguel Cabral
XisQue: An Online QA Service for Portuguese / Lino Rodrigues ; Joao Silva ; Sara Silveira
Using Semantic Prototypes for Discourse Status Classification / Sandra Collovini ; Luiz Carlos Ribeiro Jr. ; Vinicius Muller
Using System Expectations to Manage User Interactions / Filipe M. Martins ; Ana Mendes ; Joana Paulo Pardal ; Nuno J. Mamede
Speech and Language Processing
Adaptive Modeling and High Quality Spectral Estimation for Speech Enhancement / Luis Coelho ; Daniela Braga
On the Voiceless Aspirated Stops in Brazilian Portuguese / Mariane Antero Alves ; Fernando Santana Pacheco ; Simone Klein
Comparison of Phonetic Segmentation Tools for European Portuguese
Spoltech and OGI-22 Baseline Systems for Speech Recognition in Brazilian Portuguese / Nelson Neto ; Patrick Silva ; Aldebaro Klautau ; Andre Adami
Development of a Speech Recognizer with the Tecnovoz Database / Jose Lopes ; Claudio Neves ; Arlindo Veiga ; Alexandre Maciel ; Luis Sa
Dynamic Language Modeling for the European Portuguese
An Approach to Natural Language Equation Reading in Digital Talking Books / Carlos Juzarte Rolo
Topic Segmentation in a Media Watch System / Rui Amaral ; Isabel Trancoso
Author Index
Speech Analysis
Event Detection by HMM, SVM and ANN: A Comparative Study / Carla Lopes ; Fernando Perdigao
Frication and Voicing Classification / Luis M.T. Jesus ; Philip J.B. Jackson
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
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
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
Engineering Self-organizing Applications
A Characterization of Key Properties of Environment-Mediated Multiagent Systems / Hartmut Schmeck ; Christian Muller-Schloer
Toward Systemic MAS Development: Enforcing Decentralized Self-organization by Composition and Refinement of Archetype Dynamics / Jan Sudeikat ; Wolfgang Renz
Engineering Systems Which Generate Emergent Functionalities / Marie-Pierre Gleizes ; Valerie Camps ; Jean-Pierre George ; Davy Capera
Engineering Autonomic Electronic Institutions / Josep Lluis Arcos ; Juan A. Rodriguez-Aguilar ; Bruno Rosell
Stigmergic Interaction
Prediction Horizons in Agent Models / H. Van Dyke Parunak ; Theodore C. Belding ; Sven A. Brueckner
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications / Andrea Bonomi ; Marcello Sarini ; Giuseppe Vizzari
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
"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
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
Alternative Dispute Resolution in Virtual Organizations / Jeremy Pitt ; Daniel Ramirez-Cano ; Lloyd Kamara ; Brendan Neville
Electronic Institutions Infrastructure for e-Chartering / Manolis Sardis ; George Vouros
Models of Complex Distributed Systems with Agents and Societies
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations / William J. Clancey ; Maarten Sierhuis ; Chin Seah ; Chris Buckley ; Fisher Reynolds ; Tim Hall ; Mike Scott
Progress Appraisal as a Challenging Element of Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; Matthew Johnson ; Larry Bunch
Automated Web Services Composition with the Event Calculus / Onur Aydin ; Nihan Kesim Cicekli ; Ilyas Cicekli
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems / Ioanna Stamatopoulou ; Petros Kefalas ; Marian Gheorghe
Interaction in Agent Societies
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences / Josefina Sierra ; Josefina Santibanez
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS / Nabil Hameurlain
Amongst First-Class Protocols / Tim Miller ; Jarred McGinnis
Engineering Social Intelligence in Multi-agent Systems
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
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Knowledge Representation
Introspective Forgetting / Hans van Ditmarsch ; Andreas Herzig ; Jerome Lang ; Pierre Marquis
Fixed-Point Property of Logic-Based Bargaining Solution / Dongmo Zhang
Re-representation in a Logic-Based Model for Analogy Making / Ulf Krumnack ; Helmar Gust ; Kai-Uwe Kuhnberger ; Angela Schwering
Knowledge Generation for Improving Simulations in UCT for General Game Playing / Shiven Sharma ; Ziad Kobti ; Scott Goodwin
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems / Eric Schkufza ; Nathaniel Love ; Michael Genesereth
Constructing Web Corpora through Topical Web Partitioning for Term Recognition / Wilson Wong ; Wei Liu ; Mohammed Bennamoun
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory / Philip H.P. Nguyen ; Ken Kaneiwa ; Dan R. Corbett ; Minh-Quang Nguyen
Exploiting Ontological Structure for Complex Preference Assembly / Gil Chamiel ; Maurice Pagnucco
Constraints
A Refutation Approach to Neighborhood Interchangeability in CSPs / Chavalit Likitvivatanavong ; Roland H. C. Yap
Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization / Hemant K. Singh ; Amitay Isaacs ; Tapabrata Ray ; Warren Smith
Constraint-Based Multi-agent Path Planning / Malcolm Ryan
Planning
An Optimality Principle for Concurrent Systems / Langford B. White ; Sarah L. Hickmott
Partial Order Hierarchical Reinforcement Learning / Bernhard Hengst
Optimal Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function / Om K. Gupta ; Ray A. Jarvis
Grammar and Language Processing
Using Probabilistic Feature Matching to Understand Spoken Descriptions / Ingrid Zukerman ; Enes Makalic ; Michael Niemann
Working for Two: A Bidirectional Grammar for a Controlled Natural Language / Rolf Schwitter
Improving Metrical Grammar with Grammar Expansion / Makoto Tanji ; Daichi Ando ; Hitoshi Iba
FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment Techniques and Lexical Coverage / Bahadorreza Ofoghi ; John Yearwood ; Liping Ma
Learning to Find Relevant Biological Articles without Negative Training Examples / Keith Noto ; Milton H. Saier Jr. ; Charles Elkan
Humor Prevails!-Implementing a Joke Generator into a Conversational System / Pawel Dybala ; Michal Ptaszynski ; Shinsuke Higuchi ; Rafal Rzepka ; Kenji Araki
Statistical Learning
Improving Transductive Support Vector Machine by Ensembling / Tao Li ; Yang Zhang
Kernels Based on Distributions of Agreement Subtrees / Kilho Shin ; Tetsuji Kuboyama
Practical Bias Variance Decomposition / Remco R. Bouckaert
Using Gaussian Processes to Optimize Expensive Functions / Marcus Frean ; Phillip Boyle
Discriminant Analysis Methods for Microarray Data Classification / Chuanliang Chen ; Yun-Chao Gong ; Rongfang Bie
Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis / Stefan Mutter ; Bernhard Pfahringer ; Geoffrey Holmes
Machine Learning
Improving Promoter Prediction Using Multiple Instance Learning / P.J. Uren ; R.M. Cameron-Jones ; A.H.J. Sale
Revisiting Multiple-Instance Learning Via Embedded Instance Selection / James Foulds ; Eibe Frank
Decision Tree Induction from Numeric Data Stream / Satoru Nishimura ; Masahiro Terabe ; Kazuo Hashimoto
L1 LASSO Modelin and Its Bayesian Inference / Junbin Gao ; Michael Antolovich ; Paul W. Kwan
Discriminating Against New Classes: One-class Versus Multi-class Classification / Kathryn Hempstalk
Building a Decision Cluster Classification Model for High Dimensional Data by a Variable Weighting k-Means Method / Yan Li ; Edward Hung ; Korris Chung ; Joshua Huang
Locality Spectral Clustering
Mining Arbitrarily Large Datasets Using Heuristic k-Nearest Neighbour Search / Xing Wu
Cross-Domain Knowledge Transfer Using Semi-supervised Classification / Yi Zhen ; Chunping Li
On the Limitations of Scalarisation for Multi-objective Reinforcement Learning of Pareto Fronts / Peter Vamplew ; Richard Dazeley ; Adam Berry
An Approach for Generalising Symbolic Knowledge / Byeong-Ho Kang
Single-Cycle Image Recognition Using an Adaptive Granularity Associative Memory Network / Anang Hudaya Muhamad Amin ; Asad I. Khan
Data Mining
Combined Pattern Mining: From Learned Rules to Actionable Knowledge / Yanchang Zhao ; Huaifeng Zhang ; Longbing Cao ; Chengqi Zhang ; Hans Bohlscheid
Efficient Single-Pass Mining of Weighted Interesting Patterns / Chowdhury Farhan Ahmed ; Syed Khairuzzaman Tanbeer ; Byeong-Soo Jeong ; Young-Koo Lee
Pattern Taxonomy Mining for Information Filtering / Xujuan Zhou ; Yuefeng Li ; Peter Bruza ; Yue Xu ; Raymond Y.K. Lau
An AI-Based Causal Strategy for Securing Statistical Databases Using Micro-aggregation / B. John Oommen ; Ebaa Fayyoumi
Additive Regression Applied to a Large-Scale Collaborative Filtering Problem / Mark Hall
A Novel Recommending Algorithm Based on Topical PageRank / Liyan Zhang
DynamicWEB: Adapting to Concept Drift and Object Drift in COBWEB / Joel Scanlan ; Jacky Hartnett ; Raymond Williams
Knowledge Discovery
L-Diversity Based Dynaic Update for Large Time-Evolving Microdata / Xiaoxun Sun ; Hua Wang ; Jiuyong Li
Knowledge Discovery from Honeypot Data for Monitoring Malicious Attacks / Huidong Jin ; Olivier de Vel ; Ke Zhang ; Nianjun Liu
Detecting the Knowledge Boundary with Prudence Analysis
Soft Computing
Clustering with XCS on Complex Structure Dataset / Liangdong Shi ; Yang Gao ; Lei Wu ; Lin Shang
Evolution of Multiple Tree Structure Patterns from Tree-Structured Data Using Clustering / Masatoshi Nagamine ; Tetsuhiro Miyahara ; Hiroaki Ueda ; Kenichi Takahashi
Application of a Memetic Algorithm to the Portfolio Optimization Problem / Claus Aranha
Predicting Trading Signals of Stock Market Indices Using Neural Networks / Chandima D. Tilakaratne ; Musa A. Mammadov ; Sidney A. Morris
A Fuzzy Decision Support System for Garment New Product Development / Jie Lu ; Yijun Zhu ; Xianyi Zeng ; Ludovic Koehl ; Jun Ma ; Guangquan Zhang
A Hybrid Nonlinear-Discriminant Analysis Feature Projection Technique / Rami N Khushaba ; Ahmed Al-Ani ; Adel Al-Jumaily ; Hung T. Nguyen
Vision and Image Processing
Learning Object Representations Using Sequential Patterns / Nobuyuki Morioka
Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling / John Thornton ; John Faichney ; Michael Blumenstein ; Trevor Hine
Learning a Generative Model for Structural Representations / Andrea Torsello ; David L. Dowe
AI Applications
Using Stereotypes to Improve Early-Match Poker Play / Robert Layton ; Chris Turville
CASPER: A Case-Based Poker-Bot / Ian Watson ; Jonathan Rubin
A Generalized Joint Inference Approach for Citation Matching / Zhihua Liao ; Zili Zhang
Agent-Based Collaborative System and Case-Based Conflict Resolution Process in Preliminary Ship Design / Kyung Ho Lee ; Jae Joon Lee ; Young Soo Han ; Jung Min Lee ; Byung Hak Lee
Author Index
Invited Paper
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
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
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
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
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
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
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Regular Papers
Improving Angle Based Mappings / Frank Rehm ; Frank Klawonn
Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks / Manolis Maragoudakis ; Nikolaos Cosmas ; Aristogiannis Garbis
Boosting over Groups and Its Application to Acronym-Expansion Extraction / Weijian Ni ; Yalou Huang ; Dong Li ; Yang Wang
A Genetic-Based Feature Construction Method for Data Summarisation / Rayner Alfred
Suicidal Risk Evaluation Using a Similarity-Based Classifier / S. Chattopadhyay ; P. Ray ; H.S. Chen ; M.B. Lee ; H.C. Chiang
Gene Selection for Cancer Classification Using DCA / Hoai An Le Thi ; Van Vinh Nguyen ; Samir Ouchani
FARS: A Multi-relational Feature and Relation Selection Approach for Efficient Classification / Bo Hu ; Hongyan Liu ; Jun He ; Xiaoyong Du
Enhancing Text Categorization Using Sentence Semantics / Shady Shehata ; Fakhri Karray ; Mohamed Kamel
Mining Evolving Web Sessions and Clustering Dynamic Web Documents for Similarity-Aware Web Content Management / Jitian Xiao
Data Quality in Privacy Preservation for Associative Classification / Nattapon Harnsamut ; Juggapong Natwichai ; Xingzhi Sun ; Xue Li
Timeline Analysis of Web News Events / Jiangtao Qiu ; Chuan Li ; Shaojie Qiao ; Taiyong Li ; Jun Zhu
Analysis of Alarm Sequences in a Chemical Plant / Savo Kordic ; Peng Lam ; Huaizhong Li
Speed Up SVM Algorithm for Massive Classification Tasks / Thanh-Nghi Do ; Van-Hoa Nguyen ; Francois Poulet
Mining Supplemental Frequent Patterns / Yintian Liu ; Yingming Liu ; Tao Zeng ; Kaikuo Xu ; Rong Tang
A Distributed Privacy-Preserving Association Rules Mining Scheme Using Frequent-Pattern Tree / Chunhua Su ; Kouichi Sakurai
Dichotomy Method toward Interactive Testing-Based Fault Localization / Ji-Rong Sun ; Zhi-Shu Li ; Jian-Cheng Ni
Maintaining the Maximum Normalized Mean and Applications in Data Stream Mining / Jan Peter Patist
Identification of Interface Residues Involved in Protein-Protein Interactions Using Naive Bayes Classifier / Chishe Wang ; Jiaxing Cheng ; Shoubao Su ; Donzhe Xu
Negative Generator Border for Effective Pattern Maintenance / Mengling Feng ; Jinyan Li ; Limsoon Wong ; Yap-Peng Tan
CommTracker: A Core-Based Algorithm of Tracking Community Evolution / Yi Wang ; Bin Wu ; Xin Pei
Face Recognition Using Clustering Based Optimal Linear Discriminant Analysis / Wenxin Yang ; Shuqin Rao ; Jina Wang ; Jian Yin ; Jian Chen
A Novel Immune Based Approach for Detection of Windows PE Virus / Yu Zhang ; Tao Li ; Jia Sun ; Renchao Qin
Using Genetic Algorithms for Parameter Optimization in Building Predictive Data Mining Models / Ashish Sureka ; Kishore Varma Indukuri
Using Data Mining Methods to Predict Personally Identifiable Information in Emails / Liqiang Geng ; Larry Korba ; Xin Wang ; Yunli Wang ; Hongyu Liu ; Yonghua You
Iterative Reinforcement Cross-Domain Text Classification / Di Zhang ; Gui-Rong Xue ; Yong Yu
Extracting Decision Rules from Sigmoid Kernel / Quanzhong Liu ; Yang Zhang ; Zhengguo Hu
DMGrid: A Data Mining System Based on Grid Computing / Liutong Xu ; Guanhui Geng ; Xiangang Zhao ; Nan Du
S-SimRank: Combining Content and Link Information to Cluster Papers Effectively and Efficiently / Yuanzhe Cai ; Pei Li
Open Domain Recommendation: Social Networks and Collaborative Filtering / Sarah K. Tyler ; Yi Zhang
An Effective Approach for Identifying Evolving Three-Dimensional Structural Motifs in Protein Folding Data / Hui Yang ; Lin Han
Texture Image Retrieval Based on Contourlet Transform and active Perceptual Similarity Learning / Huaijing Qu ; Yuhua Peng ; Honglin Wan ; Min Han
A Temporal Dominant Relationship Analysis Method / Jing Yang ; Yuanxi Wu ; Cuiping Li ; Hong Chen ; Bo Qu
Leakage-Aware Energy Efficient Scheduling for Fixed-Priority Tasks with Preemption Thresholds / XiaoChuan He ; Yan Jia
Short Papers
Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters / JiaDong Zhang ; Kun Yue ; WeiYi Liu
TARtool: A Temporal Dataset Generator for Market Basket Analysis / Asem Omari ; Regina Langer ; Stefan Conrad
Dimensionality Reduction for Classification: Comparison of Techniques and Dimension Choice / Frank Plastria ; Steven De Bruyne ; Emilio Carrizosa
Trajectories Mining for Traffic Condition Renewing / Danhuai Guo
Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications / Lian Yu ; Changzhu Kong ; Lei Xu ; Jingtao Zhao ; HuiHui Zhang
Test the Overall Significance of p-Values by Using Joint Tail Probability of Ordered p-Values as Test Statistic / Yongxiang Fang ; Ernst Wit
Mining Interesting Infrequent and Frequent Itemsets Based on MLMS Model / Xiangjun Dong ; Zhendong Niu ; Donghua Zhu ; Zhiyun Zheng ; Qiuting Jia
Text Learning and Hierarchical Feature Selection in Webpage Classification / Xiaogang Peng ; Zhong Ming ; Haitao Wang
The RSO Algorithm for Reducing Number of Set Operations in Association Rule Mining / Muhammad Sarwar ; Onaiza Maqbool
Predictive Performance of Clustered Feature-Weighting Case-Based Reasoning / Sung Ho Ha ; Jong Sik Jin ; Jeong Won Yang
Selecting the Right Features for Bipartite-Based Text Clustering / Chao Qu ; Yong Li ; Jie Zhang ; Tianming Hu ; Qian Chen
Image Emotional Classification Based on Color Semantic Description / Kaiping Wei ; Bin He ; Tao Zhang ; Wenya He
A Semi-supervised Clustering Algorithm Based on Must-Link Set / Haichao Huang ; Yong Cheng ; Ruilian Zhao
T-rotation: Multiple Publications of Privacy Preserving Data Sequence / Youdong Tao ; Yunhai Tong ; Shaohua Tan ; Shiwei Tang ; Dongqing Yang
The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress / Jian-guo Zhou ; Tao Bai ; Ji-ming Tian
Outlier Detection Based on Voronoi Diagram / Jilin Qu
AWSum - Data Mining for Insight / Anthony Quinn ; Andrew Stranieri ; John Yearwood ; Gaudenz Hafen
Integrative Neural Network Approach for Protein Interaction Prediction from Heterogeneous Data / Xue-wen Chen ; Mei Liu ; Yong Hu
Rules Extraction Based on Data Summarisation Approach Using DARA
A Rough-Apriori Technique in Mining Linguistic Association Rules / Yun-Huoy Choo ; Azuraliza Abu Bakar ; Abdul Razak Hamdan
Mining Causal Knowledge from Diagnostic Knowledge / Xiangdong An ; Nick Cercone
Modified Particle Swarm Optimizer with Adaptive Dynamic Weights for Cancer Combinational Chemotherapy / Harish Chandra Soundararajan ; Jagannathan Raman ; R. Muthucumaraswamy
MPSQAR: Mining Quantitative Association Rules Preserving Semantics / Chunqiu Zeng ; Jie Zuo ; Shengqiao Ni ; Liang Tang ; Yue Zhang
Using Support Vector Regression for Classification / Bo Huang ; Zhihua Cai ; Qiong Gu ; Changjun Chen
Dynamic Growing Self-organizing Neural Network for Clustering / Daxin Tian ; Yueou Ren ; Qiuju Li
A Design of Reward Function Based on Knowledge in Multi-agent Learning / Bo Fan ; Jiexin Pu
A Learning Method of Detecting Anomalous Pedestrian / Yue Liu ; Jun Zhang ; Zhijing Liu
Moment+: Mining Closed Frequent Itemsets over Data Stream / Haifeng Li
CDPM: Finding and Evaluating Community Structure in Social Networks / Li Wan ; Jianxin Liao ; Xiaomin Zhu
Using Matrix Model to Find Association Rule Core for Diverse Compound Critiques / Li Yu
Link-Contexts for Ranking / Jessica Gronski
DC-Tree: An Algorithm for Skyline Query on Data Streams / Cui-Ping Li
Sequential Pattern Mining for Protein Function Prediction / Miao Wang ; Xue-qun Shang ; Zhan-huai Li
Improving Web Search by Categorization, Clustering, and Personalization / Dengya Zhu ; Heinz Dreher
JSNVA: A Java Straight-Line Drawing Framework for Network Visual Analysis / Qi Ye ; Bai Wang
Recognition of Data Records in Semi-structured Web-Pages Using Ontology and X[superscript 2] Statistical Distribution / Amin Keshavarzi ; Amir Masoud Rahmani ; Mehran Mohsenzadeh ; Reza Keshavarzi
Organizing Structured Deep Web by ClusteringQuery Interfaces Link Graph / Pengpeng Zhao ; Li Huang ; Wei Fang ; Zhiming Cui
CBP: A New Efficient Method for Mining Multilevel and Generalized Frequent Itemsets / Yu Xing Mao ; Bai Le Shi
Supporting Customer Retention through Real-Time Monitoring of Individual Web Usage / Peter I. Hofgesang
A Comparative Study of Correlation Measurements for Searching Similar Tags / Yu Chen ; Yexi Jiang ; Jie Gong
Structure of Query Modification Process: Branchings / Nikolai Buzikashvili
Mining Top-n Local Outliers in Constrained Spatial Networks / Chongsheng Zhang ; Zhongbo Wu
Mining Concept-Drifting Data Streams with Multiple Semi-Random Decision Trees / Peipei Li ; Xuegang Hu ; Xindong Wu
Automatic Web Tagging and Person Tagging Using Language Models / Qiaozhu Mei
Real-Time Person Tracking Based on Data Field / Shuliang Wang ; Juebo Wu ; Feng Cheng ; Hong Jin
Author Index
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Some Simplified Forms of Reasoning with Distance-Based Entailments / Ofer Arieli ; Anna Zamansky
A Belief-Theoretic Reputation Estimation Model for Multi-context Communities / Ebrahim Bagheri ; M. Barouni-Ebrahimi ; Reza Zafarani ; Ali A. Ghorbani
A Frequency Mining-Based Algorithm for Re-ranking Web Search Engine Retrievals
Multi-agent Framework for a Virtual Enterprise of Demand-Responsive Transportation / Daniel Cabrera ; Claudio Cubillos
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning / Alan Davoust ; Michael W. Floyd ; Babak Esfandiari
Aspects of Inconsistency Resolution in Modular Ontologies / Faezeh Ensan ; Weichang Du
Fast Markov Blanket Discovery Algorithm Via Local Learning within Single Pass / Shunkai Fu ; Michel C. Desmarais
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions / Liqiang Geng ; Larry Korba ; Yunli Wang ; Xin Wang ; Yonghua You
Recognizing Biomedical Named Entities in Chinese Research Abstracts / Baohua Gu ; Fred Popowich ; Veronica Dahl
Point-Based Planning for Predictive State Representations / Masoumeh T. Izadi ; Doina Precup
Comparison of Pleomorphic and Structural Features Used for Breast Cancer Malignancy Classification / Lukasz Jelen ; Adam Krzyzak ; Thomas Fevens
Towards a Faster Inference Algorithm in Multiply Sectioned Bayesian Networks / Karen H. Jin ; Dan Wu
Using Dependence Diagrams to Summarize Decision Rule Sets / Kamran Karimi ; Howard J. Hamilton
A Fast Computation of Inter-class Overlap Measures Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation / Ziad Kobti ; Shamual Rahaman ; Anne W. Snowdon ; Robert D. Kent
Selective Sampling for Classification / Francois Laviolette ; Mario Marchand ; Sara Shanian
Full Border Identification for Reduction of Training Sets / Guichong Li ; Trevor J. Stocki ; R. Kurt Ungar
Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF / Serguei A. Mokhov
Predicting User Preferences Via Similarity-Based Clustering / Mian Qin ; Scott Buffett ; Michael W. Fleming
Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems / Tyrel Russell ; Peter van Beek
An Intelligent Automatic Face Contour Prediction System / Seref Sagiroglu ; Necla Ozkaya
Word Clustering with Validity Indices / Ahmad El Sayed ; Julien Velcin ; Djamel Zighed
The Role of Nominalizations in Prepositional Phrase Attachment in GENIA / Jonathan Schuman ; Sabine Bergler
A Statistical Model for Topic Segmentation and Clustering / M. Mahdi Shafiei ; Evangelos E. Milios
Image Transformation: Inductive Transfer between Multiple Tasks Having Multiple Outputs / Daniel L. Silver ; Liangliang Tu
Using Unsupervised Learning for Network Alert Correlation / Reuben Smith ; Maxwell Dondo ; Peter Mason
Verbs Speak Loud: Verb Categories in Learning Polarity and Strength of Opinions / Marina Sokolova ; Guy Lapalme
A Stochastic Point-Based Algorithm for POMDPs / Ludovic Tobin
Semi-supervised Self-training for Sentence Subjectivity Classification / Bin Wang ; Bruce Spencer ; Charles X. Ling ; Harry Zhang
A Novel Approach for Social Behavior Analysis of the Blogosphere / Mohammad-Amin Jashki ; Hamidreza Baghi
Seller Bidding in a Trust-Based Incentive Mechanism for Dynamic E-Marketplaces / Jie Zhang ; Robin Cohen
Author Index
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist / Stephen Muggleton
Tutorials
Logic, Probability and Learning, or an Introduction to Statistical Relational Learning
Text Mining
From ILP to PILP
Computer Vision and Pattern Recognition
Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications / C.G. Gonzalez ; W. Bonventi Jr. ; A.L. Vieira Rodrigues
Multi-Dimensional Dynamic Time Warping for Image Texture Similarity / Rodrigo Fernandes de Mello ; Iker Gondra
Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation / Lucas D. Terissi ; Juan Carlos Gomez
Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis / Carlos Eduardo Thomaz ; Gilson Antonio Giraldi
Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory
Enhancing the Interaction between Agents and Users / Marcelo Armentano ; Silvia Schiaffino ; Analia Amandi
Re-routing Agents in an Abstract Traffic Scenario / Ana L.C. Bazzan ; Franziska Klugl
A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm / Gutierrez Soares Caixeta ; Rita Maria da Silva Julia
An Experimental Approach to Online Opponent Modeling in Texas Hold'em Poker / Dinis Felix ; Luis Paulo Reis
Individual and Social Behaviour in the IPA Market with RL / Eduardo Rodrigues Gomes ; Ryszard Kowalczyk
Optimizing Preferences within Groups: A Case Study on Travel Recommendation / Fabiana Lorenzi ; Fernando dos Santos ; Paulo R. Ferreira Jr.
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems / Diego R. Pereira ; Luciano V. Goncalves ; Gracaliz P. Dimuro ; Antonio C.R. Costa
Probabilistic Multiagent Patrolling / Tiago Sak ; Jacques Wainer ; Siome Klein Goldenstein
Knowledge Representation and Reasoning
Proving Epistemic and Temporal Properties from Knowledge Based Programs / Mario Benevides ; Carla Delgado ; Michel Carlini
Detecting Code Evolution in Programming Learning / Thais Castro ; Hugo Fuks ; Alberto Castro
Revising Specifications with CTL Properties Using Bounded Model Checking / Marcelo Finger ; Renata Wassermann
Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach / Alexandre Rademaker ; Edward Hermann Haeusler
A Case for Numerical Taxonomy in Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Nicholas Eastaugh ; Bernard F. Buxton
Methodical Construction of Symbolic Diagrams / Paulo A.S. Veloso ; Sheila R.M. Veloso
Machine Learning and Data Mining
Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis / Maria J.P. Dantas ; Leonardo da C. Brito ; Paulo C.M. Machado ; Paulo H.P. de Carvalho
Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data / Andre Luis Santiago Maia ; Francisco de A.T. de Carvalho
Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach / Edson T. Matsubara ; Ronaldo C. Prati ; Gustavo E.A.P.A. ; Maria C. Monard
A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function / Alexandre da Silva Simoes ; Anna Helena Reali Costa
A Robust Methodology for Comparing Performances of Clustering Validity Criteria / Lucas Vendramin ; Ricardo J.G.B. Campello ; Eduardo R. Hruschka
Natural Language Processing
An Experiment in Spanish-Portuguese Statistical Machine Translation / Wilker Ferreira Aziz ; Thiago Alexandre Salgueiro Pardo ; Ivandre Paraboni
On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation / Helena de M. Caseli ; Maria das Gracas V. Nunes ; Mikel L. Forcada
Robotics
Experiments in the Coordination of Large Groups of Robots / Leandro Soriano Marcolino ; Luiz Chaimowicz
Evolving an Artificial Homeostatic System / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben ; Phil Husbands
Author Index
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Semantics and Experience in the Future Web / Enric Plaza
Research Papers
Recognizing the Enemy: Combining Reinforcement Learning with Strategy Selection Using Case-Based Reasoning / Bryan Auslander ; Stephen Lee-Urban ; Chad Hogg ; Hector Munoz-Avila
Formal and Experimental Foundations of a New Rank Quality Measure / Steven Bogaerts ; David Leake
Provenance, Trust, and Sharing in Peer-to-Peer Case-Based Web Search / Peter Briggs
Visualizing and Evaluating Complexity of Textual Case Bases / Sutanu Chakraborti ; Ulises Cervino Beresi ; Nirmalie Wiratunga ; Stewart Massie ; Robert Lothian ; Deepak Khemani
Conservative Adaptation in Metric Spaces / Julien Cojan ; Jean Lieber
Opportunistic Acquisition of Adaptation Knowledge and Cases-The IakA Approach / Amelie Cordier ; Beatrice Fuchs ; Leonardo Lana de Carvalho ; Alain Mille
Noticeably New: Case Reuse in Originality-Driven Tasks / Belen Diaz-Agudo ; Juan A. Recio-Garcia ; Josep-Lluis Arcos
Experience-Based Design of Behaviors in Videogames / Gonzalo Florez Puga ; Pedro Gonzalez-Calero
Considerations for Real-Time Spatially-Aware Case-Based Reasoning: A Case Study in Robotic Soccer Imitation / Michael W. Floyd ; Alan Davoust ; Babak Esfandiari
Retrieval Based on Self-explicative Memories / Albert Fornells ; Eva Armengol ; Elisabet Golobardes
Increasing Precision of Credible Case-Based Inference / Thomas Gabel ; Martin Riedmiller
Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions / Ilya Vladimirskiy ; Belen Prados Suarez ; Eva Stauch
Using Case Provenance to Propagate Feedback to Cases and Adaptations / Scott A. Dial
Towards Case-Based Support for e-Science Workflow Generation by Mining Provenance / Joseph Kendall-Morwick
Knowledge Planning and Learned Personalization for Web-Based Case Adaptation / Jay Powell
Cases, Predictions, and Accuracy Learning and Its Application to Effort Estimation / Jingzhou Li ; Brenan Mackas ; Michael M. Richter ; Guenther Ruhe
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications / Suzanne Little ; Ovidio Salvetti ; Petra Perner
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy / Cindy Marling ; Jay Shubrook ; Frank Schwartz
Conversational Case-Based Reasoning in Self-healing and Recovery / David McSherry ; Sa'adah Hassan ; David Bustard
Situation Assessment for Plan Retrieval in Real-Time Strategy Games / Kinshuk Mishra ; Santiago Ontanon ; Ashwin Ram
Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC) / Babak Mougouie
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning / Pedro Almeida ; Marco Jorge ; Luis Cortesao ; Filipe Martins ; Marco Vieira ; Paulo Gomes
Predicting the Presence of Oil Slicks After an Oil Spill / Juan Manuel Corchado ; Aitor Mata
Case Based Interpretation of Soil Chromatograms / Minu Mary Joseph ; Saritha Variganti
Case-Based Troubleshooting in the Automotive Context: The SMMART Project / Stefania Bandini ; Ettore Colombo ; Giuseppe Frisoni ; Fabio Sartori ; Joakim Svensson
Rapid Prototyping of CBR Applications with the Open Source Tool myCBR / Armin Stahl ; Thomas R. Roth-Berghofer
Author Index
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
GrAM: Reasoning with Grounded Action Models by Combining Knowledge Representation and Data Mining / Nicolai v. Hoyningen-Huene ; Bernhard Kirchlechner ; Michael Beetz
Reinforcement Learning of Predictive Features in Affordance Perception / Lucas Paletta ; Gerald Fritz
A Functional Model for Affordance-Based Agents / Martin Raubal
Affordances in an Ecology of Physically Embedded Intelligent Systems / Alessandro Saffiotti ; Mathias Broxvall
Use of Affordances in Geospatial Ontologies / Sumit Sen
Learning the Affordances of Tools Using a Behavior-Grounded Approach / Alexander Stoytchev
Function-Based Reasoning for Goal-Oriented Image Segmentation / Melanie A. Sutton ; Louise Stark
The MACS Project: An Approach to Affordance-Inspired Robot Control / Erich Rome ; Erol Şahin ; Georg Dorffner ; Ralph Breithaupt ; Jörg Irran ; Florian Kintzler ; Stefan May ; Emre Uğur
Author Index
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
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
PR-OWL: A Bayesian Ontology Language for the Semantic Web / Paulo Cesar G. da Costa ; Kathryn B. Laskey ; Kenneth J. Laskey
Discovery and Uncertainty in Semantic Web Services / Francisco Martin-Recuerda
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion / Matthias Nickles ; Ruth Cobos
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
An Ontology-Based Bayesian Network Approach for Representing Uncertainty in Clinical Practice Guidelines / Hai-Tao Zheng ; Bo-Yeong Kang ; Hong-Gee Kim
Fuzzy and Possibilistic Models
A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions / Fernando Bobillo ; Miguel Delgado ; Juan Gomez-Romero
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Uncertainty Issues and Algorithms in Automating Process Connecting Web and User / Alan Eckhardt ; Tomas Horvath ; Dusan Maruscak ; Robert Novotny ; Peter Vojtas
Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach / Trevor P. Martin ; Yun Shen ; Ben Azvine
A Fuzzy Semantics for the Resource Description Framework / Mauro Mazzieri ; Aldo Franco Dragoni
Reasoning with the Fuzzy Description Logic f-SHIN: Theory, Practice and Applications / Giorgos Stoilos ; Giorgos Stamou ; Jeff Z. Pan ; Nick Simou ; Vassilis Tzouvaras
Inductive Reasoning and Machine Learning
Towards Machine Learning on the Semantic Web / Volker Tresp ; Markus Bundschus ; Achim Rettinger ; Yi Huang
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies / Joaquin Borrego-Diaz ; Antonia M. Chavez-Gonzalez
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Frequent Itemset Mining from Databases Including One Evidential Attribute / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane ; Khaled Mellouli
Evaluating Trustworthiness from Past Performances: Interval-Based Approaches / Jonathan Ben-Naim ; Henri Prade
A Comparative Study of Six Formal Models of Causal Ascription / Salem Benferhat ; Jean-Francois Bonnefon ; Philippe Chassy ; Rui Da Silva Neves ; Didier Dubois ; Florence Dupin de Saint-Cyr ; Daniel Kayser ; Farid Nouioua ; Sara Nouioua-Boutouhami ; Salma Smaoui
An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs / Karim Tabia
Transitive Observation-Based Causation, Saliency, and the Markov Condition
A Family of Tolerant Antidivision Operators for Database Fuzzy Querying / Patrick Bosc ; Olivier Pivert
Uncertainty Management for the Retrieval of Economic Information from Distributed Markets / Rene Brunner ; Felix Freitag ; Leandro Navarro
Loopy Propagation in a Probabilistic Description Logic / Fabio Gagliardi Cozman ; Rodrigo Bellizia Polastro
On the Performance of Fuzzy Data Querying / Mariela Curiel ; Claudia Gonzalez ; Leonid Tineo ; Angelica Urrutia
Tractable Reasoning with Bayesian Description Logics / Claudia d'Amato ; Nicola Fanizzi ; Thomas Lukasiewicz
Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases / Nicola Di Mauro ; Teresa M.A. Basile ; Stefano Ferilli ; Floriana Esposito
Fusing Uncertain Structured Spatial Information / Robert Jeansoulin
A Neuro Fuzzy Approach for Handling Structured Data / Alessio Ferone ; Alfredo Petrosino
A Framework for the Partial Evaluation of SPARQL Queries / Sergio Flesca ; Filippo Furfaro ; Andrea Pugliese
An Evolutionary Perspective on Approximate RDF Query Answering / Christophe Gueret ; Eyal Oren ; Stefan Schlobach ; Martijn Schut
Clustering Uncertain Data Via K-Medoids / Francesco Gullo ; Giovanni Ponti ; Andrea Tagarelli
Speeding Up the NRA Algorithm / Peter Gursky ; Peter Vojtas
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory / Ying Jiang ; Hui Dong
A Personalized Approach to Experience-Aware Service Ranking and Selection / Friederike Klan ; Birgitta Konig-Ries
Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results / Scott Langevin ; Marco Valtorta
Optimization of Queries over Interval Probabilistic Data / Matteo Magnani ; Danilo Montesi
Polynomial Time Queries over Inconsistent Databases / Cristian Molinaro
Using OBDDs for Efficient Query Evaluation on Probabilistic Databases / Dan Olteanu ; Jiewen Huang
A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs / Emad Saad
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
Scaling Most Probable World Computations in Probabilistic Logic Programs / Gerardo I. Simari ; Maria Vanina Martinez ; Amy Sliva ; V.S. Subrahmanian
Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs / Anbu Yue ; Weiru Liu ; Anthony Hunter
Author Index
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
A Citizen's Portal for the City of Bergen / Lars Marius Garshol
Visualisation and Representation of Topic Maps
TMchartis - A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps / Hendrik Thomas ; Rike Brecht ; Bernd Markscheffel ; Stephan Bode ; Karsten Spekowius
Open Educational Topic Maps: A Text-Oriented Perspective / Lars Johnsen
Using Topic Maps for Visually Exploring Various Data Sources in a Web-Based Environment / Eicke Godehardt ; Nadeem Bhatti
Collaborative Applications
Topincs Wiki - A Topic Maps Powered Wiki / Robert Cerny
Bookmap - A Topic Maps Based Web Application for Organising Bookmarks / Tobias Hofmann ; Martin Pradella
Standards Related Research
A Theory of Scope
Comparing Topic Maps Constraint Specification Languages / Giovani Rubert Librelotto ; Renato Preigschadt de Azevedo ; Jose Carlos Ramalho ; Pedro Rangel Henriques
Information Integration with Topic Maps
Knowledge-Oriented Middleware Using Topic Maps / Robert Barta
Large Scale Knowledge Representation of Distributed Biomedical Information / Volker Stumpflen ; Thorsten Barnickel ; Karamfilka Nenova
Versioning of Topic Map Templates and Scalability / Markus Ueberall ; Oswald Drobnik
Social Software with Topic Maps
Toward a Topic Maps Amanuensis / Jack Park
Cooperative Building of Multiple Points-of-View Topic Maps with Hypertopic / L'Hedi Zaher ; Jean-Pierre Cahier ; Claude Guittard
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange / Roy Lachica ; Dino Karabeg
Topic Maps Engines
Ruby Topic Maps / Benjamin Bock
Topic Maps and Dublin Core
Expressing Dublin Core in Topic Maps / Steve Pepper
Mapping Between the Dublin Core Abstract Model DCAM and the TMDM / Lutz Maicher
Information Management with Topic Maps
On Path-Centric Navigation and Search Techniques for Personal Knowledge Stored in Topic Maps / Jens Heider ; Julian Schutte
KAIFIA: Knowledge Assisted Intelligent Framework for Information Access / Atta Badii ; Chattun Lallah ; Oleksandr Kolomiyets ; Meng Zhu ; Michael Crouch
Open Space and Poster Sessions
Report from the Open Space and Poster Sessions
Author Index
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
Modeling, Understanding, and Interacting with Humans / Yoshihiko Nakamura
Humanoids, Brain and Cognitive Sciences / Giulio Sandini
Simulation
XPERSim: A Simulator for Robot Learning by Experimentation / Iman Awaad ; Beatriz Leon
From Simulated to Real Scenarios: A Framework for Multi-UAVs / Andrea Cesetti ; Adriano Mancini ; Emanuele Frontoni ; Primo Zingaretti ; Sauro Longhi
Simulation of Multi-Robot Teams with Flexible Level of Detail / Martin Friedmann ; Karen Petersen ; Oskar von Stryk
MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments / Matthias Kropff ; Christian Reinl ; Kim Listmann ; Katayon Radkhah ; Faisal Karim Shaikh ; Arthur Herzog ; Armin Strobel ; Daniel Jocobi
A Multi-agent 3D Simulation Environment for Clothing Industry / Rezia Molfino ; Enrico Carca ; Matteo Zoppi ; Fabio Bonsignorio ; Massimo Callegari ; Andrea Gabrielli ; Marco Principi
A Lunar Surface Operations Simulator / Hari Nayar ; Bob J. Balaram ; Jonathan Cameron ; Abhinandan Jain ; Christopher Lim ; Rudranarayan Mukherjee ; Stephen Peters ; Marc Pomerantz ; Leonard Reder ; Partha Shakkottai ; Stephen Wall
YARS: A Physical 3D Simulator for Evolving Controllers for Real Robots / Keyan Zahedi ; Arndt von Twickel ; Frank Pasemann
Programming
A Software Platform for Component Based RT-System Development: OpenRTM-Aist / Noriaki Ando ; Takashi Suehiro ; Tetsuo Kotoku
A Software System for Robotic Learning by Experimentation / Ronny Hartanto ; Bettriz Leon ; Paul Ploger
A Mobile Robt Control Framework: From Simulation to Reality / Stephen Balakrisky ; Frederick M. Proctor ; Christopher J. Scrapper ; Thomas R. Kramer
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots / Mirko Bordignon ; Lars Lindegaard Mikkelsen ; Ulrik Pagh Schultz
Real-Time Software for Mobile Robot Simulation and Experimentation in Cooperative Environments / Andreu Corominas Murtra ; Josep M. Mirats Tur ; Oscar Sandoval ; Alberto Sanfeliu
Knowledge Processing Middleware / Fredrik Heintz ; Jonas Kvarnstrom ; Patrick Doherty
Towards Automatied Online Diagnosis of Robt Navigation Software / Alexander Kleiner ; Gerald Steinbauer ; Franz Wotawa
A Common Framework for Co-operative Robotics: An Open, Fault Tolerant Architecture for Multi-league RoboCup Teams / Luis Mota ; Luis Paulo Reis
Multilevel Testing of Control Software for Teams of Autonomous Mobile Robots / Sebastian Petters ; Dirk Thomas
ppPDC Communication Framework - A New Tool for Distributed Robotics / Grezgorz Polakow ; Mieczyslaw Metzger
The Experimental Robotics Framework / Joao Xavier ; Helder Araujo
Applications
Where Am I? A Simulated GPS Sensor for Outdoor Robotic Applications / Benjamin Balaguer ; Stefano Carpin
An Emphatic Humanoid Robot with Emotional Latent Semantic Behavior / Antonio Chella ; Giovanni Pilato ; Rosario Sorbello ; Giorgio Vassallo ; Francesco Cinquegrani ; Salvatore Maria Anzalone
Developing Robot Motions by Simulated Touch Sensors / Fabio Dalla Libera ; Takashi Minato ; Enrico Pagello ; Emanuele Menegatti
3D Simulation of a Motorized Operation Microscope / Markus Finke ; Achim Schweikard
Real-Time Least-Square Fitting of Ellipses Applied to the RobotCub Platform / Nicola Greggio ; Luigi Manfredi ; Cecilia Laschi ; Paolo Dario ; Maria Chiara Carrozza
An Introduction to a New Commentator for RoboCup 3D Soccer Simulation / Amin Habibi Shahri
Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators / Francois Legras ; Arnaud Glad ; Olivier Simonin ; Francois Charpillet
Rescue Robot Navigation: Static Stability Estimation in Random Step Environment / Evgeni Magid ; Kentaro Ozawa ; Takashi Tsubouchi ; Eiji Koyanagi ; Tomoaki Yoshida
Performance Evaluation of Repeated Auctions for Robust Task Execution / Maitreyi Nanjanath ; Maria Gini
Conceptual Frameowork to Maintain Multiple and Floating Relationship among Coordinate Reference Systems for Robotics / Itsuki Noda ; Hiroki Shimora ; Hidehisa Akiyama
Conceptual Design of a Power Distribution Line Maintenance Robot Using a Developed CG Simulator and Experimental Robot System / Kiyoshi Tsukahara ; Yorihiko Tanaka ; Yingxin He ; Toshihisa Miyamoto ; Kyouichi Tatsuno
Author Index
Invited Talks
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
Virtual Reality as a Valuable Research Tool for Investigating Different Aspects of Spatial Cognition (Abstract) / Heinrich H. Bulthoff ; Jennifer L. Campos ; Tobias Meilinger
On the "Whats" and "Hows" of "Where": The Role of Salience in Spatial Descriptions (Abstract) / Laura A. Carlson
Learning about Space (Abstract) / Dedre Gentner
Spatial Orientation
Does Body Orientation Matter When Reasoning about Depicted or Described Scenes? / Marios N. Avraamides ; Stephanie Pantelidou
Spatial Memory and Spatial Orientation / Jonathan W. Kelly ; Timothy P. McNamara
Spatial Navigation
Map-Based Spatial Navigation: A Cortical Column Model for Action Planning / Louis-Emmanuel Martinet ; Jean-Baptiste Passot ; Benjamin Fouque ; Jean-Arcady Meyer ; Angelo Arleo
Efficient Wayfinding in Hierarchically Regionalized Spatial Environments / Thomas Reineking ; Christian Kohlhagen ; Christoph Zetzsche
Analyzing Interactions between Navigation Strategies Using a Computational Model of Action Selection / Laurent Dolle ; Mehdi Khamassi ; Benoit Girard ; Agnes Guillot ; Ricardo Chavarriaga
A Minimalistic Model of Visually Guided Obstacle Avoidance and Path Selection Behavior / Lorenz Gerstmayr ; Hanspeter A. Mallot ; Jan M. Wiener
Spatial Learning
Route Learning Strategies in a Virtual Cluttered Environment / Rebecca Hurlebaus ; Kai Basten
Learning with Virtual Verbal Displays: Effects of Interface Fidelity on Cognitive Map Development / Nicholas A. Giudice ; Jerome D. Tietz
Cognitive Surveying: A Framework for Mobile Data Collection, Analysis, and Visualization of Spatial Knowledge and Navigation Practices / Drew Dara-Abrams
Maps and Modalities
What Do Focus Maps Focus On? / Kai-Florian Richter ; Denise Peters ; Gregory Kuhnmunch ; Falko Schmid
Locating Oneself on a Map in Relation to Person Qualities and Map Characteristics / Lynn S. Liben ; Lauren J. Myers ; Kim A. Kastens
Conflicting Cues from Vision and Touch Can Impair Spatial Task Performance: Speculations on the Role of Spatial Ability in Reconciling Frames of Reference / Madeleine Keehner
Spatial Communication
Epistemic Actions in Science Education / Shruti Agrawal
An Influence Model for Reference Object Selection in Spatially Locative Phrases / Michael Barclay ; Antony Galton
Spatial Language
Tiered Models of Spatial Language Interpretation / Robert J. Ross
Perspective Use and Perspective Shift in Spatial Dialogue / Juliana Goschler ; Elena Andonova
Natural Language Meets Spatial Calculi / Joana Hois ; Oliver Kutz
Automatic Classification of Containment and Support Spatial Relations in English and Dutch / Kate Lockwood ; Andrew Lovett ; Ken Forbus
Similarity and Abstraction
Integral vs. Separable Attributes in Spatial Similarity Assessments / Konstantinos A. Nedas ; Max J. Egenhofer
Spatial Abstraction: Aspectualization, Coarsening, and Conceptual Classification / Lutz Frommberger ; Diedrich Wolter
Concepts and Reference Frames
Representing Concepts in Time / Martin Raubal
The Network of Reference Frames Theory: A Synthesis of Graphs and Cognitive Maps
Spatially Constrained Grammars for Mobile Intention Recognition / Peter Kiefer
Modeling Cross-Cultural Performance on the Visual Oddity Task / Kenneth Forbus
Spatial Modeling and Spatial Reasoning
Modelling Scenes Using the Activity within Them / Hannah M. Dee ; Roberto Fraile ; David C. Hogg ; Anthony G. Cohn
Pareto-Optimality of Cognitively Preferred Polygonal Hulls for Dot Patterns
Qualitative Reasoning about Convex Relations / Dominik Lucke ; Till Mossakowski
Author Index
Invited Talks
Virtual Reality as a Valuable Research Tool for Investigating Different Aspects of Spatial Cognition (Abstract) / Heinrich H. Bulthoff ; Jennifer L. Campos ; Tobias Meilinger
On the "Whats" and "Hows" of "Where": The Role of Salience in Spatial Descriptions (Abstract) / Laura A. Carlson
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
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
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau
Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz
Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft
Strictness and Termination
Effective Strictness Analysis with HORN Constraints / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard ; Ulrich Neumerkel
An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux
Semantics Abstraction
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto
Logic and Constraint Programming
Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu
Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara ; Roberta Gori ; Patricia M. Hill ; Enea Zaffanella
Applications of Extended Static Checking / K. Rustan M. Leino
Data Structures
Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu ; Ning Li ; Scott D. Stoller
Static Analyses of the Precision of Floating-Point Operations / Eric Goubault
Pointer Analysis
Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das ; Ben Liblit ; Manuel Fahndrich ; Jakob Rehof
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang ; Mary Jean Harrold
Model Checking
Parametric Optimization of Open Real-Time Systems / Farn Wang ; Hsu-Chun Yen
Embedding Chaos / Natalia Sidorova ; Martin Steffen
Elisabeth André, Laila Dybkjr, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Jörg Siekmann, Michael Weber, Institute of Electrical and Electronics Engineers., Laila Dybkjær
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008