Advanced Information Systems Engineering [[electronic resource] ] : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings / / edited by Juhani Iivari, Kalle Lyytinen, Matti Rossi |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XII, 396 p.) |
Disciplina | 005.1/0285/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Computer simulation Database management Theory of Computation Software Engineering/Programming and Operating Systems Simulation and Modeling Database Management Software Engineering Models and Principles |
ISBN | 3-540-49290-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process improvement — The way forward -- A method for explaining the behaviour of conceptual models -- COLOR-X: Linguistically-based event modeling: A general approach to dynamic modeling -- Supporting transaction design in conceptual modelling of information systems -- Facet models for problem analysis -- A framework for requirements analysis using automated reasoning -- Towards a deeper understanding of quality in requirements engineering -- Modelling inheritance, composition and relationship links between objects, object versions and class versions -- Hypertext version management in an actor-based framework -- Modelling ways-of-working -- Modelling communication between cooperative systems -- Challenges in applying objects to large systems -- Feasibility of flexible information modelling support -- A meta-model for business rules in systems analysis -- Metrics in method engineering -- InfoHarness: Use of automatically generated metadata for search and retrieval of heterogeneous information -- Designing the user interface on top of a conceptual model -- Graphical representation and manipulation of complex structures based on a formal model -- Providing integrated support for multiple development notations -- A federated approach to tool integration -- Domain knowledge reuse during requirements engineering -- Strategies and techniques: Reusable artifacts for the construction of database management systems -- The impact of new information architectures on industry and government transformation -- Standard transformations for the normalization of ER schemata -- The rapid application and database development (RADD) workbench — A comfortable database design tool -- A psychological study on the use of relationship concept Some preliminary findings -- Alignment of software quality and service quality -- A guide for software maintenance evaluation: Experience report -- Natural naming in software development: Feedback from practitioners. |
Record Nr. | UNISA-996466144503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Additive Manufacturing, Modeling Systems and 3D Prototyping [[electronic resource] ] : Proceedings of the AHFE 2019 International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 24-28, 2019, Washington D.C., USA / / edited by Massimo Di Nicolantonio, Emilio Rossi, Thomas Alexander |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (673 pages) |
Disciplina | 620.0042 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Manufactures
Computer-aided engineering Computer engineering Internet of things Embedded computer systems Engineering design Robotics Automation Computer simulation Manufacturing, Machines, Tools, Processes Computer-Aided Engineering (CAD, CAE) and Design Cyber-physical systems, IoT Engineering Design Robotics and Automation Simulation and Modeling |
ISBN | 3-030-20216-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910366609503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Analysis and Design of Deep Foundations [[electronic resource] ] : Proceedings of the 1st GeoMEast International Congress and Exhibition, Egypt 2017 on Sustainable Civil Infrastructures / / edited by Murad Abu-Farsakh, Khalid Alshibli, Anand Puppala |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (304 pages) : illustrations (some color), graphs |
Disciplina | 624.15 |
Collana | Sustainable Civil Infrastructures |
Soggetto topico |
Geotechnical engineering
Engineering geology Engineering—Geology Foundations Hydraulics Computer simulation Buildings—Design and construction Building Construction Engineering, Architectural Engineering design Geotechnical Engineering & Applied Earth Sciences Geoengineering, Foundations, Hydraulics Simulation and Modeling Building Construction and Design Engineering Design |
ISBN | 3-319-61642-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Evaluation of Ultimate Pile Compression Capacity from Static Pile Load Test Results -- 2 Behavior of Piles in Two Soil Layers, Sand Overlaying Compressible Clay (Case Study) -- 3 Laboratory Study of Plug Length Development and Bearing Capacity of Pipe Pile Models Embedded within Partially Saturated Cohesionless Soils -- 4 Bearing capacity and settlement of pile based on cone loading test -- 5 Experimental Study on Ultimate Capacity of Large Screw Piles in Beijing. |
Record Nr. | UNINA-9910299377303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Applied Self-Organizing Systems [[electronic resource] /] / edited by Mikhail Prokopenko |
Edizione | [2nd ed. 2013.] |
Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (425 p.) |
Disciplina | 003.7 |
Collana | Advanced Information and Knowledge Processing |
Soggetto topico |
Artificial intelligence
Pattern recognition Computer simulation Computers Computer organization Artificial Intelligence Pattern Recognition Simulation and Modeling Theory of Computation Computer Systems Organization and Communication Networks |
ISBN | 1-4471-5113-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Part I – Introduction -- Design versus Self-Organization -- Foundations and Formalizations of Self-Organization -- Part II – Distributed Management and Control -- Self-Organizing Traffic Lights: A Realistic Simulation -- Self-Organizing Sensing of Structures: Monitoring a Space Vehicle Thermal Protection System -- Decentralized Decision Making for Ad-hoc Multi-Agent Systems -- Learning Mutation Strategies for Evaluation and Adaptation of a Simulated Snakebot -- Self-Organization as Phase Transition in Decentralized Groups of Robots: A Study Based on Boltzmann Entropy -- Distributed Control of Microscopic Robots in Biomedical Applications -- Part III – Self-Organizing Computation -- Self-Organizing Computing Systems: Songline Processors -- Self-Organizing Nomadic Services in Grids -- Immune System Support for Scheduling -- Formal Immune Networks: Self-Organization and Real-World Applications -- A Model for Self-Organizing Data Visualization using Decentralized Multi-Agent Systems -- Memristive Excitable Automata: Structural Dynamics, Phenomenology, Localizations and Conductive Pathways -- Part IV – Discussion -- A Turing Test for Emergence -- Index. |
Record Nr. | UNINA-9910741142003321 |
London : , : Springer London : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Applied Strategic Mine Planning [[electronic resource] /] / edited by Roussos Dimitrakopoulos |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 800 p. 385 illus., 262 illus. in color.) |
Disciplina | 553 |
Soggetto topico |
Mineral resources
Industrial engineering Production engineering Probabilities Computer simulation Mineral Resources Industrial and Production Engineering Probability Theory and Stochastic Processes Simulation and Modeling |
ISBN | 3-319-69320-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I. Early Concerns and Innovative Responses -- II. Increasing Value and Technical Risk Management -- III. Simultaneous Optimisation of Multiple Operations and Processes -- IV. Stochastic Simulation for Strategic Mine Planning -- V. Other Aspects of Open Pit Mine Planning Optimisation of Underground Mine Planning -- VI. Advances and Applications in Mine Optimisation -- VII. Contributions to Strategic Innovation. |
Record Nr. | UNINA-9910299407903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Architectural Geometry 2014 [[electronic resource] /] / edited by Philippe Block, Jan Knippers, Niloy J. Mitra, Wenping Wang |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina |
003.3
510 516.36 519 |
Soggetto topico |
Applied mathematics
Engineering mathematics Computer simulation Computer-aided engineering Differential geometry Civil engineering Mathematics Applications of Mathematics Simulation and Modeling Computer-Aided Engineering (CAD, CAE) and Design Differential Geometry Civil Engineering Mathematics in Art and Architecture |
ISBN | 3-319-11418-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Simulation of Aggregate Structures in Architecture: Distinct-Element Modeling of Synthetic Non-Convex Granulates: K. Dierichs and A. Menges -- Post-Tensioned Discrete Concrete Elements Developed For Free-Form Construction: O.E. Pedersen, N.M. Larsen and D. Pigram -- Modular Fibrous Morphologies: Computational Design, Simulation and Fabrication of Differentiated Fibre Composite Building Components: S. Parascho, M. Dörstelmann, M. Prado, A. Menges and J. Knippers -- Application of Reinforced Structural Glass-Timber Elements in Architecture: Ph. Eversmann, P. Ehret, Ch. Louter and M. Santarsiero -- Gaudi’s Puffy Jacket: A Method for the Implementation of Fabric Slump Casting in the Construction of Thin-Shell Funicular Vault Structures: I. Maxwell and D. Pigram -- New Opportunities to Optimize Structural Designs in Metal by Using Additive Manufacturing: Salomé Galjaard, S. Hofman and S. Ren -- Interactive Modeling of Architectural Freeform Structures - Combining Geometry with Fabrication and Statics: C. Jiang, C. Tang, M. Tomicic, J. Wallner and H. Pottmann -- Computational Integration of Robotic Fabrication, Architectural Geometry and Structural Design for Biomimetic Lightweight Timber Plate Shells: O.D. Krieg, T. Schwinn, A. Menges, J.-M. Li, J. Knippers, A. Schmitt and V. Schwieger -- Form Finding of Twisted Interlaced Structures: a Hybrid Approach: S.S. Nabaei, O. Baverel and Y. Weinand -- A Graph-Based Approach for Discovery of Stable Deconstruction Sequences: L. Beyeler, J.-Ch. Bazin and E. Whiting -- Advanced Topology Optimization Methods for Conceptual Architectural Design: N. Aage, O. Amir, A. Clausen, L. Hadar, D. Maier and Asbjørn Søndergaard -- Computational Design and Construction of Notch-free Reciprocal Frame Structures: N. Mellado, P. Chi-Wing Fu, P. Song, X. Yan and N. Mitra -- Surface Panelization Using Periodic Conformal Maps -- T. Röhrig, S. Sechelmann, A. Kycia and M. Fleischmann -- Geometrical Solution Space for Grid Structure with Double-Walled Edge: R. Kalvo and A. Sevtsuk -- Designing Symmetric Derivatives of the Miura-ori: P. Sareh and S.D. Guest -- Algorithmic Optimization of the Cross-Section Distribution Across a Steel Framework Structure: L.Lombard, J. Lalande and F. Consigny -- Planar Panelisation with Extreme Repetition: M. Huard, M. Eigensatz and P. Bompas -- Interlocking Folded Plate - Integrated Mechanical Attachment for Structural Timber Panels: Ch. Robeller, A. Stitic, P. Mayencourt and Y. Weinand -- The Ongreening Pavilion: J. Harding, W. Pearson, H. Lewis and S. Melville -- The Caterpillar Gallery: Quadric Surface Theorems, Parametric Design and Digital Fabrication: R. Narvaez-Rodriguez, A. Martin-Pastor and M. Aguilar-Alejandre -- Constructing Complex Geometries: A Case Study on the Cité des Civilisations du Vin in Bordeaux, France: B. Soquier, R. Mizzi, D. Dureisseix and J.-B. Valette -- The Geometry of the Error: Y. Adilenidou -- LAR-ABC, a Representation of Architectural Geometry From Concept of Spaces, to Design of Building Fabric, to Construction Simulation: A. Paoluzzi, E. Marino and F. Spini -- Offset Folding: A. Stahr and H. Loeschke. |
Record Nr. | UNINA-9910299764403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Artificial Intelligence - IBERAMIA 2010 [[electronic resource] ] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings / / edited by Angel Kuri-Morales, Guillermo R. Simari |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XX, 604 p. 174 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer engineering
Computer simulation Natural language processing (Computer science) Artificial intelligence Application software Computer Engineering Simulation and Modeling Natural Language Processing (NLP) Artificial Intelligence Information Systems Applications (incl. Internet) |
Soggetto genere / forma | Kongress. |
ISBN |
1-280-39032-8
9786613568243 3-642-16952-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Artificial Intelligence in Education -- Building and Assessing Intelligent Tutoring Systems with an e-Learning 2.0 Authoring System -- Cognitive Modeling and Human Reasoning -- Robotic Orientation towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary Computation -- Improving Efficiency of a Genetic Algorithm Applied to Multi-robot Tactic Operation -- VarMOPSO: Multi-Objective Particle Swarm Optimization with Variable Population Size -- A Multi-Objective Genetic Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using Visual Metrics to Selecting ICA Basis for Image Compression: A Comparative Study -- Knowledge Acquisition and Ontologies -- Extending DeLP with Attack and Support for Defeasible Rules -- An Argumentation Machinery to Reason over Inconsistent Ontologies -- Knowledge Representation and Reasoning -- Planning under the Uncertainty of the Technical Analysis of Stock Markets -- From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening -- Nondeterministic Planning for Generating Interactive Plots -- Diagnosis of Medical Images Using an Expert System -- Revision of CTL Models -- Applying H m Heuristics in Petri Nets Reachability Problem -- Machine Learning and Data Mining -- Sampling for Information and Structure Preservation When Mining Large Data Bases -- Improved Graph-Based Metrics for Clustering High-Dimensional Datasets -- Empirical Evaluation of Ranking Prediction Methods for Gene Expression Data Classification -- Defining a Problem-State Representation with Data Mining within a Hyper-heuristic Model Which Solves 2D Irregular Bin Packing Problems -- Digital Web Library of a Website with Document Clustering -- Learning to Discover Faulty Spots in cDNA Microarrays -- A First Machine Learning Approach to Pronominal Anaphora Resolution in Basque -- Multiagent Systems -- A Holonic Multi-agent Model for Oil Industry Supply Chain Management -- Moral Minds as Multiple-Layer Organizations -- Making Electronic Contracting Operational and Trustworthy -- Normative Reasoning with an Adaptive Self-interested Agent Model Based on Markov Decision Processes -- Query-Based Argumentation in Agent Programming -- Studying the Emergence of Money by Means of Swarm Multi-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts in Portuguese -- Improved Text Generation Using N-gram Statistics -- Text-to-Text Surface Realisation Using Dependency-Tree Replacement -- A Comparative Analysis of Centering-Based Algorithms for Pronoun Resolution in Portuguese -- Specification and Evaluation of a Spanish Conversational System Using Dialogue Models -- A Half-Way Semantics toward Collaborative Behavior in Interagent Dialogues -- Using Sentence Semantic Similarity Based on WordNet in Recognizing Textual Entailment -- Complementing RRL for Dialogue Summarisation -- A Multi-dimensional Annotation Scheme for Behaviour in Dialogues -- Neural Networks -- Evolving Artificial Neural Networks Using Adaptive Differential Evolution -- A Recurrent Neural Network for Channel Assignment Problems in Mobiles -- SVM Based Feature Selection: Why Are We Using the Dual? -- Pattern Recognition Using Spiking Neurons and Firing Rates -- Planning and Scheduling -- Interaction Graphs for Multivariate Binary Data -- Probabilistic Reasoning -- Detecting Drifts in Multi-Issue Negotiations -- A Logic Based Algorithm for Solving Probabilistic Satisfiability -- On-Line Viscosity Virtual Sensor for Optimizing the Combustion in Power Plants -- Evaluating an Affective Student Model for Intelligent Learning Environments -- Dynamic Reward Shaping: Training a Robot by Voice -- A Visual Grammar for Face Detection -- Recognition of Actions That Imply Movement by Means of a Mobile Device with a Single Built-in Accelerometer -- Development of a Tour–Guide Robot Using Dialogue Models and a Cognitive Architecture -- Detection of Multiple People by a Mobile Robot in Dynamic Indoor Environments -- A Motion Planner for Finding an Object in 3D Environments with a Mobile Manipulator Robot Equipped with a Limited Sensor -- A Driving Assistance System for Navigation in Urban Environments -- An Efficient Strategy for Fast Object Search Considering the Robot’s Perceptual Limitations -- Search -- Building Feature-Based Maps with B-splines for Integrated Exploration -- A Heuristic Approach for Constructing Ternary Covering Arrays Using Trinomial Coefficients -- Controlling Search in Constrained-Object Models -- Semantic Web -- Adaptivity and Interoperability in e-Learning Using Ontologies. |
Record Nr. | UNISA-996465677303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Intelligence - IBERAMIA 2010 [[electronic resource] ] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings / / edited by Angel Kuri-Morales, Guillermo R. Simari |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XX, 604 p. 174 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer engineering
Computer simulation Natural language processing (Computer science) Artificial intelligence Application software Computer Engineering Simulation and Modeling Natural Language Processing (NLP) Artificial Intelligence Information Systems Applications (incl. Internet) |
Soggetto genere / forma | Kongress. |
ISBN |
1-280-39032-8
9786613568243 3-642-16952-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Artificial Intelligence in Education -- Building and Assessing Intelligent Tutoring Systems with an e-Learning 2.0 Authoring System -- Cognitive Modeling and Human Reasoning -- Robotic Orientation towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary Computation -- Improving Efficiency of a Genetic Algorithm Applied to Multi-robot Tactic Operation -- VarMOPSO: Multi-Objective Particle Swarm Optimization with Variable Population Size -- A Multi-Objective Genetic Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using Visual Metrics to Selecting ICA Basis for Image Compression: A Comparative Study -- Knowledge Acquisition and Ontologies -- Extending DeLP with Attack and Support for Defeasible Rules -- An Argumentation Machinery to Reason over Inconsistent Ontologies -- Knowledge Representation and Reasoning -- Planning under the Uncertainty of the Technical Analysis of Stock Markets -- From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening -- Nondeterministic Planning for Generating Interactive Plots -- Diagnosis of Medical Images Using an Expert System -- Revision of CTL Models -- Applying H m Heuristics in Petri Nets Reachability Problem -- Machine Learning and Data Mining -- Sampling for Information and Structure Preservation When Mining Large Data Bases -- Improved Graph-Based Metrics for Clustering High-Dimensional Datasets -- Empirical Evaluation of Ranking Prediction Methods for Gene Expression Data Classification -- Defining a Problem-State Representation with Data Mining within a Hyper-heuristic Model Which Solves 2D Irregular Bin Packing Problems -- Digital Web Library of a Website with Document Clustering -- Learning to Discover Faulty Spots in cDNA Microarrays -- A First Machine Learning Approach to Pronominal Anaphora Resolution in Basque -- Multiagent Systems -- A Holonic Multi-agent Model for Oil Industry Supply Chain Management -- Moral Minds as Multiple-Layer Organizations -- Making Electronic Contracting Operational and Trustworthy -- Normative Reasoning with an Adaptive Self-interested Agent Model Based on Markov Decision Processes -- Query-Based Argumentation in Agent Programming -- Studying the Emergence of Money by Means of Swarm Multi-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts in Portuguese -- Improved Text Generation Using N-gram Statistics -- Text-to-Text Surface Realisation Using Dependency-Tree Replacement -- A Comparative Analysis of Centering-Based Algorithms for Pronoun Resolution in Portuguese -- Specification and Evaluation of a Spanish Conversational System Using Dialogue Models -- A Half-Way Semantics toward Collaborative Behavior in Interagent Dialogues -- Using Sentence Semantic Similarity Based on WordNet in Recognizing Textual Entailment -- Complementing RRL for Dialogue Summarisation -- A Multi-dimensional Annotation Scheme for Behaviour in Dialogues -- Neural Networks -- Evolving Artificial Neural Networks Using Adaptive Differential Evolution -- A Recurrent Neural Network for Channel Assignment Problems in Mobiles -- SVM Based Feature Selection: Why Are We Using the Dual? -- Pattern Recognition Using Spiking Neurons and Firing Rates -- Planning and Scheduling -- Interaction Graphs for Multivariate Binary Data -- Probabilistic Reasoning -- Detecting Drifts in Multi-Issue Negotiations -- A Logic Based Algorithm for Solving Probabilistic Satisfiability -- On-Line Viscosity Virtual Sensor for Optimizing the Combustion in Power Plants -- Evaluating an Affective Student Model for Intelligent Learning Environments -- Dynamic Reward Shaping: Training a Robot by Voice -- A Visual Grammar for Face Detection -- Recognition of Actions That Imply Movement by Means of a Mobile Device with a Single Built-in Accelerometer -- Development of a Tour–Guide Robot Using Dialogue Models and a Cognitive Architecture -- Detection of Multiple People by a Mobile Robot in Dynamic Indoor Environments -- A Motion Planner for Finding an Object in 3D Environments with a Mobile Manipulator Robot Equipped with a Limited Sensor -- A Driving Assistance System for Navigation in Urban Environments -- An Efficient Strategy for Fast Object Search Considering the Robot’s Perceptual Limitations -- Search -- Building Feature-Based Maps with B-splines for Integrated Exploration -- A Heuristic Approach for Constructing Ternary Covering Arrays Using Trinomial Coefficients -- Controlling Search in Constrained-Object Models -- Semantic Web -- Adaptivity and Interoperability in e-Learning Using Ontologies. |
Record Nr. | UNINA-9910483585503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Artificial Intelligence -- IBERAMIA 2012 [[electronic resource] ] : 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012, Proceedings / / edited by Juan Pavón, Néstor D. Duque-Méndez, Rubén Fuentes Fernández |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XXVI, 745 p. 240 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Computer simulation Application software Pattern recognition Computers Artificial Intelligence Natural Language Processing (NLP) Simulation and Modeling Information Systems Applications (incl. Internet) Pattern Recognition Computation by Abstract Devices |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-34654-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge Representation and Reasoning -- Information and Knowledge Processing -- Knowledge Discovery and Data Mining -- Machine Learning -- Bio-inspired Computing -- Fuzzy Systems -- Modelling and Simulation -- Ambient Intelligence -- Multi-Agent Systems -- Human-Computer Interaction -- Natural Language Processing -- Computer Vision & Robotics -- Planning and Scheduling -- AI in Education -- Knowledge Engineering and Applications. |
Record Nr. | UNISA-996466311103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Artificial Intelligence -- IBERAMIA 2014 [[electronic resource] ] : 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings / / edited by Ana L.C. Bazzan, Karim Pichara |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXV, 807 p. 214 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Computer simulation Application software Pattern recognition Computers Artificial Intelligence Natural Language Processing (NLP) Simulation and Modeling Information Systems Applications (incl. Internet) Pattern Recognition Computation by Abstract Devices |
ISBN | 3-319-12027-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge engineering -- Knowledge representation and probabilistic reasoning -- Planning and scheduling -- Natural language processing -- Machine learning -- Fuzzy systems -- Knowledge discovery and data mining -- Bio-inspired computing -- Robotics -- Vision -- Multi-agent systems -- Agent-based modeling and simulation -- AI in education, affective computing, and human-computer interaction -- Applications of AI -- Ambient intelligence. |
Record Nr. | UNINA-9910484423003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|