top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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. UNINA-9910483369103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XVI, 331 p.)
Disciplina 005.1/14
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer programming
Compilers (Computer programs)
Software engineering
Algorithms
Machine theory
Theory of Computation
Programming Techniques
Compilers and Interpreters
Software Engineering
Formal Languages and Automata Theory
ISBN 3-642-04652-5
Classificazione DAT 544f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System.
Record Nr. UNISA-996465651403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XVI, 331 p.)
Disciplina 005.1/14
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer programming
Compilers (Computer programs)
Software engineering
Algorithms
Machine theory
Theory of Computation
Programming Techniques
Compilers and Interpreters
Software Engineering
Formal Languages and Automata Theory
ISBN 3-642-04652-5
Classificazione DAT 544f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System.
Record Nr. UNINA-9910483763203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced Language Technologies for Digital Libraries [[electronic resource] ] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / / edited by Raffaella Bernardi, Frederique Segond, Ilya Zaihrayeu
Advanced Language Technologies for Digital Libraries [[electronic resource] ] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / / edited by Raffaella Bernardi, Frederique Segond, Ilya Zaihrayeu
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XI, 171 p. 53 illus., 32 illus. in color.)
Disciplina 025.04
Collana Theoretical Computer Science and General Issues
Soggetto topico Information storage and retrieval systems
Database management
Application software
Artificial intelligence
Machine theory
Information Storage and Retrieval
Database Management
Computer and Information Systems Applications
Artificial Intelligence
Formal Languages and Automata Theory
ISBN 3-642-23160-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465714903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Computer Science, Information Security and Privacy [[electronic resource] ] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Anupam Datta
Advances in Computer Science, Information Security and Privacy [[electronic resource] ] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Anupam Datta
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (IX, 159 p.)
Disciplina 005.8
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Data protection
Computer programming
Computer science
Algorithms
Machine theory
Computer Communication Networks
Data and Information Security
Programming Techniques
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
ISBN 1-280-38329-1
9786613561213
3-642-10622-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto “Logic Wins!” -- Higher-Order Program Verification and Language-Based Security -- Deducibility Constraints -- Automated Security Proof for Symmetric Encryption Modes -- Noninterference with Dynamic Security Domains and Policies -- A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers -- A Logic for Formal Verification of Quantum Programs -- Reducing Equational Theories for the Decision of Static Equivalence -- A Simulation-Based Treatment of Authenticated Message Exchange -- Trusted Deployment of Virtual Execution Environment in Grid Systems -- A Dolev-Yao Model for Zero Knowledge -- A Special Proxy Signature Scheme with Multi-warrant.
Record Nr. UNISA-996465324303316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Computer Science, Information Security and Privacy [[electronic resource] ] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Anupam Datta
Advances in Computer Science, Information Security and Privacy [[electronic resource] ] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings / / edited by Anupam Datta
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (IX, 159 p.)
Disciplina 005.8
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Data protection
Computer programming
Computer science
Algorithms
Machine theory
Computer Communication Networks
Data and Information Security
Programming Techniques
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
ISBN 1-280-38329-1
9786613561213
3-642-10622-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto “Logic Wins!” -- Higher-Order Program Verification and Language-Based Security -- Deducibility Constraints -- Automated Security Proof for Symmetric Encryption Modes -- Noninterference with Dynamic Security Domains and Policies -- A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers -- A Logic for Formal Verification of Quantum Programs -- Reducing Equational Theories for the Decision of Static Equivalence -- A Simulation-Based Treatment of Authenticated Message Exchange -- Trusted Deployment of Virtual Execution Environment in Grid Systems -- A Dolev-Yao Model for Zero Knowledge -- A Special Proxy Signature Scheme with Multi-warrant.
Record Nr. UNINA-9910484255203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Geometric Modeling and Processing [[electronic resource] ] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / / edited by Falai Chen, Bert Jüttler
Advances in Geometric Modeling and Processing [[electronic resource] ] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / / edited by Falai Chen, Bert Jüttler
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XV, 606 p.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Image processing—Digital techniques
Computer vision
Computer graphics
Computer simulation
Machine theory
Pattern recognition systems
Computer science—Mathematics
Discrete mathematics
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer Graphics
Computer Modelling
Formal Languages and Automata Theory
Automated Pattern Recognition
Discrete Mathematics in Computer Science
ISBN 3-540-79246-5
Classificazione DAT 756f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto RegularPapers -- Automatic PolyCube-Maps -- Bicubic G1 Interpolation of Irregular Quad Meshes Using a 4-Split -- Bounding the Distance between a Loop Subdivision Surface and Its Limit Mesh -- A Carving Framework for Topology Simplification of Polygonal Meshes -- Comparing Small Visual Differences between Conforming Meshes -- Continuous Collision Detection between Two 2D Curved-Edge Polygons under Rational Motions -- Controlling Torsion Sign -- Cutting and Fracturing Models without Remeshing -- Detection of Planar Regions in Volume Data for Topology Optimization -- Determining Directional Contact Range of Two Convex Polyhedra -- Efficient Collision Detection Using a Dual Bounding Volume Hierarchy -- Fast and Local Fairing of B-Spline Curves and Surfaces -- Finite Element Methods for Geometric Modeling and Processing Using General Fourth Order Geometric Flows -- Geodesic as Limit of Geodesics on PL-Surfaces -- Hausdorff and Minimal Distances between Parametric Freeforms in and -- On Interpolation by Spline Curves with Shape Parameters -- Lepp Terminal Centroid Method for Quality Triangulation: A Study on a New Algorithm -- Mean Value Bézier Maps -- Meaningful Mesh Segmentation Guided by the 3D Short-Cut Rule -- Mesh Simplification with Vertex Color -- A Multistep Approach to Restoration of Locally Undersampled Meshes -- Noise Removal Based on the Variation of Digitized Energy -- Note on Industrial Applications of Hu’s Surface Extension Algorithm -- Parameterizing Marching Cubes Isosurfaces with Natural Neighbor Coordinates -- Parametric Polynomial Minimal Surfaces of Degree Six with Isothermal Parameter -- Physically-Based Surface Texture Synthesis Using a Coupled Finite Element System -- Planar Shape Matching and Feature Extraction Using Shape Profile -- Reconstructing a Mesh from a Point Cloud by Using a Moving Parabolic Approximation -- A Revisit to Least Squares Orthogonal Distance Fitting of Parametric Curves and Surfaces -- Shifting Planes to Follow a Surface of Revolution -- Slit Map: Conformal Parameterization for Multiply Connected Surfaces -- Solving Systems of 3D Geometric Constraints with Non-rigid Clusters -- Space-Time Curve Analogies for Motion Editing -- Variational Skinning of an Ordered Set of Discrete 2D Balls -- Short Papers -- 3D Mesh Segmentation Using Mean-Shifted Curvature -- Convex Surface Interpolation -- Deformation and Smooth Joining of Mesh Models for Cardiac Surgical Simulation -- Digital Design for Functionally Graded Material Components Rapid Prototyping Manufacturing -- Layer-Based Mannequin Reconstruction and Parameterization from 3D Range Data -- Manifoldization of ?-Shapes by Topology Operators -- A Mesh Simplification Method Using Noble Optimal Positioning -- Narrow-Band Based Radial Basis Functions Implicit Surface Reconstruction -- Progressive Interpolation Using Loop Subdivision Surfaces -- Protein Surface Modeling Using Active Contour Model -- Quasi-interpolation for Data Fitting by the Radial Basis Functions -- A Shape Feature Based Simplification Method for Deforming Meshes -- Shape Representation and Invariant Description of Protein Tertiary Structure in Applications to Shape Retrieval and Classification -- The Structure of V-System over Triangulated Domains -- Tool Path Planning for 5-Axis Flank Milling Based on Dynamic Programming Techniques -- Trimming Bézier Surfaces on Bézier Surfaces Via Blossoming -- A Volumetric Framework for the Modeling and Rendering of Dynamic and Heterogeneous Scenes -- Geometric Calibration of Projector Imagery on Curved Screen Based-on Subdivision Mesh -- A Comment -- A Comment on ‘Constructing Regularity Feature Trees for Solid Models’.
Record Nr. UNISA-996465744403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Geometric Modeling and Processing [[electronic resource] ] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / / edited by Falai Chen, Bert Jüttler
Advances in Geometric Modeling and Processing [[electronic resource] ] : 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings / / edited by Falai Chen, Bert Jüttler
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XV, 606 p.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Image processing—Digital techniques
Computer vision
Computer graphics
Computer simulation
Machine theory
Pattern recognition systems
Computer science—Mathematics
Discrete mathematics
Computer Imaging, Vision, Pattern Recognition and Graphics
Computer Graphics
Computer Modelling
Formal Languages and Automata Theory
Automated Pattern Recognition
Discrete Mathematics in Computer Science
ISBN 3-540-79246-5
Classificazione DAT 756f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto RegularPapers -- Automatic PolyCube-Maps -- Bicubic G1 Interpolation of Irregular Quad Meshes Using a 4-Split -- Bounding the Distance between a Loop Subdivision Surface and Its Limit Mesh -- A Carving Framework for Topology Simplification of Polygonal Meshes -- Comparing Small Visual Differences between Conforming Meshes -- Continuous Collision Detection between Two 2D Curved-Edge Polygons under Rational Motions -- Controlling Torsion Sign -- Cutting and Fracturing Models without Remeshing -- Detection of Planar Regions in Volume Data for Topology Optimization -- Determining Directional Contact Range of Two Convex Polyhedra -- Efficient Collision Detection Using a Dual Bounding Volume Hierarchy -- Fast and Local Fairing of B-Spline Curves and Surfaces -- Finite Element Methods for Geometric Modeling and Processing Using General Fourth Order Geometric Flows -- Geodesic as Limit of Geodesics on PL-Surfaces -- Hausdorff and Minimal Distances between Parametric Freeforms in and -- On Interpolation by Spline Curves with Shape Parameters -- Lepp Terminal Centroid Method for Quality Triangulation: A Study on a New Algorithm -- Mean Value Bézier Maps -- Meaningful Mesh Segmentation Guided by the 3D Short-Cut Rule -- Mesh Simplification with Vertex Color -- A Multistep Approach to Restoration of Locally Undersampled Meshes -- Noise Removal Based on the Variation of Digitized Energy -- Note on Industrial Applications of Hu’s Surface Extension Algorithm -- Parameterizing Marching Cubes Isosurfaces with Natural Neighbor Coordinates -- Parametric Polynomial Minimal Surfaces of Degree Six with Isothermal Parameter -- Physically-Based Surface Texture Synthesis Using a Coupled Finite Element System -- Planar Shape Matching and Feature Extraction Using Shape Profile -- Reconstructing a Mesh from a Point Cloud by Using a Moving Parabolic Approximation -- A Revisit to Least Squares Orthogonal Distance Fitting of Parametric Curves and Surfaces -- Shifting Planes to Follow a Surface of Revolution -- Slit Map: Conformal Parameterization for Multiply Connected Surfaces -- Solving Systems of 3D Geometric Constraints with Non-rigid Clusters -- Space-Time Curve Analogies for Motion Editing -- Variational Skinning of an Ordered Set of Discrete 2D Balls -- Short Papers -- 3D Mesh Segmentation Using Mean-Shifted Curvature -- Convex Surface Interpolation -- Deformation and Smooth Joining of Mesh Models for Cardiac Surgical Simulation -- Digital Design for Functionally Graded Material Components Rapid Prototyping Manufacturing -- Layer-Based Mannequin Reconstruction and Parameterization from 3D Range Data -- Manifoldization of ?-Shapes by Topology Operators -- A Mesh Simplification Method Using Noble Optimal Positioning -- Narrow-Band Based Radial Basis Functions Implicit Surface Reconstruction -- Progressive Interpolation Using Loop Subdivision Surfaces -- Protein Surface Modeling Using Active Contour Model -- Quasi-interpolation for Data Fitting by the Radial Basis Functions -- A Shape Feature Based Simplification Method for Deforming Meshes -- Shape Representation and Invariant Description of Protein Tertiary Structure in Applications to Shape Retrieval and Classification -- The Structure of V-System over Triangulated Domains -- Tool Path Planning for 5-Axis Flank Milling Based on Dynamic Programming Techniques -- Trimming Bézier Surfaces on Bézier Surfaces Via Blossoming -- A Volumetric Framework for the Modeling and Rendering of Dynamic and Heterogeneous Scenes -- Geometric Calibration of Projector Imagery on Curved Screen Based-on Subdivision Mesh -- A Comment -- A Comment on ‘Constructing Regularity Feature Trees for Solid Models’.
Record Nr. UNINA-9910484866603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [[electronic resource] ] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [[electronic resource] ] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XIV, 361 p. 58 illus.) : online resource
Disciplina 001.642
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Machine theory
Computer science
Algorithms
Computer programming
Artificial Intelligence
Formal Languages and Automata Theory
Theory of Computation
Computer Science Logic and Foundations of Programming
Programming Techniques
ISBN 3-319-14726-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Prologue -- Actions and Agents -- Nonmonotonic and Human Reasoning.- Preferences -- Abstract Argumentation -- Reflections on Knowledge Representation.- Epilogue.
Record Nr. UNINA-9910484028203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui