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.
Information modelling and knowledge bases XXIV [[electronic resource] /] / edited by Peter Vojtas ... [et. al.]
| Information modelling and knowledge bases XXIV [[electronic resource] /] / edited by Peter Vojtas ... [et. al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2013 |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | VojtasPeter |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
System design
Information modeling Expert systems (Computer science) Artificial intelligence |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-299-33338-9
1-61499-177-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Programme Committee; Contents; Recognition of Semantic Elements from Pictorial Symbols: Towards a Visual Dictionary; A Knowledge System on an Ontology in the Topic Maps Format; Context-Sensitive Approach to Dynamic Visual Analytics of Energy Production Processes; Complementing Web Service Architecture; Twitter User Rank Using Keyword Search; Stable Partial Information Extraction: A Self-Evolving Hybrid Mechanism; Towards Web Semantization and User Understanding; Creating a Personal-Context Oriented Real-Time Dynamic and Collaborative Space
Knowledge-Base Approach to Software-Process Development Based on TILTopic Detection About the East Japan Great Earthquake Based on Emerging Modularity; Testing and Evaluating Software in a Social Network Creating Baseline Knowledge; Analysis-Driven Data Collection, Integration and Preparation for Visualisation; Query and Answer Forms for Sophisticated Database Interfaces; Experiences Implementing Developed Industrial Software for the Center Quality Modeling of Slabs in Metalography; A Model of Evaluation: Computational Performance and Usability Benchmarks on Video Stream Context Analysis An Imagination-Based Query Creation Method for Image RetrievalBusiness Domain Modelling with Business Archetypes and Archetype Patterns; Document Similarity; A Context-Based Multi-Dimensional Corporate Analysis Method; Cultural and Lingual Awareness for the Global Conceptual Modeling; Emergence of Information, Communication and Language; Exception-Aware (Information) Systems; Knowledge Mining of Web Service Usage; Practical Approach to Real Time Contextual Data Access; Multimedia Information Systems for Social, Cross-Cultural and Environmental Computing; Subject Index; Author Index |
| Record Nr. | UNINA-9910465105603321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information modelling and knowledge bases XXIV [[electronic resource] /] / edited by Peter Vojtas ... [et. al.]
| Information modelling and knowledge bases XXIV [[electronic resource] /] / edited by Peter Vojtas ... [et. al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2013 |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | VojtasPeter |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
System design
Information modeling Expert systems (Computer science) Artificial intelligence |
| ISBN |
1-299-33338-9
1-61499-177-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Programme Committee; Contents; Recognition of Semantic Elements from Pictorial Symbols: Towards a Visual Dictionary; A Knowledge System on an Ontology in the Topic Maps Format; Context-Sensitive Approach to Dynamic Visual Analytics of Energy Production Processes; Complementing Web Service Architecture; Twitter User Rank Using Keyword Search; Stable Partial Information Extraction: A Self-Evolving Hybrid Mechanism; Towards Web Semantization and User Understanding; Creating a Personal-Context Oriented Real-Time Dynamic and Collaborative Space
Knowledge-Base Approach to Software-Process Development Based on TILTopic Detection About the East Japan Great Earthquake Based on Emerging Modularity; Testing and Evaluating Software in a Social Network Creating Baseline Knowledge; Analysis-Driven Data Collection, Integration and Preparation for Visualisation; Query and Answer Forms for Sophisticated Database Interfaces; Experiences Implementing Developed Industrial Software for the Center Quality Modeling of Slabs in Metalography; A Model of Evaluation: Computational Performance and Usability Benchmarks on Video Stream Context Analysis An Imagination-Based Query Creation Method for Image RetrievalBusiness Domain Modelling with Business Archetypes and Archetype Patterns; Document Similarity; A Context-Based Multi-Dimensional Corporate Analysis Method; Cultural and Lingual Awareness for the Global Conceptual Modeling; Emergence of Information, Communication and Language; Exception-Aware (Information) Systems; Knowledge Mining of Web Service Usage; Practical Approach to Real Time Contextual Data Access; Multimedia Information Systems for Social, Cross-Cultural and Environmental Computing; Subject Index; Author Index |
| Record Nr. | UNINA-9910792043103321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information modelling and knowledge bases XXIV / / edited by Peter Vojtas ... [et. al.]
| Information modelling and knowledge bases XXIV / / edited by Peter Vojtas ... [et. al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2013 |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | VojtasPeter |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
System design
Information modeling Expert systems (Computer science) Artificial intelligence |
| ISBN |
1-299-33338-9
1-61499-177-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; Programme Committee; Contents; Recognition of Semantic Elements from Pictorial Symbols: Towards a Visual Dictionary; A Knowledge System on an Ontology in the Topic Maps Format; Context-Sensitive Approach to Dynamic Visual Analytics of Energy Production Processes; Complementing Web Service Architecture; Twitter User Rank Using Keyword Search; Stable Partial Information Extraction: A Self-Evolving Hybrid Mechanism; Towards Web Semantization and User Understanding; Creating a Personal-Context Oriented Real-Time Dynamic and Collaborative Space
Knowledge-Base Approach to Software-Process Development Based on TILTopic Detection About the East Japan Great Earthquake Based on Emerging Modularity; Testing and Evaluating Software in a Social Network Creating Baseline Knowledge; Analysis-Driven Data Collection, Integration and Preparation for Visualisation; Query and Answer Forms for Sophisticated Database Interfaces; Experiences Implementing Developed Industrial Software for the Center Quality Modeling of Slabs in Metalography; A Model of Evaluation: Computational Performance and Usability Benchmarks on Video Stream Context Analysis An Imagination-Based Query Creation Method for Image RetrievalBusiness Domain Modelling with Business Archetypes and Archetype Patterns; Document Similarity; A Context-Based Multi-Dimensional Corporate Analysis Method; Cultural and Lingual Awareness for the Global Conceptual Modeling; Emergence of Information, Communication and Language; Exception-Aware (Information) Systems; Knowledge Mining of Web Service Usage; Practical Approach to Real Time Contextual Data Access; Multimedia Information Systems for Social, Cross-Cultural and Environmental Computing; Subject Index; Author Index |
| Altri titoli varianti |
Information modelling and knowledge bases 24
Information modelling and knowledge bases twenty-four |
| Record Nr. | UNINA-9910826561103321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Foundations of Computer Science 2003 [[electronic resource] ] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / / edited by Branislav Rovan, Peter Vojtas
| Mathematical Foundations of Computer Science 2003 [[electronic resource] ] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / / edited by Branislav Rovan, Peter Vojtas |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 692 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computers Programming languages (Electronic computers) Data structures (Computer science) Computer science—Mathematics Computer graphics Computer Engineering Theory of Computation Programming Languages, Compilers, Interpreters Data Structures Discrete Mathematics in Computer Science Computer Graphics |
| ISBN | 3-540-45138-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Distributed Quantum Computing -- Selfish Routing in Non-cooperative Networks: A Survey -- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols -- Semantic and Syntactic Approaches to Simulation Relations -- On the Computational Complexity of Conservative Computing -- Constructing Infinite Graphs with a Decidable MSO-Theory -- Towards a Theory of Randomized Search Heuristics -- Contributed Papers -- Adversarial Models for Priority-Based Networks -- On Optimal Merging Networks -- Problems which Cannot Be Reduced to Any Proper Subproblems -- ACID-Unification Is NEXPTIME-Decidable -- Completeness in Differential Approximation Classes -- On the Length of the Minimum Solution of Word Equations in One Variable -- Smoothed Analysis of Three Combinatorial Problems -- Inferring Strings from Graphs and Arrays -- Faster Algorithms for k-Medians in Trees -- Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies -- Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms -- Error-Bounded Probabilistic Computations between MA and AM -- A Faster FPT Algorithm for Finding Spanning Trees with Many Leaves -- Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation -- Denotational Testing Semantics in Coinductive Form -- Lower Bounds for General Graph–Driven Read–Once Parity Branching Programs -- The Minimal Graph Model of Lambda Calculus -- Unambiguous Automata on Bi-infinite Words -- Relating Hierarchy of Temporal Properties to Model Checking -- Arithmetic Constant-Depth Circuit Complexity Classes -- Inverse NP Problems -- A Linear-Time Algorithm for 7-Coloring 1-Planar Graphs -- Generalized Satisfiability with Limited Occurrences per Variable: A Study through Delta-Matroid Parity -- Randomized Algorithms for Determining the Majority on Graphs -- Using Transitive–Closure Logic for Deciding Linear Properties of Monoids -- Linear-Time Computation of Local Periods -- Two Dimensional Packing: The Power of Rotation -- Approximation Schemes for the Min-Max Starting Time Problem -- Quantum Testers for Hidden Group Properties -- Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces -- LTL with Past and Two-Way Very-Weak Alternating Automata -- Match-Bounded String Rewriting Systems -- Probabilistic and Nondeterministic Unary Automata -- On Matroid Properties Definable in the MSO Logic -- Characterizations of Catalytic Membrane Computing Systems -- Augmenting Local Edge-Connectivity between Vertices and Vertex Subsets in Undirected Graphs -- Scheduling and Traffic Allocation for Tasks with Bounded Splittability -- Computing Average Value in Ad Hoc Networks -- A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes -- Solving the Sabotage Game Is PSPACE-Hard -- The Approximate Well-Founded Semantics for Logic Programs with Uncertainty -- Which Is the Worst-Case Nash Equilibrium? -- A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory -- Generic Algorithms for the Generation of Combinatorial Objects -- On the Complexity of Some Problems in Interval Arithmetic -- An Abduction-Based Method for Index Relaxation in Taxonomy-Based Sources -- On Selection Functions that Do Not Preserve Normality -- On Converting CNF to DNF -- A Basis of Tiling Motifs for Generating Repeated Patterns and Its Complexity for Higher Quorum -- On the Complexity of Some Equivalence Problems for Propositional Calculi -- Quantified Mu-Calculus for Control Synthesis -- On Probabilistic Quantified Satisfiability Games -- A Completeness Property of Wilke’s Tree Algebras -- Symbolic Topological Sorting with OBDDs -- Ershov’s Hierarchy of Real Numbers. |
| Record Nr. | UNISA-996465698803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / / edited by Branislav Rovan, Peter Vojtas
| Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / / edited by Branislav Rovan, Peter Vojtas |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIII, 692 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computers Programming languages (Electronic computers) Data structures (Computer science) Computer science—Mathematics Computer graphics Computer Engineering Theory of Computation Programming Languages, Compilers, Interpreters Data Structures Discrete Mathematics in Computer Science Computer Graphics |
| ISBN | 3-540-45138-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Distributed Quantum Computing -- Selfish Routing in Non-cooperative Networks: A Survey -- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols -- Semantic and Syntactic Approaches to Simulation Relations -- On the Computational Complexity of Conservative Computing -- Constructing Infinite Graphs with a Decidable MSO-Theory -- Towards a Theory of Randomized Search Heuristics -- Contributed Papers -- Adversarial Models for Priority-Based Networks -- On Optimal Merging Networks -- Problems which Cannot Be Reduced to Any Proper Subproblems -- ACID-Unification Is NEXPTIME-Decidable -- Completeness in Differential Approximation Classes -- On the Length of the Minimum Solution of Word Equations in One Variable -- Smoothed Analysis of Three Combinatorial Problems -- Inferring Strings from Graphs and Arrays -- Faster Algorithms for k-Medians in Trees -- Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies -- Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms -- Error-Bounded Probabilistic Computations between MA and AM -- A Faster FPT Algorithm for Finding Spanning Trees with Many Leaves -- Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation -- Denotational Testing Semantics in Coinductive Form -- Lower Bounds for General Graph–Driven Read–Once Parity Branching Programs -- The Minimal Graph Model of Lambda Calculus -- Unambiguous Automata on Bi-infinite Words -- Relating Hierarchy of Temporal Properties to Model Checking -- Arithmetic Constant-Depth Circuit Complexity Classes -- Inverse NP Problems -- A Linear-Time Algorithm for 7-Coloring 1-Planar Graphs -- Generalized Satisfiability with Limited Occurrences per Variable: A Study through Delta-Matroid Parity -- Randomized Algorithms for Determining the Majority on Graphs -- Using Transitive–Closure Logic for Deciding Linear Properties of Monoids -- Linear-Time Computation of Local Periods -- Two Dimensional Packing: The Power of Rotation -- Approximation Schemes for the Min-Max Starting Time Problem -- Quantum Testers for Hidden Group Properties -- Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces -- LTL with Past and Two-Way Very-Weak Alternating Automata -- Match-Bounded String Rewriting Systems -- Probabilistic and Nondeterministic Unary Automata -- On Matroid Properties Definable in the MSO Logic -- Characterizations of Catalytic Membrane Computing Systems -- Augmenting Local Edge-Connectivity between Vertices and Vertex Subsets in Undirected Graphs -- Scheduling and Traffic Allocation for Tasks with Bounded Splittability -- Computing Average Value in Ad Hoc Networks -- A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes -- Solving the Sabotage Game Is PSPACE-Hard -- The Approximate Well-Founded Semantics for Logic Programs with Uncertainty -- Which Is the Worst-Case Nash Equilibrium? -- A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory -- Generic Algorithms for the Generation of Combinatorial Objects -- On the Complexity of Some Problems in Interval Arithmetic -- An Abduction-Based Method for Index Relaxation in Taxonomy-Based Sources -- On Selection Functions that Do Not Preserve Normality -- On Converting CNF to DNF -- A Basis of Tiling Motifs for Generating Repeated Patterns and Its Complexity for Higher Quorum -- On the Complexity of Some Equivalence Problems for Propositional Calculi -- Quantified Mu-Calculus for Control Synthesis -- On Probabilistic Quantified Satisfiability Games -- A Completeness Property of Wilke’s Tree Algebras -- Symbolic Topological Sorting with OBDDs -- Ershov’s Hierarchy of Real Numbers. |
| Record Nr. | UNINA-9910144033003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2005 : theory and practice of computer science : 31st conference on current trends in theory and practice of computer science, Liptovsky Jan, Slovakia, January 22-28, 2005 : proceedings / / Peter Vojtas ... [et al.] (eds.)
| SOFSEM 2005 : theory and practice of computer science : 31st conference on current trends in theory and practice of computer science, Liptovsky Jan, Slovakia, January 22-28, 2005 : proceedings / / Peter Vojtas ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XV, 428 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | VojtasPeter |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software
Computers |
| ISBN | 3-540-30577-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Discovering Treewidth -- From Research Prototypes to Industrial Strength Open Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers -- Greedy Differential Approximations for Min Set Cover -- A Methodology of Visual Modeling Language Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns -- Non-planar Orthogonal Drawings with Fixed Topology -- A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph Partitioning Using Fixed Centers -- Two-Layer Planarization: Improving on Parameterized Algorithmics -- On the Stability of Approximation for Hamiltonian Path Problems -- Robustness of Composed Timed Systems -- Topology Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols -- Modeling Data Integration with Updateable Object Views -- Fixed-Parameter Tractable Algorithms for Testing Upward Planarity -- Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion -- Adjustment of Indirect Association Rules for the Web -- Anonymous Communication with On-line and Off-line Onion Encoding -- Characteristic Patterns for LTL -- Planar Straight-Line Drawing in an Grid with Angular Resolution (1/n) -- Modeling Nested Relationships in XML Documents Using Relational Databases -- RAQ: A Range-Queriable Distributed Data Structure -- On Some Weighted Satisfiability and Graph Problems -- On the Security and Composability of the One Time Pad -- Lower Bounds on the OBDD Size of Graphs of Some Popular Functions -- XML-Based Declarative Access Control -- VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures -- Cost-Constrained Minimum-Delay Multicasting -- Ontology-Based Inconsistency Management of Software Requirements Specifications -- The Best Student Paper -- Suffix Tree Based Data Compression -- Short Contributed Papers -- Tier Aspect Model Based on Updatable Views -- Well-Founded Metamodeling for Model-Driven Architecture -- Stepwise Optimization Method for k-CNN Search for Location-Based Service -- An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture -- Outerplanar Crossing Numbers of 3-Row Meshes, Halin Graphs and Complete p-Partite Graphs -- Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance -- Feature Selection by Reordering -- A Management Scheme for the Basic Types in High Level Languages -- Bayesian Networks in Software Maintenance Management -- A Multiagent System Aiding Information Retrieval in Internet Using Consensus Methods -- Interval-Valued Data Structures and Their Application to e-Learning -- Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms -- Representation of Extended RBAC Model Using UML Language -- A Methodology for Writing Class Contracts -- Volumes of 3D Drawings of Homogenous Product Graphs. |
| Record Nr. | UNINA-9910483316103321 |
| Berlin, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||