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.
Rule Interchange and Applications [[electronic resource] ] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / / edited by Adrian Paschke, Guido Governatori, John Hall
| Rule Interchange and Applications [[electronic resource] ] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / / edited by Adrian Paschke, Guido Governatori, John Hall |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 353 p.) |
| Disciplina | 004n/a |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer communication systems Data mining Software engineering Computer logic Information Systems and Communication Service Computer Communication Networks Data Mining and Knowledge Discovery Models and Principles Software Engineering Logics and Meanings of Programs |
| Soggetto genere / forma |
Kongress.
Las Vegas (Nev., 2009) |
| ISBN | 3-642-04985-0 |
| Classificazione |
DAT 557f
DAT 614f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speakers (Abstracts) -- Bringing Order to Chaos: RIF as the New Standard for Rule Interchange -- Why Rules Matter in Complex Event Processing...and Vice Versa -- Terminology: The Semantic Foundation for an Organizations Executable Rules -- Rule Systems on the Web -- Challenges for Rule Systems on the Web -- A Modest Proposal to Enable RIF Dialects with Limited Forward Compatibility -- RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core -- WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation -- Rule-Based Event Processing and Reaction Rules -- Rule-Based Event Processing and Reaction Rules -- Correlating Business Events for Event-Triggered Rules -- Semantic Rule-Based Complex Event Processing -- General Rule Topics -- Generation of Rules from Ontologies for High-Level Scene Interpretation -- RBDT-1: A New Rule-Based Decision Tree Generation Technique -- Process Materialization Using Templates and Rules to Design Flexible Process Models -- Rule Transformation and Extraction -- to “Rule Transformation and Extraction” Track -- An SBVR Framework for RESTful Web Applications -- Towards an Improvement of Software Development Processes through Standard Business Rules -- A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences -- An Empirical Study of Unsupervised Rule Set Extraction of Clustered Categorical Data Using a Simulated Bee Colony Algorithm -- Transformation of Graphical ECA Policies into Executable PonderTalk Code -- Session 6 -- A Rule-Based Approach to Match Structural Patterns with Business Process Models -- Usage of the Jess Engine, Rules and Ontology to Query a Relational Database -- An XML-Based Manipulation and Query Language for Rule-Based Information -- Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules -- TomML: A Rule Language for Structured Data -- Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information -- Session 7 -- Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain -- A Java Implementation of Temporal Defeasible Logic -- Fill the Gap in the Legal Knowledge Modelling -- The Making of SPINdle -- Session 8 -- Approaches to Uncertain or Imprecise Rules - A Survey -- Fuzzy Reasoning with a Rete-OO Rule Engine -- Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. |
| Record Nr. | UNINA-9910485048803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rule Interchange and Applications [[electronic resource] ] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / / edited by Adrian Paschke, Guido Governatori, John Hall
| Rule Interchange and Applications [[electronic resource] ] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / / edited by Adrian Paschke, Guido Governatori, John Hall |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 353 p.) |
| Disciplina | 004n/a |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer communication systems Data mining Software engineering Computer logic Information Systems and Communication Service Computer Communication Networks Data Mining and Knowledge Discovery Models and Principles Software Engineering Logics and Meanings of Programs |
| Soggetto genere / forma |
Kongress.
Las Vegas (Nev., 2009) |
| ISBN | 3-642-04985-0 |
| Classificazione |
DAT 557f
DAT 614f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speakers (Abstracts) -- Bringing Order to Chaos: RIF as the New Standard for Rule Interchange -- Why Rules Matter in Complex Event Processing...and Vice Versa -- Terminology: The Semantic Foundation for an Organizations Executable Rules -- Rule Systems on the Web -- Challenges for Rule Systems on the Web -- A Modest Proposal to Enable RIF Dialects with Limited Forward Compatibility -- RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core -- WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation -- Rule-Based Event Processing and Reaction Rules -- Rule-Based Event Processing and Reaction Rules -- Correlating Business Events for Event-Triggered Rules -- Semantic Rule-Based Complex Event Processing -- General Rule Topics -- Generation of Rules from Ontologies for High-Level Scene Interpretation -- RBDT-1: A New Rule-Based Decision Tree Generation Technique -- Process Materialization Using Templates and Rules to Design Flexible Process Models -- Rule Transformation and Extraction -- to “Rule Transformation and Extraction” Track -- An SBVR Framework for RESTful Web Applications -- Towards an Improvement of Software Development Processes through Standard Business Rules -- A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences -- An Empirical Study of Unsupervised Rule Set Extraction of Clustered Categorical Data Using a Simulated Bee Colony Algorithm -- Transformation of Graphical ECA Policies into Executable PonderTalk Code -- Session 6 -- A Rule-Based Approach to Match Structural Patterns with Business Process Models -- Usage of the Jess Engine, Rules and Ontology to Query a Relational Database -- An XML-Based Manipulation and Query Language for Rule-Based Information -- Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules -- TomML: A Rule Language for Structured Data -- Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information -- Session 7 -- Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain -- A Java Implementation of Temporal Defeasible Logic -- Fill the Gap in the Legal Knowledge Modelling -- The Making of SPINdle -- Session 8 -- Approaches to Uncertain or Imprecise Rules - A Survey -- Fuzzy Reasoning with a Rete-OO Rule Engine -- Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. |
| Record Nr. | UNISA-996466273103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic multimedia : third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008 : proceedings / / David Duke [and our others] editors
| Semantic multimedia : third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008 : proceedings / / David Duke [and our others] editors |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (XII, 179 p.) |
| Disciplina | 006.7 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Multimedia systems
Human-computer interaction Multimedia data mining Image analysis Image processing - Digital techniques Semantic Web Semantic networks (Information theory) |
| ISBN | 3-540-92235-0 |
| Classificazione |
DAT 557f
DAT 670f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talk: Tracking the Progress of Multimedia Semantics – from MPEG-7 to Web 3.0 -- Keynote Talk: Data by the People, for the People -- Automatic Summarization of Rushes Video Using Bipartite Graphs -- Validating the Detection of Everyday Concepts in Visual Lifelogs -- Using Fuzzy DLs to Enhance Semantic Image Analysis -- Enriching a Thesaurus to Improve Retrieval of Audiovisual Documents -- Tag Suggestr: Automatic Photo Tag Expansion Using Visual Information for Photo Sharing Websites -- Semantic Middleware to Enhance Multimedia Retrieval in a Broadcaster -- Labelling Image Regions Using Wavelet Features and Spatial Prototypes -- Performing Content-Based Retrieval of Humans Using Gait Biometrics -- Context as a Non-ontological Determinant of Semantics -- Exploring Music Artists via Descriptive Terms and Multimedia Content -- Semantic-Driven Multimedia Retrieval with the MPEG Query Format -- On Video Abstraction Systems’ Architectures and Modelling. |
| Record Nr. | UNINA-9910484689803321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic multimedia : third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008 : proceedings / / David Duke [and our others] editors
| Semantic multimedia : third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008 : proceedings / / David Duke [and our others] editors |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (XII, 179 p.) |
| Disciplina | 006.7 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Multimedia systems
Human-computer interaction Multimedia data mining Image analysis Image processing - Digital techniques Semantic Web Semantic networks (Information theory) |
| ISBN | 3-540-92235-0 |
| Classificazione |
DAT 557f
DAT 670f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talk: Tracking the Progress of Multimedia Semantics – from MPEG-7 to Web 3.0 -- Keynote Talk: Data by the People, for the People -- Automatic Summarization of Rushes Video Using Bipartite Graphs -- Validating the Detection of Everyday Concepts in Visual Lifelogs -- Using Fuzzy DLs to Enhance Semantic Image Analysis -- Enriching a Thesaurus to Improve Retrieval of Audiovisual Documents -- Tag Suggestr: Automatic Photo Tag Expansion Using Visual Information for Photo Sharing Websites -- Semantic Middleware to Enhance Multimedia Retrieval in a Broadcaster -- Labelling Image Regions Using Wavelet Features and Spatial Prototypes -- Performing Content-Based Retrieval of Humans Using Gait Biometrics -- Context as a Non-ontological Determinant of Semantics -- Exploring Music Artists via Descriptive Terms and Multimedia Content -- Semantic-Driven Multimedia Retrieval with the MPEG Query Format -- On Video Abstraction Systems’ Architectures and Modelling. |
| Record Nr. | UNISA-996466075803316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantic multimedia : Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, proceedings / / edited by Bianca Falcidieno [and four others]
| Semantic multimedia : Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, proceedings / / edited by Bianca Falcidieno [and four others] |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 306 p.) |
| Disciplina | 006.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Semantics - Data processing
Image processing - Digital techniques Semantic networks (Information theory) Multimedia systems Human-computer interaction Image analysis |
| ISBN | 3-540-77051-8 |
| Classificazione |
DAT 557f
DAT 670f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Based Content Processing -- Improving the Accuracy of Global Feature Fusion Based Image Categorisation -- Stopping Region-Based Image Segmentation at Meaningful Partitions -- Semantic Multimedia Annotation I -- Hierarchical Long-Term Learning for Automatic Image Annotation -- LSA-Based Automatic Acquisition of Semantic Image Descriptions -- Domain-Restricted Generation of Semantic Metadata from Multimodal Sources -- Ontology-Driven Semantic Video Analysis Using Visual Information Objects -- On the Selection of MPEG-7 Visual Descriptors and Their Level of Detail for Nature Disaster Video Sequences Classification -- A Region Thesaurus Approach for High-Level Concept Detection in the Natural Disaster Domain -- Annotation of Heterogeneous Multimedia Content Using Automatic Speech Recognition -- A Model-Based Iterative Method for Caption Extraction in Compressed MPEG Video -- Automatic Recommendations for Machine-Assisted Multimedia Annotation: A Knowledge-Mining Approach -- Video Summarisation for Surveillance and News Domain -- Classification and Annotation of Multidimensional Content -- Thesaurus-Based Ontology on Image Analysis -- A Wavelet-Based Algorithm for Multimodal Medical Image Fusion -- Context-Sensitive Pan-Sharpening of Multispectral Images -- Semantic Annotation of 3D Surface Meshes Based on Feature Characterization -- 3D Classification Via Structural Prototypes -- Content Adaptation -- Post-processing Techniques for On-Line Adaptive Video Summarization Based on Relevance Curves -- A Constraint-Based Graph Visualisation Architecture for Mobile Semantic Web Interfaces -- Personalization of Content in Virtual Exhibitions -- MX: The IEEE Standard for Interactive Music -- The Concept of Interactive Music: The New Standard IEEE P1599 / MX -- Outline of the MX Standard -- Automatic Synchronisation Between Audio and Score Musical Description Layers -- Interacting at the Symbolic and Structural Levels -- Interacting with Csound Timbral Textures -- Semantic Multimedia Annotation II -- A Semantic Web Environment for Digital Shapes Understanding -- Modeling Linguistic Facets of Multimedia Content for Semantic Annotation -- Short Papers -- Leveraging Ontologies, Context and Social Networks to Automate Photo Annotation -- Use Cases of Scalable Video Based Summarization and Adaptation Within MPEG-21 DIA -- Ontology for Semantic Integration in a Cognitive Surveillance System -- Conditional Random Fields for High-Level Part Correlation Analysis in Images -- Document Layout Substructure Discovery -- Recognition of JPEG Compressed Face Images Based on AdaBoost -- Camera Motion Analysis Towards Semantic-Based Video Retrieval in Compressed Domain -- Challenges in Supporting Faceted Semantic Browsing of Multimedia Collections -- A Study of Vocabularies for Image Annotation -- Towards a Cross-Media Analysis of Spatially Co-located Image and Text Regions in TV-News -- K-Space Awarded PhD Papers -- Towards Person Google: Multimodal Person Search and Retrieval -- Event Detection in Pedestrian Detection and Tracking Applications -- SAMMI. |
| Record Nr. | UNINA-9910484756103321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic multimedia : Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, proceedings / / edited by Bianca Falcidieno [and four others]
| Semantic multimedia : Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, proceedings / / edited by Bianca Falcidieno [and four others] |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 306 p.) |
| Disciplina | 006.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Semantics - Data processing
Image processing - Digital techniques Semantic networks (Information theory) Multimedia systems Human-computer interaction Image analysis |
| ISBN | 3-540-77051-8 |
| Classificazione |
DAT 557f
DAT 670f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Based Content Processing -- Improving the Accuracy of Global Feature Fusion Based Image Categorisation -- Stopping Region-Based Image Segmentation at Meaningful Partitions -- Semantic Multimedia Annotation I -- Hierarchical Long-Term Learning for Automatic Image Annotation -- LSA-Based Automatic Acquisition of Semantic Image Descriptions -- Domain-Restricted Generation of Semantic Metadata from Multimodal Sources -- Ontology-Driven Semantic Video Analysis Using Visual Information Objects -- On the Selection of MPEG-7 Visual Descriptors and Their Level of Detail for Nature Disaster Video Sequences Classification -- A Region Thesaurus Approach for High-Level Concept Detection in the Natural Disaster Domain -- Annotation of Heterogeneous Multimedia Content Using Automatic Speech Recognition -- A Model-Based Iterative Method for Caption Extraction in Compressed MPEG Video -- Automatic Recommendations for Machine-Assisted Multimedia Annotation: A Knowledge-Mining Approach -- Video Summarisation for Surveillance and News Domain -- Classification and Annotation of Multidimensional Content -- Thesaurus-Based Ontology on Image Analysis -- A Wavelet-Based Algorithm for Multimodal Medical Image Fusion -- Context-Sensitive Pan-Sharpening of Multispectral Images -- Semantic Annotation of 3D Surface Meshes Based on Feature Characterization -- 3D Classification Via Structural Prototypes -- Content Adaptation -- Post-processing Techniques for On-Line Adaptive Video Summarization Based on Relevance Curves -- A Constraint-Based Graph Visualisation Architecture for Mobile Semantic Web Interfaces -- Personalization of Content in Virtual Exhibitions -- MX: The IEEE Standard for Interactive Music -- The Concept of Interactive Music: The New Standard IEEE P1599 / MX -- Outline of the MX Standard -- Automatic Synchronisation Between Audio and Score Musical Description Layers -- Interacting at the Symbolic and Structural Levels -- Interacting with Csound Timbral Textures -- Semantic Multimedia Annotation II -- A Semantic Web Environment for Digital Shapes Understanding -- Modeling Linguistic Facets of Multimedia Content for Semantic Annotation -- Short Papers -- Leveraging Ontologies, Context and Social Networks to Automate Photo Annotation -- Use Cases of Scalable Video Based Summarization and Adaptation Within MPEG-21 DIA -- Ontology for Semantic Integration in a Cognitive Surveillance System -- Conditional Random Fields for High-Level Part Correlation Analysis in Images -- Document Layout Substructure Discovery -- Recognition of JPEG Compressed Face Images Based on AdaBoost -- Camera Motion Analysis Towards Semantic-Based Video Retrieval in Compressed Domain -- Challenges in Supporting Faceted Semantic Browsing of Multimedia Collections -- A Study of Vocabularies for Image Annotation -- Towards a Cross-Media Analysis of Spatially Co-located Image and Text Regions in TV-News -- K-Space Awarded PhD Papers -- Towards Person Google: Multimodal Person Search and Retrieval -- Event Detection in Pedestrian Detection and Tracking Applications -- SAMMI. |
| Record Nr. | UNISA-996466238303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantics and Algebraic Specification [[electronic resource] ] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / / edited by Jens Palsberg
| Semantics and Algebraic Specification [[electronic resource] ] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / / edited by Jens Palsberg |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 409 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Machine theory Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-642-04164-7 |
| Classificazione |
DAT 510f
DAT 557f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tribute to Peter Mosses -- Action Semantics in Retrospect -- Component-Based Security Policy Design with Colored Petri Nets -- Order-Sorted Parameterization and Induction -- An Implementation of Object-Oriented Action Semantics in Maude -- A Constructive Semantics for Basic Aspect Constructs -- Structural Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model Transformations -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines -- Type Checking Evolving Languages with MSOS -- Action Algebras and Model Algebras in Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step Semantics -- Model-Based Testing and the UML Testing Profile -- A Complete, Co-inductive Syntactic Theory of Sequential Control and State -- Vertical Object Layout and Compression for Fixed Heaps. |
| Record Nr. | UNISA-996465292903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Semantics and Algebraic Specification [[electronic resource] ] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / / edited by Jens Palsberg
| Semantics and Algebraic Specification [[electronic resource] ] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / / edited by Jens Palsberg |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 409 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Machine theory Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-642-04164-7 |
| Classificazione |
DAT 510f
DAT 557f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tribute to Peter Mosses -- Action Semantics in Retrospect -- Component-Based Security Policy Design with Colored Petri Nets -- Order-Sorted Parameterization and Induction -- An Implementation of Object-Oriented Action Semantics in Maude -- A Constructive Semantics for Basic Aspect Constructs -- Structural Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model Transformations -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines -- Type Checking Evolving Languages with MSOS -- Action Algebras and Model Algebras in Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step Semantics -- Model-Based Testing and the UML Testing Profile -- A Complete, Co-inductive Syntactic Theory of Sequential Control and State -- Vertical Object Layout and Compression for Fixed Heaps. |
| Record Nr. | UNINA-9910483541703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty reasoning for the semantic web I : ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / / Paulo Cesar G. da Costa (eds.)
| Uncertainty reasoning for the semantic web I : ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / / Paulo Cesar G. da Costa (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIV, 403 p.) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Semantic Web |
| ISBN | 3-540-89765-8 |
| Classificazione |
DAT 557f
DAT 616f DAT 703f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic and Dempster-Shafer Models -- Just Add Weights: Markov Logic for the Semantic Web -- Semantic Science: Ontologies, Data and Probabilistic Theories -- Probabilistic Dialogue Models for Dynamic Ontology Mapping -- An Approach to Probabilistic Data Integration for the Semantic Web -- Rule-Based Approaches for Representing Probabilistic Ontology Mappings -- PR-OWL: A Bayesian Ontology Language for the Semantic Web -- Discovery and Uncertainty in Semantic Web Services -- An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion -- Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies -- An Ontology-Based Bayesian Network Approach for Representing Uncertainty in Clinical Practice Guidelines -- Fuzzy and Possibilistic Models -- A Crisp Representation for Fuzzy with Fuzzy Nominals and General Concept Inclusions -- Optimizing the Crisp Representation of the Fuzzy Description Logic -- Uncertainty Issues and Algorithms in Automating Process Connecting Web and User -- Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach -- A Fuzzy Semantics for the Resource Description Framework -- Reasoning with the Fuzzy Description Logic f- : Theory, Practice and Applications -- Inductive Reasoning and Machine Learning -- Towards Machine Learning on the Semantic Web -- Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies -- Analogical Reasoning in Description Logics -- Approximate Measures of Semantic Dissimilarity under Uncertainty -- Ontology Learning and Reasoning — Dealing with Uncertainty and Inconsistency -- Hybrid Approaches -- Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. |
| Record Nr. | UNINA-9910482963203321 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty reasoning for the semantic web I : ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / / Paulo Cesar G. da Costa (eds.)
| Uncertainty reasoning for the semantic web I : ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / / Paulo Cesar G. da Costa (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XIV, 403 p.) |
| Disciplina | 025.0427 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Semantic Web |
| ISBN | 3-540-89765-8 |
| Classificazione |
DAT 557f
DAT 616f DAT 703f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic and Dempster-Shafer Models -- Just Add Weights: Markov Logic for the Semantic Web -- Semantic Science: Ontologies, Data and Probabilistic Theories -- Probabilistic Dialogue Models for Dynamic Ontology Mapping -- An Approach to Probabilistic Data Integration for the Semantic Web -- Rule-Based Approaches for Representing Probabilistic Ontology Mappings -- PR-OWL: A Bayesian Ontology Language for the Semantic Web -- Discovery and Uncertainty in Semantic Web Services -- An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion -- Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies -- An Ontology-Based Bayesian Network Approach for Representing Uncertainty in Clinical Practice Guidelines -- Fuzzy and Possibilistic Models -- A Crisp Representation for Fuzzy with Fuzzy Nominals and General Concept Inclusions -- Optimizing the Crisp Representation of the Fuzzy Description Logic -- Uncertainty Issues and Algorithms in Automating Process Connecting Web and User -- Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach -- A Fuzzy Semantics for the Resource Description Framework -- Reasoning with the Fuzzy Description Logic f- : Theory, Practice and Applications -- Inductive Reasoning and Machine Learning -- Towards Machine Learning on the Semantic Web -- Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies -- Analogical Reasoning in Description Logics -- Approximate Measures of Semantic Dissimilarity under Uncertainty -- Ontology Learning and Reasoning — Dealing with Uncertainty and Inconsistency -- Hybrid Approaches -- Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. |
| Record Nr. | UNISA-996465888103316 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||