close
1.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Eric Goetz, Sujeet Shenoi, Jörg Siekmann, S. Shenoi
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2008
所蔵情報: loading…
5.

電子ブック

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

電子ブック

EB
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff, M. Birna van Riemsdijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
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
Invited Papers
7.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Ivan Bjerre Damgård, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1991
所蔵情報: loading…
21.

電子ブック

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

電子ブック

EB
Takashi Washio, Akihiro Inokuchi, Jörg Siekmann, Einoshin Suzuki, Kai Ming Ting
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
23.

電子ブック

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

電子ブック

EB
Bengt Nordström, Aarne Ranta, Jörg Siekmann, SpringerLink (Online service)
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
25.

電子ブック

EB
Frank P. M. Dignum, Rogier M. Eijk, Rogier M. van Eijk, Roberto Flores, Roberto A. Flores, Jörg Siekmann, Rogier van Eijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
26.

電子ブック

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

電子ブック

EB
Pierre M. Nugues, A. Bundy, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
An Overview of Language Processing / 1:
Linguistics and Language Processing / 1.1:
Applications of Language Processing / 1.2:
The Different Domains of Language Processing / 1.3:
Phonetics / 1.4:
Lexicon and Morphology / 1.5:
Syntax / 1.6:
Syntax as Defined by Noam Chomsky / 1.6.1:
Syntax as Relations and Dependencies / 1.6.2:
Semantics / 1.7:
Discourse and Dialogue / 1.8:
Why Speech and Language Processing Are Difficult / 1.9:
Ambiguity / 1.9.1:
Models and Their Implementation / 1.9.2:
An Example of Language Technology in Action: the Persona Project / 1.10:
Overview of Persona / 1.10.1:
The Persona's Modules / 1.10.2:
Further Reading / 1.11:
Corpus Processing Tools / 2:
Corpora / 2.1:
Types of Corpora / 2.1.1:
Corpora and Lexicon Building / 2.1.2:
Corpora as Knowledge Sources for the Linguist / 2.1.3:
Finite-State Automata / 2.2:
A Description / 2.2.1:
Mathematical Definition of Finite-State Automata / 2.2.2:
Finite-State Automata in Prolog / 2.2.3:
Deterministic and Nondeterministic Automata / 2.2.4:
Building a Deterministic Automata from a Nondeterministic One / 2.2.5:
Searching a String with a Finite-State Automaton / 2.2.6:
Operations on Finite-State Automata / 2.2.7:
Regular Expressions / 2.3:
Repetition Metacharacters / 2.3.1:
The Longest Match / 2.3.2:
Character Classes / 2.3.3:
Nonprintable Symbols or Positions / 2.3.4:
Union and Boolean Operators / 2.3.5:
Operator Combination and Precedence / 2.3.6:
Programming with Regular Expressions / 2.4:
Perl / 2.4.1:
Matching / 2.4.2:
Substitutions / 2.4.3:
Translating Characters / 2.4.4:
String Operators / 2.4.5:
Back References / 2.4.6:
Finding Concordances / 2.5:
Concordances in Prolog / 2.5.1:
Concordances in Perl / 2.5.2:
Approximate String Matching / 2.6:
Edit Operations / 2.6.1:
Minimum Edit Distance / 2.6.2:
Searching Edits in Prolog / 2.6.3:
Encoding, Entropy, and Annotation Schemes / 2.7:
Encoding Texts / 3.1:
Character Sets / 3.2:
Representing Characters / 3.2.1:
Unicode / 3.2.2:
The Unicode Encoding Schemes / 3.2.3:
Locales and Word Order / 3.3:
Presenting Time, Numerical Information, and Ordered Words / 3.3.1:
The Unicode Collation Algorithm / 3.3.2:
Markup Languages / 3.4:
A Brief Background / 3.4.1:
An Outline of XML / 3.4.2:
Writing a DTD / 3.4.3:
Writing an XML Document / 3.4.4:
Namespaces / 3.4.5:
Codes and Information Theory / 3.5:
Entropy / 3.5.1:
Huffman Encoding / 3.5.2:
Cross Entropy / 3.5.3:
Perplexity and Cross Perplexity / 3.5.4:
Entropy and Decision Trees / 3.6:
Decision Trees / 3.6.1:
Inducing Decision Trees Automatically / 3.6.2:
Counting Words / 3.7:
Counting Words and Word Sequences / 4.1:
Words and Tokens / 4.2:
What Is a Word? / 4.2.1:
Breaking a Text into Words: Tokenization / 4.2.2:
Tokenizing Texts / 4.3:
Tokenizing Texts in Prolog / 4.3.1:
Tokenizing Texts in Perl / 4.3.2:
N-grams / 4.4:
Some Definitions / 4.4.1:
Counting Unigrams in Prolog / 4.4.2:
Counting Unigrams with Perl / 4.4.3:
Counting Bigrams with Perl / 4.4.4:
Probabilistic Models of a Word Sequence / 4.5:
The Maximum Likelihood Estimation / 4.5.1:
Using ML Estimates with Nineteen Eighty-Four / 4.5.2:
Smoothing N-gram Probabilities / 4.6:
Sparse Data / 4.6.1:
Laplace's Rule / 4.6.2:
Good-Turing Estimation / 4.6.3:
Using N-grams of Variable Length / 4.7:
Linear Interpolation / 4.7.1:
Back-off / 4.7.2:
Quality of a Language Model / 4.8:
Intuitive Presentation / 4.8.1:
Entropy Rate / 4.8.2:
Perplexity / 4.8.3:
Collocations / 4.9:
Word Preference Measurements / 4.9.1:
Extracting Collocations with Perl / 4.9.2:
Application: Retrieval and Ranking of Documents on the Web / 4.10:
Words, Parts of Speech, and Morphology / 4.11:
Words / 5.1:
Parts of Speech / 5.1.1:
Features / 5.1.2:
Two Significant Parts of Speech: The Noun and the Verb / 5.1.3:
Lexicons / 5.2:
Encoding a Dictionary / 5.2.1:
Building a Trie in Prolog / 5.2.2:
Finding a Word in a Trie / 5.2.3:
Morphology / 5.3:
Morphemes / 5.3.1:
Morphs / 5.3.2:
Inflection and Derivation / 5.3.3:
Language Differences / 5.3.4:
Morphological Parsing / 5.4:
Two-Level Model of Morphology / 5.4.1:
Interpreting the Morphs / 5.4.2:
Finite-State Transducers / 5.4.3:
Conjugating a French Verb / 5.4.4:
Prolog Implementation / 5.4.5:
Operations on Finite-State Transducers / 5.4.6:
Morphological Rules / 5.5:
Two-Level Rules / 5.5.1:
Rules and Finite-State Transducers / 5.5.2:
Rule Composition: An Examplewith French Irregular Verbs / 5.5.3:
Application Examples / 5.6:
Part-of-Speech Tagging Using Rules / 5.7:
Resolving Part-of-Speech Ambiguity / 6.1:
A Manual Method / 6.1.1:
Which Method to Use to Automatically Assign Parts of Speech / 6.1.2:
Tagging with Rules / 6.2:
Brill's Tagger / 6.2.1:
Implementation in Prolog / 6.2.2:
Deriving Rules Automatically / 6.2.3:
Confusion Matrices / 6.2.4:
Unknown Words / 6.3:
Standardized Part-of-Speech Tagsets / 6.4:
Multilingual Part-of-Speech Tags / 6.4.1:
Parts of Speechfor English / 6.4.2:
An Annotation Schemefor Swedish / 6.4.3:
Part-of-Speech Tagging Using Stochastic Techniques / 6.5:
The Noisy Channel Model / 7.1:
Presentation / 7.1.1:
The N-gram Approximation / 7.1.2:
Tagging a Sentence / 7.1.3:
The Viterbi Algorithm: An Intuitive Presentation / 7.1.4:
Markov Models / 7.2:
Markov Chains / 7.2.1:
Hidden Markov Models / 7.2.2:
Three Fundamental Algorithms to Solve Problems with HMMs / 7.2.3:
The Forward Procedure / 7.2.4:
Viterbi Algorithm / 7.2.5:
The Backward Procedure / 7.2.6:
The Forward-Backward Algorithm / 7.2.7:
Tagging with Decision Trees / 7.3:
An Application of the Noisy Channel Model: Spell Checking / 7.4:
A Second Application: Language Models for Machine Translation / 7.6:
Parallel Corpora / 7.6.1:
Alignment / 7.6.2:
Translation / 7.6.3:
Phrase-Structure Grammars in Prolog / 7.7:
Using Prolog to Write Phrase-Structure Grammars / 8.1:
Representing Chomsky's Syntactic Formalism in Prolog / 8.2:
Constituents / 8.2.1:
Tree Structures / 8.2.2:
Phrase-Structure Rules / 8.2.3:
The Definite Clause Grammar (DCG) Notation / 8.2.4:
Parsing with DCGs / 8.3:
Translating DCGs into Prolog Clauses / 8.3.1:
Parsing and Generation / 8.3.2:
Left-Recursive Rules / 8.3.3:
Parsing Ambiguity / 8.4:
Using Variables / 8.5:
Gender and Number Agreement / 8.5.1:
Obtaining the Syntactic Structure / 8.5.2:
Application: Tokenizing Texts Using DCG Rules / 8.6:
Word Breaking / 8.6.1:
Recognition of Sentence Boundaries / 8.6.2:
Semantic Representation / 8.7:
A-Calculus / 8.7.1:
Embedding A-Expressions into DCG Rules / 8.7.2:
Semantic Composition of Verbs / 8.7.3:
An Application of Phrase-Structure Grammars and a Worked Example / 8.8:
Partial Parsing / 8.9:
Is Syntax Necessary? / 9.1:
Word Spotting and Template Matching / 9.2:
ELIZA / 9.2.1:
Word Spotting in Prolog / 9.2.2:
Multiword Detection / 9.3:
Multiwords / 9.3.1:
AStandard Multiword Annotation / 9.3.2:
Detecting Multiwords with Rules / 9.3.3:
Running the Program / 9.3.4:
Noun Groups and Verb Groups / 9.4:
Groups Versus Recursive Phrases / 9.4.1:
DCG Rules to Detect Noun Groups / 9.4.2:
DCG Rules to Detect Verb Groups / 9.4.3:
Running the Rules / 9.4.4:
Group Detection as a Tagging Problem / 9.5:
Tagging Gaps / 9.5.1:
Tagging Words / 9.5.2:
Using Symbolic Rules / 9.5.3:
Using Statistical Tagging / 9.5.4:
Cascading Partial Parsers / 9.6:
Elementary Analysis of Grammatical Functions / 9.7:
Main Functions / 9.7.1:
Extracting Other Groups / 9.7.2:
An Annotation Scheme for Groups in French / 9.8:
Application: The FASTUS System / 9.9:
The Message Understanding Conferences / 9.9.1:
The Syntactic Layers of the FASTUS System / 9.9.2:
Evaluationof Information Extraction Systems / 9.9.3:
Syntactic Formalisms / 9.10:
Introduction / 10.1:
Chomsky's Grammar in Syntactic Structures / 10.2:
Constituency: A Formal Definition / 10.2.1:
Transformations / 10.2.2:
Transformations and Movements / 10.2.3:
Gap Threading / 10.2.4:
Gap Threading to Parse Relative Clauses / 10.2.5:
Standardized Phrase Categories for English / 10.3:
Unification-Based Grammars / 10.4:
Representing Features in Prolog / 10.4.1:
A Formalism for Features and Rules / 10.4.3:
Features Organization / 10.4.4:
Features and Unification / 10.4.5:
A Unification Algorithm for Feature Structures / 10.4.6:
Dependency Grammars / 10.5:
Properties of a Dependency Graph / 10.5.1:
Valence / 10.5.3:
Dependencies and Functions / 10.5.4:
Parsing Techniques / 10.6:
Bottom-up Parsing / 11.1:
The Shift-Reduce Algorithm / 11.2.1:
Implementing Shift-Reduce Parsing in Prolog / 11.2.2:
Differences Between Bottom-up and Top-down Parsing / 11.2.3:
Chart Parsing / 11.3:
Backtracking and Efficiency / 11.3.1:
Structure of a Chart / 11.3.2:
The Active Chart / 11.3.3:
Modules of an Earley Parser / 11.3.4:
The Earley Algorithm in Prolog / 11.3.5:
The Earley Parser to Handle Left-Recursive Rules and Empty Symbols / 11.3.6:
Probabilistic Parsing of Context-Free Grammars / 11.4:
A Description of PCFGs / 11.5:
The Bottom-up Chart / 11.5.1:
The Cocke-Younger-Kasami Algorithm in Prolog / 11.5.2:
Adding Probabilities to the CYK Parser / 11.5.3:
Parser Evaluation / 11.6:
Constituency-Based Evaluation / 11.6.1:
Dependency-Based Evaluation / 11.6.2:
PerformanceofPCFG Parsing / 11.6.3:
Parsing Dependencies / 11.7:
Dependency Rules / 11.7.1:
Extending the Shift-Reduce Algorithm to Parse Dependencies / 11.7.2:
Nivre's Parser in Prolog / 11.7.3:
Finding Dependencies Using Constraints / 11.7.4:
Parsing Dependencies Using Statistical Techniques / 11.7.5:
Semantics and Predicate Logic / 11.8:
Language Meaning and Logic: An Illustrative Example / 12.1:
Formal Semantics / 12.3:
First-Order Predicate Calculus to Represent the State of Affairs / 12.4:
Variables and Constants / 12.4.1:
Predicates / 12.4.2:
Querying the Universe of Discourse / 12.5:
Mapping Phrases onto Logical Formulas / 12.6:
Representing Nouns and Adjectives / 12.6.1:
Representing Noun Groups / 12.6.2:
Representing Verbs and Prepositions / 12.6.3:
The Case of Determiners / 12.7:
Determiners and Logic Quantifiers / 12.7.1:
Translating Sentences Using Quantifiers / 12.7.2:
A General Representation of Sentences / 12.7.3:
Compositionality to Translate Phrases to Logical Forms / 12.8:
Translating the Noun Phrase / 12.8.1:
Translating the Verb Phrase / 12.8.2:
Augmenting the Database and Answering Questions / 12.9:
Declarations / 12.9.1:
Questions with Existential and Universal Quantifiers / 12.9.2:
Prolog and Unknown Predicates / 12.9.3:
Other Determiners and Questions / 12.9.4:
Application: The Spoken Language Translator / 12.10:
Translating Spoken Sentences / 12.10.1:
Compositional Semantics / 12.10.2:
Semantic Representation Transfer / 12.10.3:
Lexical Semantics / 12.11:
Beyond Formal Semantics / 13.1:
La langue etlaparole / 13.1.1:
Language and the Structure of the World / 13.1.2:
Lexical Structures / 13.2:
Some Basic Terms and Concepts / 13.2.1:
Ontological Organization / 13.2.2:
Lexical Classes and Relations / 13.2.3:
Semantic Networks / 13.2.4:
Building a Lexicon / 13.3:
The Lexicon and Word Senses / 13.3.1:
Verb Models / 13.3.2:
Definitions / 13.3.3:
An Example of Exhaustive Lexical Organization: Word Net / 13.4:
Nouns / 13.4.1:
Adjectives / 13.4.2:
Verbs / 13.4.3:
Automatic Word Sense Disambiguation / 13.5:
Senses as Tags / 13.5.1:
Associating a Word with a Context / 13.5.2:
Guessing the Topic / 13.5.3:
Naive Bayes / 13.5.4:
Using Constraints on Verbs / 13.5.5:
Using Dictionary Definitions / 13.5.6:
An Unsupervised Algorithm to Tag Senses / 13.5.7:
Senses and Languages / 13.5.8:
Case Grammars / 13.6:
Cases in Latin / 13.6.1:
Cases and Thematic Roles / 13.6.2:
Parsing with Cases / 13.6.3:
Semantic Grammars / 13.6.4:
Extending Case Grammars / 13.7:
Frame Net / 13.7.1:
A Statistical Method to Identify Semantic Roles / 13.7.2:
An Example of Case Grammar Application: EVAR / 13.8:
EVAR's Ontology and Syntactic Classes / 13.8.1:
Cases in EVAR / 13.8.2:
Discourse / 13.9:
Discourse: A Minimalist Definition / 14.1:
A Description of Discourse / 14.2.1:
Discourse Entities / 14.2.2:
References: An Application-Oriented View / 14.3:
References and Noun Phrases / 14.3.1:
Finding Names - Proper Nouns / 14.3.2:
Coreference / 14.4:
Anaphora / 14.4.1:
Solving Coreferences in an Example / 14.4.2:
A Standard Coreference Annotation / 14.4.3:
References: A More Formal View / 14.5:
Generating Discourse Entities: The Existential Quantifier / 14.5.1:
Retrieving Discourse Entities: Definite Descriptions / 14.5.2:
Generating Discourse Entities: The Universal Quantifier / 14.5.3:
Centering: A Theory on Discourse Structure / 14.6:
Solving Coreferences / 14.7:
A Simplistic Method: Using Syntactic and Semantic Compatibility / 14.7.1:
Solving Coreferences with Shallow Grammatical Information / 14.7.2:
Salience in a Multimodal Context / 14.7.3:
Using a Machine-Learning Technique to Resolve Coreferences / 14.7.4:
More Complex Phenomena: Ellipses / 14.7.5:
Discourse and Rhetoric / 14.8:
Ancient Rhetoric: An Outline / 14.8.1:
Rhetorical Structure Theory / 14.8.2:
Types of Relations / 14.8.3:
Implementing Rhetorical Structure Theory / 14.8.4:
Events and Time / 14.9:
Events / 14.9.1:
Event Types / 14.9.2:
Temporal Representation of Events / 14.9.3:
Events and Tenses / 14.9.4:
Time ML, an Annotation Scheme for Time and Events / 14.10:
Dialogue / 14.11:
Why a Dialogue? / 15.1:
Simple Dialogue Systems / 15.3:
Dialogue Systems Based on Automata / 15.3.1:
Dialogue Modeling / 15.3.2:
Speech Acts: A Theory of Language Interaction / 15.4:
Speech Acts and Human-Machine Dialogue / 15.5:
Speech Acts as a Tagging Model / 15.5.1:
Speech Acts Tags Used in the SUNDIAL Project / 15.5.2:
Dialogue Parsing / 15.5.3:
Interpreting Speech Acts / 15.5.4:
EVAR: A Dialogue Application Using Speech Acts / 15.5.5:
Taking Beliefs and Intentions into Account / 15.6:
Representing Mental States / 15.6.1:
The STRIPS Planning Algorithm / 15.6.2:
Causality / 15.6.3:
An Introduction to Prolog / 15.7:
A Short Background / A.1:
Basic Features of Prolog / A.2:
Facts / A.2.1:
Terms / A.2.2:
Queries / A.2.3:
Logical Variables / A.2.4:
Shared Variables / A.2.5:
Data Types in Prolog / A.2.6:
Rules / A.2.7:
Running a Program / A.3:
Unification / A.4:
Substitution and Instances / A.4.1:
Terms and Unification / A.4.2:
The Herbrand Unification Algorithm / A.4.3:
Example / A.4.4:
The Occurs-Check / A.4.5:
Resolution / A.5:
Modus Ponens / A.5.1:
A Resolution Algorithm / A.5.2:
Derivation Trees and Backtracking / A.5.3:
Tracing and Debugging / A.6:
Cuts, Negation, and Related Predicates / A.7:
Cuts / A.7.1:
Negation / A.7.2:
The once/1 Predicate / A.7.3:
Lists / A.8:
Some List-Handling Predicates / A.9:
The member/2 Predicate / A.9.1:
The append/3 Predicate / A.9.2:
The delete/3 Predicate / A.9.3:
The intersection/3 Predicate / A.9.4:
The reverse/2 Predicate / A.9.5:
The Mode of an Argument / A.9.6:
Operators and Arithmetic / A.10:
Operators / A.10.1:
Arithmetic Operations / A.10.2:
Comparison Operators / A.10.3:
Lists and Arithmetic: The length/2 Predicate / A.10.4:
Lists and Comparison: The quicksort/2 Predicate / A.10.5:
Some Other Built-in Predicates / A.11:
Type Predicates / A.11.1:
Term Manipulation Predicates / A.11.2:
Handling Run-Time Errors and Exceptions / A.12:
Dynamically Accessing and Updatingthe Database / A.13:
Accessing a Clause: The clause/2 Predicate / A.13.1:
Dynamic and Static Predicates / A.13.2:
Adding a Clause: The asserta/1 and 1 assertz/Predicates / A.13.3:
Removing Clauses: The retract/1 and abolish/2 Predicates / A.13.4:
Handling Unknown Predicates / A.13.5:
All-Solutions Predicates / A.14:
Fundamental Search Algorithms / A.15:
Representing the Graph / A.15.1:
Depth-First Search / A.15.2:
Breadth-First Search / A.15.3:
A* Search / A.15.4:
Input/Output / A.16:
Reading and Writing Characters with Edinburgh Prolog / A.16.1:
Reading and Writing Terms with Edinburgh Prolog / A.16.2:
Opening and Closing Files with Edinburgh Prolog / A.16.3:
Reading and Writing Characters with Standard Prolog / A.16.4:
Reading and Writing Terms with Standard Prolog / A.16.5:
Opening and Closing Files with Standard Prolog / A.16.6:
Writing Loops / A.16.7:
Developing Prolog Programs / A.17:
Presentation Style / A.17.1:
Improving Programs / A.17.2:
Index
References
An Overview of Language Processing / 1:
Linguistics and Language Processing / 1.1:
Applications of Language Processing / 1.2:
28.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Artificial Intelligence and Soft Computing IASTED International Conference, Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
所蔵情報: loading…
目次情報: 続きを見る
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
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
Fuzzy Cognitive Maps Learning through Swarm Intelligence / E.I. Papageorgiou ; K.E. Parsopoulos ; P.P. Groumpos
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
Multi-neural Network Approach for Classification of Brainstem Evoked Response Auditory / Mariusz Rybnik ; Saliou Diouf ; Abdennasser Chebira ; Veronique Amarger
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
34.

電子ブック

EB
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, Lofti A. Zadeh
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
35.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
WEA 2003, Klaus Jensen, Jörg Siekmann, Marian Margraf, Monaldo Mastrolilli, José D. P. Rolim
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
47.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma, Jörg Siekmann, Luís Caldas de Oliveira, Vera Lúcia Strube de Lima
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
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
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
55.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, Geun Sik Jo, Jörg Siekmann, Lakhmi Jain
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
63.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Paul Bra, Paul M. E. de Bra, Peter Brusilovsky, Ricardo Conejo, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
67.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
TSD 2008, Jörg Siekmann, Petr Sojka, Ales Horak, Ivan Kopecek
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
78.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Michael Kerckhove, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
85.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Christian Freksa, C. Freksa, Peter Gärdenfors, Nora S. Newcombe, Jörg Siekmann, Stefan Wölfl
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
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
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
89.

電子ブック

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

電子ブック

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

電子ブック

EB
International Static Analysis Symposium, Patrick Cousot, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
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
Abstract Model Checking
Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani ; Aurore Collomb-Annichini ; Yassine Lakhnech ; Mihaela Sighireanu
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi ; Elisa Quintarelli
Invited Talk
Language-Based Security: WhatÆs Needed and Why (Abstract) / Fred Schneider
Mobility
A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani
An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi ; Sergio Maffeis
Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret
Invited Session on Security
Static Analysis and Software Assurance (Abstract) / David Wagner
A Type and Effect Analysis of Security Protocols (Abstract) / Andrew D. Gordon ; Alan Jeffrey
Abstracting Cryptographic Protocols by Prolog Rules (Abstract) / Bruno Blanchet
Security-Typed Languages and Distributed Computation (Abstract) / Andrew Myers
Author Index
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
92.

電子ブック

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

電子ブック

EB
Tu-Bao Ho, Jörg Siekmann, Zhi-Hua Zhou
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
94.

電子ブック

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

電子ブック

EB
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
所蔵情報: loading…
96.

電子ブック

EB
Pascal Hentenryck, Jörg Siekmann, Pascal Van Hentenryck
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
97.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Bernhard Beckert, Jaime G. Carbonell, Reiner Hähnle, Peter H. Schmitt, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼