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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼