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.
Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / / edited by Supratik Chakraborty, Jorge A. Navas
| Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / / edited by Supratik Chakraborty, Jorge A. Navas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 193 p. 221 illus., 30 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
| ISBN | 3-030-41600-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework -- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer -- Verifying Network Control Planes -- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme -- Incremental Minimization of Symbolic Automata -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain -- Ghost Code in Action: Automated Verification of a Symbolic Interpreter -- DCSynth: Guided Reactive Synthesis with Soft Requirements -- Refinement type contracts for verification of scientific investigative software -- solc-verify: A Modular Verifier for Solidity Smart Contracts -- Intersection and Rotation of Assumption Literals Boosts Bug-Finding. |
| Record Nr. | UNISA-996418204703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / / edited by Supratik Chakraborty, Jorge A. Navas
| Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / / edited by Supratik Chakraborty, Jorge A. Navas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 193 p. 221 illus., 30 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
| ISBN | 3-030-41600-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework -- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer -- Verifying Network Control Planes -- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme -- Incremental Minimization of Symbolic Automata -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain -- Ghost Code in Action: Automated Verification of a Symbolic Interpreter -- DCSynth: Guided Reactive Synthesis with Soft Requirements -- Refinement type contracts for verification of scientific investigative software -- solc-verify: A Modular Verifier for Solidity Smart Contracts -- Intersection and Rotation of Assumption Literals Boosts Bug-Finding. |
| Record Nr. | UNINA-9910409680203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer
| Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
| ISBN | 3-030-03592-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466175503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer
| Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
| ISBN | 3-030-03592-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349389603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Video Analytics. Face and Facial Expression Recognition and Audience Measurement [[electronic resource] ] : Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers / / edited by Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, Sebastiano Battiato, Qiang Ji
| Video Analytics. Face and Facial Expression Recognition and Audience Measurement [[electronic resource] ] : Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers / / edited by Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, Sebastiano Battiato, Qiang Ji |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 163 p. 86 illus.) |
| Disciplina | 006.42 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computers Artificial intelligence Computer security Special purpose computers Computer Imaging, Vision, Pattern Recognition and Graphics Information Systems and Communication Service Artificial Intelligence Systems and Data Security Special Purpose and Application-Based Systems |
| ISBN | 3-319-56687-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Person Re-Identification Dataset with RGB-D Camera in a Top-View Configuration -- Pervasive System for Consumer Behaviour Analysis in Retail Environments -- Estimation of task difficulty and habituation effect while visual manipulation using pupillary response -- Robust Probabilistic Logo Detection in Broadcast Videos for Audience Measurement -- Saliency Prediction for Visual Regions of Interest with Applications in Advertising -- Person Invariant Classification of Subtle Facial Expressions using Coded Movement Direction of Keypoints -- A Two-directional Two-Dimensional PCA Correlation Filter in the Phase Only Spectrum for Face Recognition in Video -- End to End Deep Learning for Single Step Real-time Facial Expression Recognition -- Comparative Study of Human Age Estimation Based on Hand-crafted and Deep Face Features -- Pose-Selective Max Pooling for Measuring Similarity -- Complementing SRCNN by Transformed Self-Exemplars. -Human Head Pose Estimation on SASE database using Random Hough Regression Forests -- Spatio-Temporal Pain Recognition in CNN-based Super-Resolved Facial Images. |
| Record Nr. | UNISA-996466188803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Video Analytics. Face and Facial Expression Recognition and Audience Measurement : Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers / / edited by Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, Sebastiano Battiato, Qiang Ji
| Video Analytics. Face and Facial Expression Recognition and Audience Measurement : Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers / / edited by Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, Sebastiano Battiato, Qiang Ji |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 163 p. 86 illus.) |
| Disciplina | 006.42 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computers Artificial intelligence Computer security Special purpose computers Computer Imaging, Vision, Pattern Recognition and Graphics Information Systems and Communication Service Artificial Intelligence Systems and Data Security Special Purpose and Application-Based Systems |
| ISBN | 3-319-56687-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Person Re-Identification Dataset with RGB-D Camera in a Top-View Configuration -- Pervasive System for Consumer Behaviour Analysis in Retail Environments -- Estimation of task difficulty and habituation effect while visual manipulation using pupillary response -- Robust Probabilistic Logo Detection in Broadcast Videos for Audience Measurement -- Saliency Prediction for Visual Regions of Interest with Applications in Advertising -- Person Invariant Classification of Subtle Facial Expressions using Coded Movement Direction of Keypoints -- A Two-directional Two-Dimensional PCA Correlation Filter in the Phase Only Spectrum for Face Recognition in Video -- End to End Deep Learning for Single Step Real-time Facial Expression Recognition -- Comparative Study of Human Age Estimation Based on Hand-crafted and Deep Face Features -- Pose-Selective Max Pooling for Measuring Similarity -- Complementing SRCNN by Transformed Self-Exemplars. -Human Head Pose Estimation on SASE database using Random Hough Regression Forests -- Spatio-Temporal Pain Recognition in CNN-based Super-Resolved Facial Images. |
| Record Nr. | UNINA-9910483535203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Virtual and Mixed Reality [[electronic resource] ] : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA USA, July, 19-24, 2009, Proceedings / / edited by Randall Shumaker
| Virtual and Mixed Reality [[electronic resource] ] : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA USA, July, 19-24, 2009, Proceedings / / edited by Randall Shumaker |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (652 p.) |
| Disciplina | 006.8 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
User interfaces (Computer systems) Computer engineering Computer graphics Artificial intelligence Special purpose computers Computer Communication Networks User Interfaces and Human Computer Interaction Computer Engineering Computer Graphics Artificial Intelligence Special Purpose and Application-Based Systems |
| ISBN | 3-642-02771-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interaction and Navigation in Virtual and Mixed Environments -- Design, Development and Evaluation of VR Environments -- Haptics and Tactile Interaction in VR -- Vision in Virtual and Mixed Reality -- VR Applications. |
| Record Nr. | UNISA-996465742203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Virtual and Mixed Reality : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA USA, July, 19-24, 2009, Proceedings / / edited by Randall Shumaker
| Virtual and Mixed Reality : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA USA, July, 19-24, 2009, Proceedings / / edited by Randall Shumaker |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (652 p.) |
| Disciplina | 006.8 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
User interfaces (Computer systems) Computer engineering Computer graphics Artificial intelligence Special purpose computers Computer Communication Networks User Interfaces and Human Computer Interaction Computer Engineering Computer Graphics Artificial Intelligence Special Purpose and Application-Based Systems |
| ISBN | 3-642-02771-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interaction and Navigation in Virtual and Mixed Environments -- Design, Development and Evaluation of VR Environments -- Haptics and Tactile Interaction in VR -- Vision in Virtual and Mixed Reality -- VR Applications. |
| Record Nr. | UNINA-9910483705203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Virtual and Mixed Reality - New Trends, Part I [[electronic resource] ] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / / edited by Randall Shumaker
| Virtual and Mixed Reality - New Trends, Part I [[electronic resource] ] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / / edited by Randall Shumaker |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (432 p. 273 illus., 203 illus. in color.) |
| Disciplina | 006.6869 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Computer graphics Artificial intelligence Special purpose computers Application software Multimedia information systems User Interfaces and Human Computer Interaction Computer Graphics Artificial Intelligence Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-642-22021-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465555403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Virtual and Mixed Reality - Systems and Applications [[electronic resource] ] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / / edited by Randall Shumaker
| Virtual and Mixed Reality - Systems and Applications [[electronic resource] ] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / / edited by Randall Shumaker |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XXVII, 436 p. 203 illus., 160 illus. in color.) |
| Disciplina | 005.437 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Computer graphics Artificial intelligence Special purpose computers Application software Multimedia information systems User Interfaces and Human Computer Interaction Computer Graphics Artificial Intelligence Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-642-22024-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Title Page -- Foreword -- Organization -- Table of Contents -- Part I: VR in Education, Training and Health -- Serious Games for Psychological Health Education -- Research Overview -- Pedagogical Foundations for Military Psychological Health Education -- Prevention as a Pedagogical Construct -- Virtual Learning Environments and Serious Games for as Psychological Health Education Tools -- Virtual Reality Exposure Training (VRET) -- Second Life as a Healing Space for Veterans -- "Walk in My Shoes" - A Serious Game for Psychological Health -- Games for Psychological Health: Key Design Recommendations -- Conclusions -- References -- Mixed Reality as a Means to Strengthen Post-stroke Rehabilitation -- Introduction -- Describing Stroke -- Motivations: Advantages of 'Virtual Rehabilitation' -- The Mixed Reality System -- Therapists Opinion and Virtual Rehabilitation Systems -- The Experiment Protocol -- Results and Discussion -- Conclusion and Future Works -- References -- A Virtual Experiment Platform for Mechanism Motion Cognitive Learning -- Introduction -- General Idea and System Structure for Virtual Experiment Platform -- Method and Technology -- Component Modeling and Information Mapping -- Virtual Experiment Scene Assembling and Calculation -- Visualization of Calculation Results -- Development and Application of the Virtual Experiment Platform for Mechanism Motion Cognitive Learning -- Development of the Virtual Experiment Platform for Mechanism Motion -- Assembly and Simulation of Simple Punching Machine Experiment -- Discussion -- Conclusion -- References -- Mechatronic Prototype for Rigid Endoscopy Simulation -- Introduction -- Mechatronic System -- Rigid Endoscope Model -- Position and Orientation of the Tracking System -- Collision Detection and Force Feedback -- Electronic System -- Computer Prototype -- Test and Results.
Conclusions and Future Work -- References -- Patterns of Gaming Preferences and Serious Game Effectiveness -- Introduction -- Technology Acceptance Model and Gender -- Applying the TAM to Serious Games -- Gender Differences in Game Playing Preferences and Behaviors -- Neurocognitive Basis for Preferences and Behaviors -- Psychosocial Basis for Preferences and Behaviors -- Present Study: Gender and Game Preferences -- Implications and Future Directions for Serious Games Designers and Researchers -- Designing Serious Games for Both Genders -- References -- Serious Games for the Therapy of the Posttraumatic Stress Disorder of Children and Adolescents -- Introduction -- Related Work -- Game Concept and Principles -- Game Design and Key Principles -- Effective Hierarchy -- User Tests -- Test Setup -- Results and Discussion -- Conclusion and Outlook -- References -- Virtual Reality as Knowledge Enhancement Tool for Musculoskeletal Pathology -- Introduction -- Contemporary Training Issues -- Visualisation Methods -- VR Interface -- Context Development -- Evaluation -- Conclusions -- References -- Study of Optimal Behavior in Complex Virtual Training Systems -- Introduction -- Manipulability Solid -- Useful Manipulability -- A New Algorithm for Optimal Positioning -- Interference Factor-IF -- Results -- Different Virtual Scenarios -- References -- Farming Education: A Case for Social Games in Learning -- Introduction -- Pervasiveness of Social Networks -- Pervasiveness of Social Games -- Popular Types of Social Games -- Energy Depletion Games -- Appointment Games -- Social Competition Games -- Linked to Friends -- Current Educational Examples -- Hidden Agenda -- EnerCities -- Farmville for Math Education -- Untapped Opportunities for Learning -- Motivation -- Connected Learning -- Inter-reliant Learning -- Reflection -- Conclusions -- References. Sample Size Estimation for Statistical Comparative Test of Training by Using Augmented Reality via Theoretical Formula and OCC Graphs: Aeronautical Case of a Component Assemblage -- Introduction -- We Propose to Use via Theoretical Formula and OCC Graphs -- Paper Preparation -- Data Analysis and Filtering -- Formulas -- Kolmogorov- Smirnov Test -- Confidence Interval -- Via Theoretical Formula and OCC Graphs -- Scenarios Developed by Formula -- Scenarios Developed by OCC Charts -- Results -- Conclusion -- References -- Enhancing English Learning Website Content and User Interface Functions Using Integrated Quality Assessment -- Introduction -- Methodology -- Population and Sample -- Weekly Use of the Website -- Instrumentation -- Data Collection -- Data Analysis -- Findings -- English Learning Website -- Quality Attributes of Website Content in Kano Model -- Quality Attributes of Interface Functions -- Importance Level and Satisfaction Level of the Interface Functions -- Discussion -- Conclusions -- References -- The Influence of Virtual World Interactions toward Driving Real World Behaviors -- Introduction -- Literature Review -- Virtual World Demonstration Framework -- User Centered Design -- Description of Framework Components -- Tour Stop 1: Energy Dashboard -- Tour Stop 2: Motion-Detected Low Voltage LED Lighting -- Tour Stop 3: HVAC Day/Night Modes -- Tour Stop 4: Wind Turbine and Solar Panel -- Method -- Results -- References -- Interactive Performance: Dramatic Improvisation in a Mixed Reality Environment for Learning -- Introduction -- Interactive Performance -- The Latina Empowerment Project -- Story Development and Training -- The Development Process -- Field Work -- Live Storyboarding -- Physical Setup -- Trial Runs -- Transition from Live Storyboarding to 3d Avatar System -- A Novel Control Mechanism -- Scenario-Specific Gestures. Designing the 3d Characters -- Test Configuration -- A Feedback System -- Interactive Performance Issues -- Experiments to Be Conducted -- References -- Emotions and Telerebabilitation: Pilot Clinical Trials for Virtual Telerebabilitation Application Using Haptic Device and Its Impact on Post Stroke Patients' Mood and Motivation -- Introduction/Background -- Materials and Methods -- Experimental Protocol -- System Description -- Measures -- Results -- Discussion -- Conclusions -- References -- An Interactive Multimedia System for Parkinson's Patient Rehabilitation -- Introduction -- Background -- User Needs and Strategies -- Physical Therapist Needs -- Patient Needs -- System Design -- System Structure -- Data Capture -- Sensory Cueing -- Sensory Feedback -- Conclusion -- References -- Part II: VR for Culture and Entertainment -- VClav 2.0 - System for Playing 3D Virtual Copy of a Historical Clavichord -- Introduction -- From VClav to VClav 2.0 -- Virtual Reality Hardware and Software -- 5DT Data Glove Ultra 14 -- Polhemus Patriot Tracker -- The Display -- NeoAxis Engine -- System for Playing a 3D Virtual Copy of a Historical Clavichord -- Modifying the 3ds Max Models to the NeoAxis Engine Format -- Definition of Physical Mechanisms of the Clavichord and a Hand -- Implementation of the Mechanism Controlling the Glove and the Tracker -- VClav2.0 in Use -- Conclusions -- References -- A System for Creating the Content for a Multi-sensory Theater -- Introduction -- Related Research -- Multi-sensory Theater and Content Editing System -- Devices and Theater Environment -- Content Editing Framework -- Editing Process -- Conclusion -- References -- Wearable Display System for Handing Down Intangible Cultural Heritage -- Introduction -- Kamisuki, Japanese Traditional Paper-Making -- Methodology -- Measuring Kamisuki Skills -- Wearable Display System. Experiment of Handing Down Kamisuki Skill -- Conclusion -- References -- Stroke-Based Semi-automatic Region of Interest Detection Algorithm for In-Situ Painting Recognition -- Introduction -- Overview of the Proposed Algorithm -- Proposed ROI Detection Algorithm for Robust Recognition -- A Stroke-Based Semi-automatic ROI Detection with Vertex Estimation -- In-Situ Painting Recognition Based on Local Binary Pattern -- Implementation and Experimental Results -- Implementation -- Experimental Results -- Conclusions and Future Works -- References -- Personalized Voice Assignment Techniques for Synchronized Scenario Speech Output in Entertainment Systems -- Introduction -- Quick Post-recording Tool -- Designing the Timing Information of Post-recordings -- Automatic Post-processing -- Prototype of Post-recording Tool -- Evaluation of Post-recording Tool -- Selecting Similar Speakers -- Estimation Method -- Optimization of Weighting Coefficients -- Voice Morphing -- Two Speakers' Voice Morphing -- Multiple Speakers' Voice Morphing -- Voice Morphing for Generating Specific Speakers -- Implementation of Synchronized Speech Output -- Discussion and Conclusion -- References -- Instant Movie Casting with Personality: Dive into the Movie System -- Introduction -- Related Works -- Summary of FCS -- Up-to-Date DIM Movie -- Conclusions -- References -- A Realtime and Direct-Touch Interaction System for the 3D Cultural Artifact Exhibition -- Introduction -- Related Work -- Multisensory System of the Cultural Heritage -- Direct-Touchable Multisensory System -- Direct-Touchable Multisensory Exhibition System -- Direct-Touch Interaction for the Stereoscopic Vision -- Digital Archive -- Graphic Modeling -- Haptic Modeling -- Results -- Conclusion and Future Work -- References. Digital Display Case: A Study on the Realization of a Virtual Transportation System for a Museum Collection. |
| Record Nr. | UNISA-996465550003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
