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.
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / / edited by Martin Giese, Arild Waaler |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 341 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Software engineering Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Software Engineering |
| Soggetto genere / forma |
Kongress2009.Oslo
Conference papers and proceedings. Kongress. Oslo (2009) |
| ISBN | 3-642-02716-4 |
| Classificazione |
DAT 706f
SS 4800 004 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Presenting Constraints -- On the Use of Automata for Deciding Linear Arithmetic -- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus -- A Schemata Calculus for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A Novel Architecture for Situation Awareness Systems -- On the Proof Theory of Regular Fixed Points -- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus -- A Tableau-Based System for Spatial Reasoning about Directional Relations -- Terminating Tableaux for the Basic Fragment of Simple Type Theory -- Modular Sequent Systems for Modal Logic -- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions -- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories -- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference -- Sound Global State Caching for ALC with Inverse Roles -- A Tableau System for the Modal ?-Calculus -- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies -- Prime Implicate Tries -- Proof Systems for a Gödel Modal Logic -- Generic Modal Cut Elimination Applied to Conditional Logics -- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents -- Automated Synthesis of Tableau Calculi -- Tableaux for Projection Computation and Knowledge Compilation. |
| Record Nr. | UNISA-996465384603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Identity and Privacy in the Internet Age [[electronic resource] ] : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009, Proceedings / / edited by Audun Jøsang, Torleiv Maseng, Svein J. Knapskog
| Identity and Privacy in the Internet Age [[electronic resource] ] : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009, Proceedings / / edited by Audun Jøsang, Torleiv Maseng, Svein J. Knapskog |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 303 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Application software
Information storage and retrieval Coding theory Information theory Computer security Data structures (Computer science) Data encryption (Computer science) Computer Applications Information Storage and Retrieval Coding and Information Theory Systems and Data Security Data Structures and Information Theory Cryptology |
| Soggetto genere / forma |
Kongress.
Oslo (2009) |
| ISBN | 3-642-04766-1 |
| Classificazione |
DAT 461f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1: Anonymity and Privacy -- On the Effectiveness of Privacy Breach Disclosure Legislation in Europe: Empirical Evidence from the US Stock Market -- Facilitating the Adoption of Tor by Focusing on a Promising Target Group -- A Parallelism-Based Approach to Network Anonymization -- Security Usability of Petname Systems -- Session 2: Modelling and Design -- An Analysis of Widget Security -- Trade-Offs in Cryptographic Implementations of Temporal Access Control -- Blunting Differential Attacks on PIN Processing APIs -- Session 3: Network Layer Security -- Characterising Anomalous Events Using Change - Point Correlation on Unsolicited Network Traffic -- An Improved Attack on TKIP -- Session 4: Security for Mobile Users -- ContikiSec: A Secure Network Layer for Wireless Sensor Networks under the Contiki Operating System -- A Mechanism for Identity Delegation at Authentication Level -- Introducing Sim-Based Security Tokens as Enabling Technology for Mobile Real-Time Services -- Towards True Random Number Generation in Mobile Environments -- Session 5: Embedded Systems and Mechanisms -- Towards Modelling Information Security with Key-Challenge Petri Nets -- Security and Trust for the Norwegian E-Voting Pilot Project E-valg 2011 -- Advanced SIM Capabilities Supporting Trust-Based Applications -- Towards Practical Enforcement Theories -- Session 6: Protocols and Protocol Analysis -- Security Analysis of AN.ON’s Payment Scheme -- Formal Analysis of the Estonian Mobile-ID Protocol -- Generating In-Line Monitors for Rabin Automata. |
| Record Nr. | UNISA-996465313803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Image Analysis [[electronic resource] ] : 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, Proceedings / / edited by Arnt-Borre Salberg, Jon Yngve Hardeberg, Robert Jenssen
| Image Analysis [[electronic resource] ] : 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, Proceedings / / edited by Arnt-Borre Salberg, Jon Yngve Hardeberg, Robert Jenssen |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (796 p.) |
| Disciplina | 621.367 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Pattern recognition Computer graphics Image Processing and Computer Vision Pattern Recognition Computer Graphics |
| Soggetto genere / forma |
Kongress.
Oslo (2009) |
| ISBN |
1-282-29780-5
9786612297809 3-642-02230-8 |
| Classificazione |
DAT 760f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Human Motion and Action Analysis -- Instant Action Recognition -- Using Hierarchical Models for 3D Human Body-Part Tracking -- Analyzing Gait Using a Time-of-Flight Camera -- Primitive Based Action Representation and Recognition -- Object and Pattern Recognition -- Recognition of Protruding Objects in Highly Structured Surroundings by Structural Inference -- A Binarization Algorithm Based on Shade-Planes for Road Marking Recognition -- Rotation Invariant Image Description with Local Binary Pattern Histogram Fourier Features -- Weighted DFT Based Blur Invariants for Pattern Recognition -- Color Imaging and Quality -- The Effect of Motion Blur and Signal Noise on Image Quality in Low Light Imaging -- A Hybrid Image Quality Measure for Automatic Image Quality Assessment -- Framework for Applying Full Reference Digital Image Quality Measures to Printed Images -- Colour Gamut Mapping as a Constrained Variational Problem -- Multispectral Color Science -- Geometric Multispectral Camera Calibration -- A Color Management Process for Real Time Color Reconstruction of Multispectral Images -- Precise Analysis of Spectral Reflectance Properties of Cosmetic Foundation -- Extending Diabetic Retinopathy Imaging from Color to Spectra -- Medical and Biomedical Applications -- Fast Prototype Based Noise Reduction -- Towards Automated TEM for Virus Diagnostics: Segmentation of Grid Squares and Detection of Regions of Interest -- Unsupervised Assessment of Subcutaneous and Visceral Fat by MRI -- Image and Pattern Analysis in Astrophysics and Astronomy -- Decomposition and Classification of Spectral Lines in Astronomical Radio Data Cubes -- Segmentation, Tracking and Characterization of Solar Features from EIT Solar Corona Images -- Galaxy Decomposition in Multispectral Images Using Markov Chain Monte Carlo Algorithms -- Face Recognition and Tracking -- Head Pose Estimation from Passive Stereo Images -- Multi-band Gradient Component Pattern (MGCP): A New Statistical Feature for Face Recognition -- Weight-Based Facial Expression Recognition from Near-Infrared Video Sequences -- Stereo Tracking of Faces for Driver Observation -- Computer Vision -- Camera Resectioning from a Box -- Appearance Based Extraction of Planar Structure in Monocular SLAM -- A New Triangulation-Based Method for Disparity Estimation in Image Sequences -- Sputnik Tracker: Having a Companion Improves Robustness of the Tracker -- Poster Session 1 -- A Convex Approach to Low Rank Matrix Approximation with Missing Data -- Multi-frequency Phase Unwrapping from Noisy Data: Adaptive Local Maximum Likelihood Approach -- A New Hybrid DCT and Contourlet Transform Based JPEG Image Steganalysis Technique -- Improved Statistical Techniques for Multi-part Face Detection and Recognition -- Face Recognition under Variant Illumination Using PCA and Wavelets -- On the Spatial Distribution of Local Non-parametric Facial Shape Descriptors -- Informative Laplacian Projection -- Segmentation of Highly Lignified Zones in Wood Fiber Cross-Sections -- Dense and Deformable Motion Segmentation for Wide Baseline Images -- A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms -- A Fast Optimization Method for Level Set Segmentation -- Segmentation of Touching Cell Nuclei Using a Two-Stage Graph Cut Model -- Parallel Volume Image Segmentation with Watershed Transformation -- Fast-Robust PCA -- Efficient K-Means VLSI Architecture for Vector Quantization -- Joint Random Sample Consensus and Multiple Motion Models for Robust Video Tracking -- Extending GKLT Tracking—Feature Tracking for Controlled Environments with Integrated Uncertainty Estimation -- Image Based Quantitative Mosaic Evaluation with Artificial Video -- Improving Automatic Video Retrieval with Semantic Concept Detection -- Content-Aware Video Editing in the Temporal Domain -- High Definition Wearable Video Communication -- Regularisation of 3D Signed Distance Fields -- An Evolutionary Approach for Object-Based Image Reconstruction Using Learnt Priors -- Disambiguation of Fingerprint Ridge Flow Direction—Two Approaches -- Similarity Matches of Gene Expression Data Based on Wavelet Transform -- Poster Session 2 -- Simple Comparison of Spectral Color Reproduction Workflows -- Kernel Based Subspace Projection of Near Infrared Hyperspectral Images of Maize Kernels -- The Number of Linearly Independent Vectors in Spectral Databases -- A Clustering Based Method for Edge Detection in Hyperspectral Images -- Contrast Enhancing Colour to Grey -- On the Use of Gaze Information and Saliency Maps for Measuring Perceptual Contrast -- A Method to Analyze Preferred MTF for Printing Medium Including Paper -- Efficient Denoising of Images with Smooth Geometry -- Kernel Entropy Component Analysis Pre-images for Pattern Denoising -- Combining Local Feature Histograms of Different Granularities -- Extraction of Windows in Facade Using Kernel on Graph of Contours -- Multi-view and Multi-scale Recognition of Symmetric Patterns -- Automatic Quantification of Fluorescence from Clustered Targets in Microscope Images -- Bayesian Classification of Image Structures -- Globally Optimal Least Squares Solutions for Quasiconvex 1D Vision Problems -- Spatio-temporal Super-Resolution Using Depth Map -- A Comparison of Iterative 2D-3D Pose Estimation Methods for Real-Time Applications -- A Comparison of Feature Detectors with Passive and Task-Based Visual Saliency -- Grouping of Semantically Similar Image Positions -- Recovering Affine Deformations of Fuzzy Shapes -- Shape and Texture Based Classification of Fish Species -- Improved Quantification of Bone Remodelling by Utilizing Fuzzy Based Segmentation -- Fusion of Multiple Expert Annotations and Overall Score Selection for Medical Image Diagnosis -- Quantification of Bone Remodeling in SR?CT Images of Implants. |
| Record Nr. | UNISA-996465588103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Image Analysis : 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, Proceedings / / edited by Arnt-Borre Salberg, Jon Yngve Hardeberg, Robert Jenssen
| Image Analysis : 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, Proceedings / / edited by Arnt-Borre Salberg, Jon Yngve Hardeberg, Robert Jenssen |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (796 p.) |
| Disciplina | 621.367 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Pattern recognition Computer graphics Image Processing and Computer Vision Pattern Recognition Computer Graphics |
| Soggetto genere / forma |
Kongress.
Oslo (2009) |
| ISBN |
1-282-29780-5
9786612297809 3-642-02230-8 |
| Classificazione |
DAT 760f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Human Motion and Action Analysis -- Instant Action Recognition -- Using Hierarchical Models for 3D Human Body-Part Tracking -- Analyzing Gait Using a Time-of-Flight Camera -- Primitive Based Action Representation and Recognition -- Object and Pattern Recognition -- Recognition of Protruding Objects in Highly Structured Surroundings by Structural Inference -- A Binarization Algorithm Based on Shade-Planes for Road Marking Recognition -- Rotation Invariant Image Description with Local Binary Pattern Histogram Fourier Features -- Weighted DFT Based Blur Invariants for Pattern Recognition -- Color Imaging and Quality -- The Effect of Motion Blur and Signal Noise on Image Quality in Low Light Imaging -- A Hybrid Image Quality Measure for Automatic Image Quality Assessment -- Framework for Applying Full Reference Digital Image Quality Measures to Printed Images -- Colour Gamut Mapping as a Constrained Variational Problem -- Multispectral Color Science -- Geometric Multispectral Camera Calibration -- A Color Management Process for Real Time Color Reconstruction of Multispectral Images -- Precise Analysis of Spectral Reflectance Properties of Cosmetic Foundation -- Extending Diabetic Retinopathy Imaging from Color to Spectra -- Medical and Biomedical Applications -- Fast Prototype Based Noise Reduction -- Towards Automated TEM for Virus Diagnostics: Segmentation of Grid Squares and Detection of Regions of Interest -- Unsupervised Assessment of Subcutaneous and Visceral Fat by MRI -- Image and Pattern Analysis in Astrophysics and Astronomy -- Decomposition and Classification of Spectral Lines in Astronomical Radio Data Cubes -- Segmentation, Tracking and Characterization of Solar Features from EIT Solar Corona Images -- Galaxy Decomposition in Multispectral Images Using Markov Chain Monte Carlo Algorithms -- Face Recognition and Tracking -- Head Pose Estimation from Passive Stereo Images -- Multi-band Gradient Component Pattern (MGCP): A New Statistical Feature for Face Recognition -- Weight-Based Facial Expression Recognition from Near-Infrared Video Sequences -- Stereo Tracking of Faces for Driver Observation -- Computer Vision -- Camera Resectioning from a Box -- Appearance Based Extraction of Planar Structure in Monocular SLAM -- A New Triangulation-Based Method for Disparity Estimation in Image Sequences -- Sputnik Tracker: Having a Companion Improves Robustness of the Tracker -- Poster Session 1 -- A Convex Approach to Low Rank Matrix Approximation with Missing Data -- Multi-frequency Phase Unwrapping from Noisy Data: Adaptive Local Maximum Likelihood Approach -- A New Hybrid DCT and Contourlet Transform Based JPEG Image Steganalysis Technique -- Improved Statistical Techniques for Multi-part Face Detection and Recognition -- Face Recognition under Variant Illumination Using PCA and Wavelets -- On the Spatial Distribution of Local Non-parametric Facial Shape Descriptors -- Informative Laplacian Projection -- Segmentation of Highly Lignified Zones in Wood Fiber Cross-Sections -- Dense and Deformable Motion Segmentation for Wide Baseline Images -- A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms -- A Fast Optimization Method for Level Set Segmentation -- Segmentation of Touching Cell Nuclei Using a Two-Stage Graph Cut Model -- Parallel Volume Image Segmentation with Watershed Transformation -- Fast-Robust PCA -- Efficient K-Means VLSI Architecture for Vector Quantization -- Joint Random Sample Consensus and Multiple Motion Models for Robust Video Tracking -- Extending GKLT Tracking—Feature Tracking for Controlled Environments with Integrated Uncertainty Estimation -- Image Based Quantitative Mosaic Evaluation with Artificial Video -- Improving Automatic Video Retrieval with Semantic Concept Detection -- Content-Aware Video Editing in the Temporal Domain -- High Definition Wearable Video Communication -- Regularisation of 3D Signed Distance Fields -- An Evolutionary Approach for Object-Based Image Reconstruction Using Learnt Priors -- Disambiguation of Fingerprint Ridge Flow Direction—Two Approaches -- Similarity Matches of Gene Expression Data Based on Wavelet Transform -- Poster Session 2 -- Simple Comparison of Spectral Color Reproduction Workflows -- Kernel Based Subspace Projection of Near Infrared Hyperspectral Images of Maize Kernels -- The Number of Linearly Independent Vectors in Spectral Databases -- A Clustering Based Method for Edge Detection in Hyperspectral Images -- Contrast Enhancing Colour to Grey -- On the Use of Gaze Information and Saliency Maps for Measuring Perceptual Contrast -- A Method to Analyze Preferred MTF for Printing Medium Including Paper -- Efficient Denoising of Images with Smooth Geometry -- Kernel Entropy Component Analysis Pre-images for Pattern Denoising -- Combining Local Feature Histograms of Different Granularities -- Extraction of Windows in Facade Using Kernel on Graph of Contours -- Multi-view and Multi-scale Recognition of Symmetric Patterns -- Automatic Quantification of Fluorescence from Clustered Targets in Microscope Images -- Bayesian Classification of Image Structures -- Globally Optimal Least Squares Solutions for Quasiconvex 1D Vision Problems -- Spatio-temporal Super-Resolution Using Depth Map -- A Comparison of Iterative 2D-3D Pose Estimation Methods for Real-Time Applications -- A Comparison of Feature Detectors with Passive and Task-Based Visual Saliency -- Grouping of Semantically Similar Image Positions -- Recovering Affine Deformations of Fuzzy Shapes -- Shape and Texture Based Classification of Fish Species -- Improved Quantification of Bone Remodelling by Utilizing Fuzzy Based Segmentation -- Fusion of Multiple Expert Annotations and Overall Score Selection for Medical Image Diagnosis -- Quantification of Bone Remodeling in SR?CT Images of Implants. |
| Record Nr. | UNINA-9910484841003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
