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.
3D Research Challenges in Cultural Heritage II [[electronic resource] ] : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage / / edited by Sander Münster, Mieke Pfarr-Harfst, Piotr Kuroczyński, Marinos Ioannides
| 3D Research Challenges in Cultural Heritage II [[electronic resource] ] : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage / / edited by Sander Münster, Mieke Pfarr-Harfst, Piotr Kuroczyński, Marinos Ioannides |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 289 p. 132 illus.) |
| Disciplina | 930.10113 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Multimedia information systems
Application software Optical data processing Computer graphics Database management Information storage and retrieval Multimedia Information Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer Graphics Database Management Information Storage and Retrieval |
| ISBN | 3-319-47647-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Model Classification for Digital 3D Reconstruction in the Context of Humanities -- Typical Workflows, Documentation Approaches and Principles of 3D Digital Reconstruction of Cultural Heritage -- Digital Reconstruction in Historical Research and its Implications for Virtual Research Environments -- Digital Research Infrastructures: DARIAH -- Heritage and Museum Displays. Buildings, Cities, Landscapes, Illuminated Models -- Interpretation of Sensor-based 3D Documentation -- 3D Model, Linked Database, and Born-Digital E-Book: An Ideal Approach to Archaeological Research and Publication -- 3D Models on Triple Paths -- New Pathways for Documenting and Visualizing Virtual Reconstructions -- Classification schemes for visualization of uncertainty in digital hypothetical reconstruction -- Show me the Data!: Structuring Archaeological Data to Deliver Interactive, Transparent 3D Reconstructions in a 3D WebGIS -- Enrichment and Preservation of Architectural Knowledge -- Simplifying Documentation of Digital Reconstruction Processes. Introducing an interactive documentation system -- Cultural Heritage in a Spatial Context. Towards an Integrative, Interoperable, and Participatory Data and Information Management. |
| Record Nr. | UNISA-996465296503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
3D Research Challenges in Cultural Heritage II : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage / / edited by Sander Münster, Mieke Pfarr-Harfst, Piotr Kuroczyński, Marinos Ioannides
| 3D Research Challenges in Cultural Heritage II : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage / / edited by Sander Münster, Mieke Pfarr-Harfst, Piotr Kuroczyński, Marinos Ioannides |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 289 p. 132 illus.) |
| Disciplina | 930.10113 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Multimedia information systems
Application software Optical data processing Computer graphics Database management Information storage and retrieval Multimedia Information Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer Graphics Database Management Information Storage and Retrieval |
| ISBN | 3-319-47647-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Model Classification for Digital 3D Reconstruction in the Context of Humanities -- Typical Workflows, Documentation Approaches and Principles of 3D Digital Reconstruction of Cultural Heritage -- Digital Reconstruction in Historical Research and its Implications for Virtual Research Environments -- Digital Research Infrastructures: DARIAH -- Heritage and Museum Displays. Buildings, Cities, Landscapes, Illuminated Models -- Interpretation of Sensor-based 3D Documentation -- 3D Model, Linked Database, and Born-Digital E-Book: An Ideal Approach to Archaeological Research and Publication -- 3D Models on Triple Paths -- New Pathways for Documenting and Visualizing Virtual Reconstructions -- Classification schemes for visualization of uncertainty in digital hypothetical reconstruction -- Show me the Data!: Structuring Archaeological Data to Deliver Interactive, Transparent 3D Reconstructions in a 3D WebGIS -- Enrichment and Preservation of Architectural Knowledge -- Simplifying Documentation of Digital Reconstruction Processes. Introducing an interactive documentation system -- Cultural Heritage in a Spatial Context. Towards an Integrative, Interoperable, and Participatory Data and Information Management. |
| Record Nr. | UNINA-9910484521003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNISA-996466355503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
| Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 386 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Database management Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Database Management |
| ISBN | 3-540-44518-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study. |
| Record Nr. | UNINA-9910143618703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNISA-996465278603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNINA-9910483369103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Media Technology [[electronic resource] ] : 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings / / edited by Runhe Huang, Ali A. Ghorbani, Takahira Yamaguchi, Gabriella Pasi, Neil Yen, Beihong Jin
| Active Media Technology [[electronic resource] ] : 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012, Proceedings / / edited by Runhe Huang, Ali A. Ghorbani, Takahira Yamaguchi, Gabriella Pasi, Neil Yen, Beihong Jin |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVI, 671 p. 255 illus.) |
| Disciplina | 004.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Computer communication systems Data mining Database management User interfaces (Computer systems) Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery Database Management User Interfaces and Human Computer Interaction |
| ISBN | 3-642-35236-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Active Media Data Mining and Machine Learning Techniques -- Movie Genre Classification Using SVM with Audio and Video Features -- Automatic Player Behavior Analyses from Baseball Broadcast Videos -- Hot Topic Detection in News Blogs from the Perspective of W2T -- A Clustering Ensemble Based on a Modified Normalized Mutual Information Metric -- Influence of Erroneous Pairwise Constraints in Semi-supervised Clustering -- User Correlation Discovery and Dynamical Profiling Based on Social Streams -- Extraction of Human Social Behavior from Mobile Phone Sensing -- Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control -- A On-Line News Documents Clustering Method -- Agent-Based Applications and Multi-agent Systems Distributed Protocols for Multi-Agent Coalition Formation: A Negotiation Perspective -- Multi-agent Liquidity Risk Management in an Interbank Net Settlement System -- An Enhanced Mechanism for Agent Capability Reuse -- A Bayesian Network Approach to Investigating User-Robot Personality Matching -- Modelling Multi-Criteria Decision Making Ability of Agents in Agent-Based Rice Pest Risk Assessment Model -- Agent Based Assistance for Electric Vehicles – An Evaluation -- Ubiquitous Intelligent Devices and Systems -- Event Calculus-Based Adaptive Services Composition Policy for AmI Systems -- QoS- and Resource-Aware Service Composition and Adaptation -- An Event-Driven Energy Efficient Framework for Wearable Health-Monitoring System -- Learning Style Model for e-Learning Systems -- A Trajectory-Based Recommender System for Tourism -- An Adaptive Method for the Tag-Rating-Based Recommender System -- Comparative Study of Joint Decision-Making on Two Visual Cognition Systems Using Combinatorial Fusion -- Active Media Based Information Retrieval and Processing -- Research on Touch as a Means of Interaction in Digital Art -- Perceptual Image Hashing with Histogram of Color Vector Angles -- Data Hiding Method Based on Local Image Features -- Fast Flow Visualization on CUDA Based on Texture Optimization -- A Message Passing Graph Match Algorithm Based on a Generative Graphical Model -- Fast Content-Based Retrieval from Online Photo Sharing Sites -- Interactive Exploration of Image Collections on Mobile Devices -- The Derived Kernel Based Recognition Method of Vehicle Type -- An Approach to Define Flexible Structural Constraints in XQuery -- DC Stream Based JPEG Compressed Domain Image Retrieval -- Semantic Computing for ActiveMedia, Social Networks, and AMT-Based Systems A Comparative Study of Community Structure Based Node Scores for Network Immunization -- Semantic Precision and Recall for Evaluating Incoherent Ontology Mappings -- A Self-organization Method for Reorganizing Resources in a Distributed Network -- Extracting Property Semantics from Japanese Wikipedia -- An Ontology Based Privacy Protection Model for Third-Party Platform -- Evaluating Ontology-Based User Profiles -- Semantic Information with Type Theory of Acyclic Recursion -- Pyxis: An Active Replication Approach for Enhancing Social Media Services -- Social Network Analysis of Virtual Worlds -- Active Media Framework for Network Processing Components -- Semantic Network Monitoring and Control over Heterogeneous Network Models and Protocols -- International Workshop on Meta-synthesis and Complex Systems -- Opinion Dynamics on Triad Scale Free Network -- Distribution of Node Characteristics in Complex Networks of Tree Class -- Dynamic Mergers Drive Industrial Competition Evolution: A Network Analysis Perspective -- A Study of Collective Action Threshold Model Based on Utility and Psychological Theories -- Recognition of Online Opinion Leaders Based on Social Network Analysis -- Critical Infrastructure Management for Telecommunication Networks -- Developing Self-Organizing Systems by Policy-Based Self-Organizing Multi-Agent Systems -- On Prioritized 2-tuple Ordered Weighted Averaging Operators -- Special Session on Social Knowledge Discovery and Management -- A Novel Collaboration Partner Model Based on the Personal Relationships of SNS -- An Innovative Way for Mining Clinical and Administrative Healthcare Data -- An Adaptive Recommendation System for Museum Navigation -- Adaptive SVM-Based Classification Systems Based on the Improved Endocrine-Based PSO Algorithm -- A Probability Model for Recognition of Dynamic Gesture Based on a Finger-Worn Device -- Design of a Situation-Aware System for Abnormal Activity Detection of Elderly People -- Special Session on Human-Computer Interaction and Knowledge Discovery from Big Data -- Revealing Cultural Influences in Human Computer Interaction by Analyzing Big Data in Interactions -- Predicting Student Exam’s Scores by Analyzing Social Network Data -- SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs -- Using Mixed Node Publication Network Graphs for Analyzing Success in Interdisciplinary Teams -- On Text Preprocessing for Opinion Mining Outside of Laboratory Environments -- Human Involvement in Designing an Information Quality Assessment Technique - Demonstrated in a Healthcare Setting -- On Applying Approximate Entropy to ECG Signals for Knowledge Discovery on the Example of Big Sensor Data -- Towards a Framework Based on Single Trial Connectivity for Enhancing Knowledge Discovery in BCI. |
| Record Nr. | UNISA-996466282503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Media Technology [[electronic resource] ] : 7th International Conference, AMT 2011, Lanzhou, China, September 7-9, 2011. Proceedings / / edited by Ning Zhong, Vic Callaghan, Ali A. Ghorbani, Bin Hu
| Active Media Technology [[electronic resource] ] : 7th International Conference, AMT 2011, Lanzhou, China, September 7-9, 2011. Proceedings / / edited by Ning Zhong, Vic Callaghan, Ali A. Ghorbani, Bin Hu |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 356 p.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Computer communication systems Data mining Database management User interfaces (Computer systems) Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery Database Management User Interfaces and Human Computer Interaction |
| ISBN | 3-642-23620-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465949203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Media Technology [[electronic resource] ] : 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010, Proceedings / / edited by Aijun An, Sheila Petty, Runhe Huang
| Active Media Technology [[electronic resource] ] : 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010, Proceedings / / edited by Aijun An, Sheila Petty, Runhe Huang |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVI, 548 p. 245 illus.) |
| Disciplina | 621.39 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer engineering
Computer communication systems Data mining Application software Artificial intelligence Database management Computer Engineering Computer Communication Networks Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Artificial Intelligence Database Management |
| ISBN |
1-280-38866-8
9786613566584 3-642-15470-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Technology-Mediated Social Participation: Deep Science and Extreme Technology -- Active Smart u-Things and Cyber Individuals -- Active Computer Systems and Intelligent Interfaces -- A Case for Content Distribution in Peer-to-Peer Networks -- Interactive Visualization System for DES -- Intelligent Implicit Interface for Wearable Items Suggestion -- Adaptive Web Systems and Information Foraging Agents -- Folksonomy-Based Ontological User Interest Profile Modeling and Its Application in Personalized Search -- Visualizing Threaded Conversation Networks: Mining Message Boards and Email Lists for Actionable Insights -- AMT for Semantic Web and Web 2.0 -- A Spatio-temporal Framework for Related Topic Search in Micro-Blogging -- Exploiting Semantic Hierarchies for Flickr Group -- Understanding a Celebrity with His Salient Events -- User Interests: Definition, Vocabulary, and Utilization in Unifying Search and Reasoning -- Ontology Matching Method for Efficient Metadata Integration -- Data Mining, Ontology Mining and Web Reasoning -- Multiagent Based Large Data Clustering Scheme for Data Mining Applications -- Fractal Based Video Shot Cut/Fade Detection and Classification -- Performance Evaluation of Constraints in Graph-Based Semi-supervised Clustering -- Analysis of Research Keys as Tempral Patterns of Technical Term Usages in Bibliographical Data -- Natural Language Query Processing for Life Science Knowledge -- E-Commerce and Web Services -- A Semantic Web Services Discovery Algorithm Based on QoS Ontology -- Implementation of an Intelligent Product Recommender System in an e-Store -- Recommendation of Little Known Good Travel Destinations Using Word-of-Mouth Information on the Web -- Entertainment and Social Applications of Active Media -- The Influence of Ubiquity on Screen-Based Interfaces -- Perception of Parameter Variations in Linear Fractal Images -- Music Information Retrieval with Temporal Features and Timbre -- Evaluation of Active Media and AMT Based Systems -- Towards Microeconomic Resources Allocation in Overlay Networks -- Investigating Perceptions of a Location-Based Annotation System -- Apollon13: A Training System for Emergency Situations in a Piano Performance -- Intelligent Information Retrieval -- Exploring Social Annotation Tags to Enhance Information Retrieval Performance -- A Hybrid Chinese Information Retrieval Model -- Term Frequency Quantization for Compressing an Inverted Index -- Chinese Question Retrieval System Using Dependency Information -- Machine Learning and Human-Centered Robotics -- A Novel Automatic Lip Reading Method Based on Polynomial Fitting -- An Approach for the Design of Self-conscious Agent for Robotics -- K-Means Clustering as a Speciation Mechanism within an Individual-Based Evolving Predator-Prey Ecosystem Simulation -- Improving Reinforcement Learning Agents Using Genetic Algorithms -- Robust and Efficient Change Detection Algorithm -- Multi-Agent Systems -- Building Users’ Profiles from Clustering Resources in Collaborative Tagging Systems -- Some Optimizations in Maximal Clique Based Distributed Coalition Formation for Collaborative Multi-Agent Systems -- Multi-Modal Processing, Detection, Recognition, and Expression Analysis -- Enhanced Intra Coding of H.264/AVC Advanced Video Coding Standard with Adaptive Number of Modes -- Extracting Protein Sub-cellular Localizations from Literature -- Semantic Computing for Active Media and AMT Based Systems -- Enhancing Content-Based Image Retrieval Using Machine Learning Techniques -- Modeling User Knowledge from Queries: Introducing a Metric for Knowledge -- Computer-Assisted Interviewing with Active Questionnaires -- Smart Digital Media -- Assessing End-User Programming for a Graphics Development Environment -- Visual Image Browsing and Exploration (Vibe): User Evaluations of Image Search Tasks -- Web Based Social Networks -- Contextual Recommendation of Social Updates, a Tag-Based Framework -- Semantic Web Portal: A Platform for Better Browsing and Visualizing Semantic Data -- NicoScene: Video Scene Search by Keywords Based on Social Annotation -- Web Mining, Wisdom Web and Web Intelligence -- Social Relation Based Search Refinement: Let Your Friends Help You! -- An Empirical Approach for Opinion Detection Using Significant Sentences -- Extracting Concerns and Reports on Crimes in Blogs -- Automatically Extracting Web Data Records -- Web User Browse Behavior Characteristic Analysis Based on a BC Tree -- Clustering Web Users Based on Browsing Behavior -- Privacy Preserving in Personalized Mobile Marketing. |
| Record Nr. | UNISA-996466293003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Mining [[electronic resource] ] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers / / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda
| Active Mining [[electronic resource] ] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers / / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 348 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Database management
Artificial intelligence Algorithms Health informatics Bioinformatics Database Management Artificial Intelligence Algorithm Analysis and Problem Complexity Health Informatics |
| ISBN | 3-540-31933-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Overview -- Active Mining Project: Overview -- Tutorial Papers -- Computational and Statistical Methods in Bioinformatics -- Indexing and Mining Audiovisual Data -- Active Information Collection -- Relevance Feedback Document Retrieval Using Support Vector Machines -- Micro View and Macro View Approaches to Discovered Rule Filtering -- Mining Chemical Compound Structure Data Using Inductive Logic Programming -- First-Order Rule Mining by Using Graphs Created from Temporal Medical Data -- Active Data Mining -- Extracting Diagnostic Knowledge from Hepatitis Dataset by Decision Tree Graph-Based Induction -- Data Mining Oriented CRM Systems Based on MUSASHI: C-MUSASHI -- Investigation of Rule Interestingness in Medical Data Mining -- Experimental Evaluation of Time-Series Decision Tree -- Spiral Multi-aspect Hepatitis Data Mining -- Sentence Role Identification in Medline Abstracts: Training Classifier with Structured Abstracts -- CHASE 2 – Rule Based Chase Algorithm for Information Systems of Type ? -- Active User Reaction -- Empirical Comparison of Clustering Methods for Long Time-Series Databases -- Spiral Mining Using Attributes from 3D Molecular Structures -- Classification of Pharmacological Activity of Drugs Using Support Vector Machine -- Cooperative Scenario Mining from Blood Test Data of Hepatitis B and C -- Integrated Mining for Cancer Incidence Factors from Healthcare Data. |
| Record Nr. | UNISA-996465816603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Database Management
(3017)
- Database management (3014)
- Application software (1846)
- Information Storage and Retrieval (1682)
- Artificial intelligence (1582)