Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
AIIA 2018 – Advances in Artificial Intelligence [[electronic resource] ] : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings / / edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso
| AIIA 2018 – Advances in Artificial Intelligence [[electronic resource] ] : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings / / edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 566 p. 131 illus., 73 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Mathematical logic User interfaces (Computer systems) Application software Artificial Intelligence Information Storage and Retrieval Mathematical Logic and Formal Languages User Interfaces and Human Computer Interaction Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-03840-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents and Multi-Agent Systems -- Applications of AI -- Knowledge Engineering, Ontologies and the Semantic Web -- Knowledge Representation and Reasoning -- Machine Learning -- Natural Language Processing -- Planning and Scheduling -- Recommendation Systems and Decision Making. |
| Record Nr. | UNISA-996466286403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIIA 2018 – Advances in Artificial Intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings / / edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso
| AIIA 2018 – Advances in Artificial Intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings / / edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 566 p. 131 illus., 73 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Logic, Symbolic and mathematical User interfaces (Computer systems) Application software Artificial Intelligence Information Storage and Retrieval Mathematical Logic and Formal Languages User Interfaces and Human Computer Interaction Computer Appl. in Administrative Data Processing |
| ISBN |
9783030038403
3030038408 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents and Multi-Agent Systems -- Applications of AI -- Knowledge Engineering, Ontologies and the Semantic Web -- Knowledge Representation and Reasoning -- Machine Learning -- Natural Language Processing -- Planning and Scheduling -- Recommendation Systems and Decision Making. |
| Record Nr. | UNINA-9910349394403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors)
| Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 416 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-85776-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents -- Context Model for Multi-Agent System Reconfiguration -- NN-Based Multiagent Platform for Testing Investing Strategies -- Towards Agent-Oriented Relevant Information -- The Agent Modeling Language (AMOLA) -- Natural Language Processing and Text Analysis -- Tailoring the Interpretation of Spatial Utterances for Playing a Board Game -- ASAP- An Advanced System for Assessing Chat Participants -- Using Text Segmentation to Enhance the Cluster Hypothesis -- Multilingual Plagiarism Detection -- Dealing with Spoken Requests in a Multimodal Question Answering System -- Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study -- Machine Learning and Information Retrieval -- Optimising Predictive Control Based on Neural Models -- Prototypes Based Relational Learning -- Robustness Analysis of SARSA(?): Different Models of Reward and Initialisation -- Thematic Segment Retrieval Revisited -- Knowledge Representation and Reasoning -- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models -- Mapping Properties of Heterogeneous Ontologies -- A Logical Approach to Dynamic Role-Based Access Control -- Interpolative Boolean Logic -- Abstract Argumentation Scheme Frameworks -- Constraints, Heuristics, and Search -- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models -- Incorporating Learning in Grid-Based Randomized SAT Solving -- Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm -- Heuristic Hill-Climbing as a Markov Process -- DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs -- Applications -- Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier -- Logical Analysis of Mappings between Medical Classification Systems -- Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis -- Toward Expert Knowledge Representation for Automatic Breast Cancer Detection -- Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting -- Trilateration Analysis for Movement Planning in a Group of Mobile Robots -- Posters -- Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process -- Classification Model for Estimation of Risk Factors in Cardiological Diagnostics -- A Hybrid Approach to Distributed Constraint Satisfaction -- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches -- Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations -- Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods -- A Social and Emotional Model for Obtaining Believable Emergent Behaviors -- A Learning Approach to Early Bug Prediction in Deployed Software -- Evolutionary Decision Support System for Stock Market Trading -- Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models. |
| Record Nr. | UNISA-996466372203316 |
| Berlin, Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors)
| Artificial intelligence : methodology, systems, and applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2006 ; proceedings / / Danail Dochev, Marco Pistore, Paolo Traverso (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 416 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-85776-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents -- Context Model for Multi-Agent System Reconfiguration -- NN-Based Multiagent Platform for Testing Investing Strategies -- Towards Agent-Oriented Relevant Information -- The Agent Modeling Language (AMOLA) -- Natural Language Processing and Text Analysis -- Tailoring the Interpretation of Spatial Utterances for Playing a Board Game -- ASAP- An Advanced System for Assessing Chat Participants -- Using Text Segmentation to Enhance the Cluster Hypothesis -- Multilingual Plagiarism Detection -- Dealing with Spoken Requests in a Multimodal Question Answering System -- Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study -- Machine Learning and Information Retrieval -- Optimising Predictive Control Based on Neural Models -- Prototypes Based Relational Learning -- Robustness Analysis of SARSA(?): Different Models of Reward and Initialisation -- Thematic Segment Retrieval Revisited -- Knowledge Representation and Reasoning -- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models -- Mapping Properties of Heterogeneous Ontologies -- A Logical Approach to Dynamic Role-Based Access Control -- Interpolative Boolean Logic -- Abstract Argumentation Scheme Frameworks -- Constraints, Heuristics, and Search -- Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models -- Incorporating Learning in Grid-Based Randomized SAT Solving -- Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm -- Heuristic Hill-Climbing as a Markov Process -- DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs -- Applications -- Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier -- Logical Analysis of Mappings between Medical Classification Systems -- Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis -- Toward Expert Knowledge Representation for Automatic Breast Cancer Detection -- Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting -- Trilateration Analysis for Movement Planning in a Group of Mobile Robots -- Posters -- Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process -- Classification Model for Estimation of Risk Factors in Cardiological Diagnostics -- A Hybrid Approach to Distributed Constraint Satisfaction -- Interleaved Alldifferent Constraints: CSP vs. SAT Approaches -- Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations -- Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods -- A Social and Emotional Model for Obtaining Believable Emergent Behaviors -- A Learning Approach to Early Bug Prediction in Deployed Software -- Evolutionary Decision Support System for Stock Market Trading -- Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models. |
| Record Nr. | UNINA-9910484237203321 |
| Berlin, Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso
| Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso |
| Autore | Ghallab Malik |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 |
| Descrizione fisica | 1 online resource (664 p.) |
| Disciplina | 658.5 |
| Altri autori (Persone) |
NauDana S
TraversoPaolo |
| Collana | The Morgan Kaufmann Series in Artificial Intelligence |
| Soggetto topico | Production planning - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-00721-8
9786611007218 0-08-049051-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Automated Planning Theory and Practice; Copyright Page; Contents; About the Authors; Foreword; Preface; Table of Notation; Chapter 1. Introduction and Overview; 1.1 First Intuitions on Planning; 1.2 Forms of Planning; 1.3 Domain-Independent Planning; 1.4 Conceptual Model for Planning; 1.5 Restricted Model; 1.6 Extended Models; 1.7 A Running Example: Dock-Worker Robots; Part I: Classical Planning; Chapter 2. Representations for Classical Planning; 2.1 Introduction; 2.2 Set-Theoretic Representation; 2.3 Classical Representation; 2.4 Extending the Classical Representation
2.5 State-Variable Representation2.6 Comparisons; 2.7 Discussion and Historical Remarks; 2.8 Exercises; Chapter 3. Complexity of Classical Planning; 3.1 Introduction; 3.2 Preliminaries; 3.3 Decidability and Undecidability Results; 3.4 Complexity Results; 3.5 Limitations; 3.6 Discussion and Historical Remarks; 3.7 Exercises; Chapter 4. State-Space Planning; 4.1 Introduction; 4.2 Forward Search; 4.3 Backward Search; 4.4 The STRIPS Algorithm; 4.5 Domain-Specific State-Space Planning; 4.6 Discussion and Historical Remarks; 4.7 Exercises; Chapter 5. Plan-Space Planning; 5.1 Introduction 5.2 The Search Space of Partial Plans5.3 Solution Plans; 5.4 Algorithms for Plan-Space Planning; 5.5 Extensions; 5.6 Plan-Space versus State-Space Planning; 5.7 Discussion and Historical Remarks; 5.8 Exercises; Part II: Neoclassical Planning; Chapter 6. Planning-Graph Techniques; 6.1 Introduction; 6.2 Planning Graphs; 6.3 The Graphplan Planner; 6.4 Extensions and Improvements of Graphplan; 6.5 Discussion and Historical Remarks; 6.6 Exercises; Chapter 7. Propositional Satisfiability Techniques; 7.1 Introduction; 7.2 Planning Problems as Satisfiability Problems; 7.3 Planning by Satisfiability 7.4 Different Encodings7.5 Discussion and Historical Remarks; 7.6 Exercises; Chapter 8. Constraint Satisfaction Techniques; 8.1 Introduction; 8.2 Constraint Satisfaction Problems; 8.3 Planning Problems as CSPs; 8.4 CSP Techniques and Algorithms; 8.5 Extended CSP Models; 8.6 CSP Techniques in Planning; 8.7 Discussion and Historical Remarks; 8.8 Exercises; Part III: Heuristics and Control Strategies; Chapter 9. Heuristics in Planning; 9.1 Introduction; 9.2 Design Principle for Heuristics: Relaxation; 9.3 Heuristics for State-Space Planning; 9.4 Heuristics for Plan-Space Planning 9.5 Discussion and Historical Remarks9.6 Exercises; Chapter 10. Control Rules in Planning; 10.1 Introduction; 10.2 Simple Temporal Logic; 10.3 Progression; 10.4 Planning Procedure; 10.5 Extensions; 10.6 Extended Goals; 10.7 Discussion and Historical Remarks; 10.8 Exercises; Chapter 11. Hierarchical Task Network Planning; 11.1 Introduction; 11.2 STN Planning; 11.3 Total-Order STN Planning; 11.4 Partial-Order STN Planning; 11.5 HTN Planning; 11.6 Comparisons; 11.7 Extensions; 11.8 Extended Goals; 11.9 Discussion and Historical Remarks; 11.10 Exercises Chapter 12. Control Strategies in Deductive Planning |
| Record Nr. | UNINA-9910450502803321 |
Ghallab Malik
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso
| Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso |
| Autore | Ghallab Malik |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 |
| Descrizione fisica | 1 online resource (664 p.) |
| Disciplina | 658.5 |
| Altri autori (Persone) |
NauDana S
TraversoPaolo |
| Collana | The Morgan Kaufmann Series in Artificial Intelligence |
| Soggetto topico | Production planning - Data processing |
| ISBN | 9780080490519 (Electronic Book) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Automated Planning Theory and Practice; Copyright Page; Contents; About the Authors; Foreword; Preface; Table of Notation; Chapter 1. Introduction and Overview; 1.1 First Intuitions on Planning; 1.2 Forms of Planning; 1.3 Domain-Independent Planning; 1.4 Conceptual Model for Planning; 1.5 Restricted Model; 1.6 Extended Models; 1.7 A Running Example: Dock-Worker Robots; Part I: Classical Planning; Chapter 2. Representations for Classical Planning; 2.1 Introduction; 2.2 Set-Theoretic Representation; 2.3 Classical Representation; 2.4 Extending the Classical Representation
2.5 State-Variable Representation2.6 Comparisons; 2.7 Discussion and Historical Remarks; 2.8 Exercises; Chapter 3. Complexity of Classical Planning; 3.1 Introduction; 3.2 Preliminaries; 3.3 Decidability and Undecidability Results; 3.4 Complexity Results; 3.5 Limitations; 3.6 Discussion and Historical Remarks; 3.7 Exercises; Chapter 4. State-Space Planning; 4.1 Introduction; 4.2 Forward Search; 4.3 Backward Search; 4.4 The STRIPS Algorithm; 4.5 Domain-Specific State-Space Planning; 4.6 Discussion and Historical Remarks; 4.7 Exercises; Chapter 5. Plan-Space Planning; 5.1 Introduction 5.2 The Search Space of Partial Plans5.3 Solution Plans; 5.4 Algorithms for Plan-Space Planning; 5.5 Extensions; 5.6 Plan-Space versus State-Space Planning; 5.7 Discussion and Historical Remarks; 5.8 Exercises; Part II: Neoclassical Planning; Chapter 6. Planning-Graph Techniques; 6.1 Introduction; 6.2 Planning Graphs; 6.3 The Graphplan Planner; 6.4 Extensions and Improvements of Graphplan; 6.5 Discussion and Historical Remarks; 6.6 Exercises; Chapter 7. Propositional Satisfiability Techniques; 7.1 Introduction; 7.2 Planning Problems as Satisfiability Problems; 7.3 Planning by Satisfiability 7.4 Different Encodings7.5 Discussion and Historical Remarks; 7.6 Exercises; Chapter 8. Constraint Satisfaction Techniques; 8.1 Introduction; 8.2 Constraint Satisfaction Problems; 8.3 Planning Problems as CSPs; 8.4 CSP Techniques and Algorithms; 8.5 Extended CSP Models; 8.6 CSP Techniques in Planning; 8.7 Discussion and Historical Remarks; 8.8 Exercises; Part III: Heuristics and Control Strategies; Chapter 9. Heuristics in Planning; 9.1 Introduction; 9.2 Design Principle for Heuristics: Relaxation; 9.3 Heuristics for State-Space Planning; 9.4 Heuristics for Plan-Space Planning 9.5 Discussion and Historical Remarks9.6 Exercises; Chapter 10. Control Rules in Planning; 10.1 Introduction; 10.2 Simple Temporal Logic; 10.3 Progression; 10.4 Planning Procedure; 10.5 Extensions; 10.6 Extended Goals; 10.7 Discussion and Historical Remarks; 10.8 Exercises; Chapter 11. Hierarchical Task Network Planning; 11.1 Introduction; 11.2 STN Planning; 11.3 Total-Order STN Planning; 11.4 Partial-Order STN Planning; 11.5 HTN Planning; 11.6 Comparisons; 11.7 Extensions; 11.8 Extended Goals; 11.9 Discussion and Historical Remarks; 11.10 Exercises Chapter 12. Control Strategies in Deductive Planning |
| Record Nr. | UNINA-9910783135503321 |
|
Ghallab Malik
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Future Internet - FIS 2008 [[electronic resource] ] : First Future Internet Symposium Vienna, Austria, September 28-30, 2008 Revised Selected Papers / / edited by John Domingue, Paolo Traverso
| Future Internet - FIS 2008 [[electronic resource] ] : First Future Internet Symposium Vienna, Austria, September 28-30, 2008 Revised Selected Papers / / edited by John Domingue, Paolo Traverso |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 185 p.) |
| Disciplina | 005.11 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer programming
Computer communication systems Application software Management information systems Computer science Multimedia information systems Information storage and retrieval Programming Techniques Computer Communication Networks Information Systems Applications (incl. Internet) Management of Computing and Information Systems Multimedia Information Systems Information Storage and Retrieval |
| ISBN | 3-642-00985-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Nature of Our Digital Universe -- The Internet of Things in an Enterprise Context -- Security-By-Contract for the Future Internet -- e-Services in a Networked World: From Semantics to Pragmatics -- Hierarchical Modelling and an Approximate Analysis of Parallel Queues Models to the NGN SCEs -- A First Step Towards Stream Reasoning -- Environmental Content Creation and Visualisation in the ‘Future Internet’ -- Having Services “YourWay!”: Towards User-Centric Composition of Mobile Services -- Beyond Usability: A New Frontier for User-Centered Design of “Future Internet” Services -- Unlock Your Data: The Case of MyTag -- A Framework for Selecting Trusted Semantic Web Services -- Future Internet Collaboration Workflow -- Towards an Ontological Foundation for Services Science -- Challenges and Opportunities for More Meaningful and Sustainable Internet Systems. |
| Record Nr. | UNISA-996465939503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Future Internet - FIS 2008 : First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008 : revised selected papers / / John Domingue, Dieter Fensel, Paolo Traverso (eds.)
| Future Internet - FIS 2008 : First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008 : revised selected papers / / John Domingue, Dieter Fensel, Paolo Traverso (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2009 |
| Descrizione fisica | 1 online resource (X, 185 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
DomingueJohn
FenselDieter TraversoPaolo |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Internet
Wide area networks (Computer networks) |
| ISBN | 3-642-00985-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Nature of Our Digital Universe -- The Internet of Things in an Enterprise Context -- Security-By-Contract for the Future Internet -- e-Services in a Networked World: From Semantics to Pragmatics -- Hierarchical Modelling and an Approximate Analysis of Parallel Queues Models to the NGN SCEs -- A First Step Towards Stream Reasoning -- Environmental Content Creation and Visualisation in the ‘Future Internet’ -- Having Services “YourWay!”: Towards User-Centric Composition of Mobile Services -- Beyond Usability: A New Frontier for User-Centered Design of “Future Internet” Services -- Unlock Your Data: The Case of MyTag -- A Framework for Selecting Trusted Semantic Web Services -- Future Internet Collaboration Workflow -- Towards an Ontological Foundation for Services Science -- Challenges and Opportunities for More Meaningful and Sustainable Internet Systems. |
| Record Nr. | UNINA-9910483468403321 |
| Berlin ; ; New York, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Semantic Web: Research and Applications [[electronic resource] ] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings / / edited by Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Simperl
| The Semantic Web: Research and Applications [[electronic resource] ] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings / / edited by Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Simperl |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XXII, 961 p.) |
| Disciplina | 621.39 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer engineering
Computer communication systems Application software Software engineering Data mining Information storage and retrieval Computer Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-642-02121-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tonight’s Dessert: Semantic Web Layer Cakes -- Discovering and Building Semantic Models of Web Sources -- Video Semantics and the Sensor Web -- Keys, Money and Mobile Phone -- Research Track -- Querying Trust in RDF Data with tSPARQL -- RadSem: Semantic Annotation and Retrieval for Medical Images -- Semanta – Semantic Email Made Easy -- The Sile Model — A Semantic File System Infrastructure for the Desktop -- Who the Heck Is the Father of Bob? -- Benchmarking Fulltext Search Performance of RDF Stores -- A Heuristics Framework for Semantic Subscription Processing -- Towards Linguistically Grounded Ontologies -- Frame Detection over the Semantic Web -- Word Sense Disambiguation for XML Structure Feature Generation -- Improving Ontology Matching Using Meta-level Learning -- Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences -- Using Partial Reference Alignments to Align Ontologies -- Semantic Matching Using the UMLS -- Embedding Knowledge Patterns into OWL -- A Core Ontology of Knowledge Acquisition -- ONTOCOM Revisited: Towards Accurate Cost Predictions for Ontology Development Projects -- Ranking Approximate Answers to Semantic Web Queries -- Tempus Fugit -- Representing, Querying and Transforming Social Networks with RDF/SPARQL -- Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL -- ReduCE: A Reduced Coulomb Energy Network Method for Approximate Classification -- Hybrid Reasoning with Forest Logic Programs -- SIM-DLA: A Novel Semantic Similarity Measure for Description Logics Reducing Inter-concept to Inter-instance Similarity -- Decidability of with Transitive Closure of Roles -- FO(ID) as an Extension of DL with Rules -- A Tableau Algorithm for Handling Inconsistency in OWL -- How to Trace and Revise Identities -- Concept Search -- Semantic Wiki Search -- Applying Semantic Social Graphs to Disambiguate Identity References -- Middleware for Automated Implementation of Security Protocols -- Can RDB2RDF Tools Feasibily Expose Large Science Archives for Data Integration? -- A Flexible API and Editor for SKOS -- An Ontology of Resources: Solving the Identity Crisis -- Mining Semantic Descriptions of Bioinformatics Web Resources from the Literature -- Hybrid Adaptive Web Service Selection with SAWSDL-MX and WSDL-Analyzer -- Enhancing Service Selection by Semantic QoS -- Towards an Agent Based Approach for Verification of OWL-S Process Models -- Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing -- Neighborhood-Based Tag Prediction -- User Evaluation Study of a Tagging Approach to Semantic Mapping -- Fuzzy Annotation of Web Data Tables Driven by a Domain Ontology -- An Integrated Approach to Extracting Ontological Structures from Folksonomies -- Reducing Ambiguity in Tagging Systems with Folksonomy Search Expansion -- Semantic Web In-Use Track -- Ontology-Based Service Discovery Front-End Interface for GloServ -- A Resource List Management Tool for Undergraduate Students Based on Linked Open Data Principles -- SCOVO: Using Statistics on the Web of Data -- Media Meets Semantic Web – How the BBC Uses DBpedia and Linked Data to Make Connections -- Creating Digital Resources from Legacy Documents: An Experience Report from the Biosystematics Domain -- Collaborative Ocean Resource Interoperability: Multi-use of Ocean Data on the Semantic Web -- ONKI SKOS Server for Publishing and Utilizing SKOS Vocabularies and Ontologies as Services -- Ontology Libraries for Production Use: The Finnish Ontology Library Service ONKI -- Demo Track -- SAscha: Supporting the Italian Public Cooperation System with a Rich Internet Application for Semantic Web Services -- Folksonomy Enrichment and Search -- K-Tools: Towards Semantic Knowledge Management -- The XMediaBox: Sensemaking through the Use of Knowledge Lenses -- Controlled Natural Language for Semantic Annotation -- Multilingual and Localization Support for Ontologies -- WSMX 1.0: A Further Step toward a Complete Semantic Execution Environment -- MoKi: The Enterprise Modelling Wiki -- The Personal Knowledge Workbench of the NEPOMUK Semantic Desktop -- Utilizing Semantics in the Production of iTV Shows -- Knowledge Applications for Life Events: How the Dutch Government Informs the Public about Rights and Duties in the Netherlands -- CultureSampo: A National Publication System of Cultural Heritage on the Semantic Web 2.0 -- A Rule System for Querying Persistent RDFS Data -- RaDON — Repair and Diagnosis in Ontology Networks -- Supporting the Reuse of Global Unique Identifiers for Individuals in OWL/RDF Knowledge Bases -- Modeling and Enforcement of Business Policies on Process Models with Maestro -- A Reasoning-Based Support Tool for Ontology Mapping Evaluation -- Semanta – Semantic Email in Action -- KiWi – A Platform for Semantic Social Software (Demonstration) -- Pattern-Based Annotation of HTML-Streams -- OntoComP: A Protégé Plugin for Completing OWL Ontologies -- Demo: HistoryViz – Visualizing Events and Relations Extracted from Wikipedia -- Ontology Evolution with Evolva -- Cupboard – A Place to Expose Your Ontologies to Applications and the Community -- PhD Symposium -- Effects of Using a Research Context Ontology for Query Expansion -- Towards a Semantic Infrastructure for User Generated Mobile Services -- Relational Databases as Semantic Web Endpoints -- The Relevance of Reasoning and Alignment Incoherence in Ontology Matching -- Towards a Semantic Service Broker for Business Grid -- Evolva: A Comprehensive Approach to Ontology Evolution -- A Context-Aware Approach for Integrating Semantic Web Technologies onto Mobile Devices -- Dealing with Inconsistencies in DL-Lite Ontologies. |
| Record Nr. | UNISA-996466248903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing – ICSOC 2005 [[electronic resource] ] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso
| Service-Oriented Computing – ICSOC 2005 [[electronic resource] ] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XVIII, 606 p.) |
| Disciplina | 004.6 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Application software Information storage and retrieval Software engineering Computers and civilization Information technology Business—Data processing Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Computers and Society IT in Business |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration -- Service Design and Validation -- Pattern-Based Specification and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service Compliance Across Releases -- Towards a Classification of Web Service Feature Interactions -- Service Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints -- On Service Discovery Process Types -- SPiDeR: P2P-Based Web Service Discovery -- An Approach to Temporal-Aware Procurement of Web Services -- Service Composition and Aggregation -- Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm -- Modeling and Analyzing Context-Aware Composition of Services -- Towards Semi-automated Workflow-Based Aggregation of Web Services -- Choreography and Orchestration: A Synergic Approach for System Design -- Service Monitoring -- PerfSONAR: A Service Oriented Architecture for Multi-domain Network Monitoring -- DySOA: Making Service Systems Self-adaptive -- Towards Dynamic Monitoring of WS-BPEL Processes -- Service Management -- Template-Based Automated Service Provisioning – Supporting the Agreement-Driven Service Life-Cycle -- Proactive Management of Service Instance Pools for Meeting Service Level Agreements -- Adaptive Component Management Service in ScudWare Middleware for Smart Vehicle Space -- Semantic Web and Grid Services -- Semantic Caching for Web Services -- ODEGSG Framework, Knowledge-Based Annotation and Design of Grid Services -- Implicit Service Calls in ActiveXML Through OWL-S -- Semantic Tuplespace -- Security, Exception Handling, and SLAs -- Trust-Based Secure Workflow Path Construction -- Reputation-Based Service Level Agreements for Web Services -- Handling Faults in Decentralized Orchestration of Composite Web Services -- What’s in an Agreement?An Analysis and an Extension of WS-Agreement -- Industrial and Application Papers -- SOA in the Real World – Experiences -- Service-Oriented Design: The Roots -- A Service Oriented Architecture for Deploying and Managing Network Services -- Demo Papers -- Dynamo: Dynamic Monitoring of WS-BPEL Processes -- WofBPEL: A Tool for Automated Analysis of BPEL Processes -- OpenWS-Transaction: Enabling Reliable Web Service Transactions -- ASTRO: Supporting Composition and Execution of Web Services -- Demonstrating Dynamic Configuration and Execution of Web Processes -- Short Papers -- Programming and Compiling Web Services in GPSL -- Semantic Management of Web Services -- Composition of Services with Nondeterministic Observable Behavior -- Efficient and Transparent Web-Services Selection -- An Approach to Parameterizing Web Service Flows -- Dynamic Policy Management on Business Performance Management Architecture -- A Lightweight Formal Framework for Service-Oriented Applications Design -- A MDE Approach for Power Distribution Service Development -- Semantic Web Services for Activity-Based Computing -- The Price of Services -- Managing End-to-End Lifecycle of Global Service Policies -- Applying a Web Engineering Method to Design Web Services -- An Architecture for Unifying Web Services Authentication and Authorization -- Specifying Web Service Compositions on the Basis of Natural Language Requests. |
| Record Nr. | UNISA-996465527103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Com...
