| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910767557003321 |
|
|
Titolo |
Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / / edited by Harald Ganzinger, David McAllester, Andrei Voronkov |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-95181-8 |
9786610951819 |
3-540-48242-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 1999.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (409 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 1705 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer systems |
Computer science |
Computer programming |
Machine theory |
Artificial Intelligence |
Computer System Implementation |
Computer Science Logic and Foundations of Programming |
Programming Techniques |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Session 1 -- Proofs About Lists Using Ellipsis -- Session 2 -- On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System -- Solving Combinatorial Problems with Regular Local Search Algorithms -- Evidence Algorithm and Sequent Logical Inference Search -- Session 3 -- First Order Linear Temporal Logic over Finite Time Structures -- Model Checking Games for the Alternation-Free ?-Calculus and Alternating Automata -- Animating TLA Specifications -- Session 4 -- Transforming Conditional Rewrite Systems with Extra |
|
|
|
|
|
|
|
|
|
|
|
Variables into Unconditional Systems -- Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups -- Regular Sets of Descendants for Constructor-Based Rewrite Systems -- Session 5 -- Practical Reasoning for Expressive Description Logics -- Complexity of Terminological Reasoning Revisited -- Session 6 -- On the Complexity of Single-Rule Datalog Queries -- Session 7 -- Abstracting Properties in Concurrent Constraint Programming -- A Fixpoint Semantics for Reasoning about Finite Failure -- Extensions to the Estimation Calculus -- Session 8 -- Beth Definability for the Guarded Fragment -- Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas -- Session 9 -- Resource Management in Linear Logic Proof Search Revisited -- Focusing and Proof-Nets in Linear and Non-commutative Logic -- Session 10 -- CHAT Is ? (SLG-WAM) -- Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog -- A Partial Evaluation Framework for Curry Programs. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483034703321 |
|
|
Titolo |
Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / / edited by George Azzopardi, Nicolai Petkov |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXII, 799 p. 389 illus.) |
|
|
|
|
|
|
Collana |
|
Image Processing, Computer Vision, Pattern Recognition, and Graphics, , 3004-9954 ; ; 9257 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Application software |
Computer science |
Database management |
Information storage and retrieval systems |
Image processing - Digital techniques |
Computer vision |
Artificial Intelligence |
Computer and Information Systems Applications |
Theory of Computation |
Database Management |
Information Storage and Retrieval |
Computer Imaging, Vision, Pattern Recognition and Graphics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Texture and mathematical morphology for hot-spot detection in whole slice images of meningiomas and oligodendrogliomas -- Scale estimation in multiple models Fitting via Consensus Clustering -- Writer Identification and Retrieval using a Convolutional Neural Network -- Optical Truck Tracking for Autonomous Platooning -- Combination of Air- and Water-Calibration for a Fringe Projection Based Underwater 3D-Scanner -- Calibration of Stereo 3D Scanners with Minimal Number |
|
|
|
|
|
|
|
|
|
of Views Using Plane Targets and Vanishing Points -- Spatially Aware Enhancement of BoVW-based Image Retrieval Exploiting Saliency Map -- An Edge-based Matching Kernel for Graphs through the Directed Line Graphs -- The Virtues of Peer Pressure: A Simple Method for Discovering High-Value Mistakes -- Binarization of MultiSpectral Document Images -- Parallel 2D local pattern spectra of moment invariants for galaxy classification -- Automatic detection of nodules in legumes by imagery in a phenotyping Context -- Human Skin Segmentation Improved by Saliency Detection -- Disparity Estimation for Image Fusion in a Multi-aperture Camera -- Optimizing the Accuracy and Compactness of Multi-View Reconstructions -- Multiframe Super-Resolution for Flickering Objects -- Entropy-based automatic segmentation and extraction of tumors from brain MRI images -- Multiple Hypothesis Tracking with Sign Language Hand Motion Constraints -- Combining Features for Texture Analysis -- A novel canonical form for the registration of non rigid 3D shapes -- A NewOne Class Classifier Based on Ensemble of Binary Classifiers -- Real-Time Head Pose Estimation Using Multi-Variate RVM on Faces in the Wild -- A Verification-based Multithreshold Probing Approach to HEp-2 Cell Segmentation -- Precise cross-section estimation on tubular organs -- Materials Classification using Sparse Gray-Scale Bidirectional Reflectance Measurements -- Multiscale blood vessel delineation using B-COSFIRE Filters -- Progressive Blind Deconvolution -- Leaf-based plant identification through morphological characterization in digital images -- Cutting edge localisation in an edge profile milling head -- Recognition of architectural and electrical symbols by COSFIRE Filters with inhibition -- Improving Cross-Domain Concept Detection via Object-based Features -- Deep learning for feature extraction of Arabic Handwritten Script -- Automatic Summary Creation by Applying Natural Language Processing on Unstructured Medical Records -- Bilateral Filtering of 3D Point Clouds for Refined 3D Roadside Reconstructions -- Can Computer Vision Problems Benefit from Structured Hierarchical Classification?- A Multiple Classifier Learning by Sampling System for White Blood Cells Segmentation -- TECA: Petscale Pattern Recognition for Climate Science -- Visualization of Regression Models using Discriminative Dimensionality Reduction -- Evalulation of multi-view 3D reconstruction software -- Sample size for maximum likelihood estimates of Gaussian model -- Projective Label Propagation by Label Embedding -- Simplifying Indoor Scenes for Real-time Manipulation on Mobile Devices -- Image Contrast Enhancement by Distances Among Points in Fuzzy Hyper-cubes -- Iris Recognition Using Discrete Cosine Transform and Relational Measures -- 3D Texture Recognition for RGB-D Images -- Detection and Classification of Interesting Parts in Scanned Documents by Means of AdaBoost Classification and Low-level Features Verification -- Speed parameters in the level-set segmentation -- Bayesian Networks-based Defects Classes Discrimination in Weld Radiographic Images -- Feature Selection in Gait Classification using Geometric PSO Assisted by SVM -- Automatic Images Annotation Extension Using a Probabilistic Graphical Model -- An Improved ANOVA Algorithm for Crop Mark Extraction from Large Aerial Images using Semantics -- An Electronic Travel Aid to Assist Blind and Visually Impaired People to Avoid Obstacles -- Cellular Skeletons: a New Approach to Topological Skeletons with Geometric Features -- Model-Free Head Pose Estimation Based on Shape Factorization and Particle Filtering -- Plane-Fitting Robust Registration for Complex 3D Models -- Incremental Fixed-Rank Robust PCA for Video Background Recovery -- Sperm cells segmentation in micrographic images through Lambertain color model -- Interactive |
|
|
|
|
|
|
|
|
|
Image Colorization using Laplacian Coordinates -- LBP and Irregular Graph Pyramids -- Fusion of intra- and inter-modality algorithms for face-sketch recognition -- View-Independent Enhanced 3D Reconstruction of Non-RigidlyDeforming Objects -- Automated Fast Marching Method for Segmentation and Tracking of Region Of Interest in Scintigraphic Images Sequences -- Adaptive Saliency-weighted 2D-to-3D Video Conversion -- Variational Multiple Warping for Cardiac Image Analysis -- Facial Expression Recognition using Learning Vector Quantization -- Learning Vector Quantization with Adaptive Cost-based Outlier-Rejection -- Tensorial Orientation Scores. |
|
|
|
|
|
|
Sommario/riassunto |
|
The two volume set LNCS 9256 and 9257 constitutes the refereed proceedings of the 16th International Conference on Computer Analysis of Images and Patterns, CAIP 2015, held in Valletta, Malta, in September 2015. The 138 papers presented were carefully reviewed and selected from numerous submissions. CAIP 2015 is the sixteenth in the CAIP series of biennial international conferences devoted to all aspects of computer vision, image analysis and processing, pattern recognition, and related fields. |
|
|
|
|
|
|
|
| |