Computer Aided Systems Theory - EUROCAST 2007 [[electronic resource] ] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XXXVIII, 1236 p.) |
Disciplina | 620.00285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer-aided engineering
Computer simulation Pattern recognition systems Artificial intelligence Computer science Microprocessors Computer architecture Computer-Aided Engineering (CAD, CAE) and Design Computer Modelling Automated Pattern Recognition Artificial Intelligence Computer Science Logic and Foundations of Programming Processor Architectures |
ISBN | 3-540-75867-4 |
Classificazione |
004
MSR 580f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Computers in Education -- Grid Computing -- Applied Formal Verification -- Cellular Automata -- Computer Vision -- Heuristic Problem Solving -- Signal Processing Architectures -- Robotics and Robotic Soccer -- Cybercars and Intelligent Vehicles -- Artificial Intelligence Components. |
Record Nr. | UNINA-9910483459603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer science : an overview / J. Glenn Brookshear |
Autore | Brookshear, J. Glenn |
Edizione | [5th ed.] |
Pubbl/distr/stampa | Reading, MA : Addison-Wesley Publ. Co., 1997 |
Descrizione fisica | xv, 483 p. : ill. ; 24 cm. |
Soggetto topico | Computer science |
ISBN | 0805346325 |
Classificazione |
004
621.3.8 QA76.B743 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000863769707536 |
Brookshear, J. Glenn | ||
Reading, MA : Addison-Wesley Publ. Co., 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Computer Vision Systems [[electronic resource] ] : 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings / / edited by Mei Chen, Bastian Leibe, Bernd Neumann |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXII, 366 p. 182 illus.) |
Disciplina | 006.37 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer Science |
Soggetto genere / forma |
Kongress2013.Sankt Petersburg
Conference papers and proceedings. |
ISBN | 3-642-39402-7 |
Classificazione |
SS 4800
004 DAT 760f |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Image and video capture -- visual attention and object detection -- self-localization and pose estimation -- motion and tracking -- 3D reconstruction -- features, learning and validation. |
Record Nr. | UNISA-996465978803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Vision Systems [[electronic resource] ] : 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings / / edited by Mei Chen, Bastian Leibe, Bernd Neumann |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXII, 366 p. 182 illus.) |
Disciplina | 006.37 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer Science |
Soggetto genere / forma |
Kongress2013.Sankt Petersburg
Conference papers and proceedings. |
ISBN | 3-642-39402-7 |
Classificazione |
SS 4800
004 DAT 760f |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Image and video capture -- visual attention and object detection -- self-localization and pose estimation -- motion and tracking -- 3D reconstruction -- features, learning and validation. |
Record Nr. | UNINA-9910483594503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings / / edited by Klaus Miesenberger [and three others] |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XXVIII, 1350 p.) |
Disciplina | 617.0330285 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico | Databases |
Soggetto genere / forma |
Kongress2008.Linz
Conference papers and proceedings. Kongress. Linz (2008) |
ISBN | 3-540-70540-6 |
Classificazione |
SS 4800
004 610 DAT 301f DAT 120f MED 230f |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote -- Human-Computer Interaction and Usability for Elderly (HCI4AGING) -- Design for All: From Idea to Practice -- (Users Need Standards)2 – Users Need Standards Need Users -- Accessibility: Education for Web Design and eLearning -- ACP – Accessible Content Processing -- Web Accessibility – Automatic/Manual Evaluation and Authoring Tools -- Web Accessibility – Quality Control and Best Practice -- People with Disabilities: Software Accessibility -- Entertainment Software Accessibility -- Hearing Impaired, Deaf and DeafBlind People: HCI and Communication -- People with Specific Learning Dificulties – Easy to Read and HCI -- Blind and Visually Impaired People: Human-Computer Interaction and Access to Graphics -- Access to Mathematics and Science -- Accessible Tourism -- Smart Environments -- Portable and Mobile Systems in Assistive Technology -- Skills vs. Abilities: Alternative Input and Communication Systems -- People with Disabilities: Speech Therapy and Sound Applications -- People with Disabilities: Mobility and Care -- People with Disabilities: Service Provision. |
Record Nr. | UNINA-9910483215703321 |
Berlin, Germany : , : Springer, , [2008] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computers helping people with special needs : 11th international conference, ICCHP 2008, Linz, Austria, July 9-11, 2008 : proceedings / / edited by Klaus Miesenberger [and three others] |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XXVIII, 1350 p.) |
Disciplina | 617.0330285 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico | Databases |
Soggetto genere / forma |
Kongress2008.Linz
Conference papers and proceedings. Kongress. Linz (2008) |
ISBN | 3-540-70540-6 |
Classificazione |
SS 4800
004 610 DAT 301f DAT 120f MED 230f |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote -- Human-Computer Interaction and Usability for Elderly (HCI4AGING) -- Design for All: From Idea to Practice -- (Users Need Standards)2 – Users Need Standards Need Users -- Accessibility: Education for Web Design and eLearning -- ACP – Accessible Content Processing -- Web Accessibility – Automatic/Manual Evaluation and Authoring Tools -- Web Accessibility – Quality Control and Best Practice -- People with Disabilities: Software Accessibility -- Entertainment Software Accessibility -- Hearing Impaired, Deaf and DeafBlind People: HCI and Communication -- People with Specific Learning Dificulties – Easy to Read and HCI -- Blind and Visually Impaired People: Human-Computer Interaction and Access to Graphics -- Access to Mathematics and Science -- Accessible Tourism -- Smart Environments -- Portable and Mobile Systems in Assistive Technology -- Skills vs. Abilities: Alternative Input and Communication Systems -- People with Disabilities: Speech Therapy and Sound Applications -- People with Disabilities: Mobility and Care -- People with Disabilities: Service Provision. |
Record Nr. | UNISA-996465992603316 |
Berlin, Germany : , : Springer, , [2008] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computing nature : Turing centenary perspective / / Gordana Dodig-Crnkovic, Raffaela Giovagnoli (eds.) |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Heidelberg, Germany : , : Springer, , 2013 |
Descrizione fisica | 1 online resource (vi, 269 pages) : illustrations (some color) |
Disciplina | 577.5609 |
Collana | Studies in Applied Philosophy, Epistemology and Rational Ethics |
Soggetto topico | Natural computation |
Soggetto genere / forma | Aufsatzsammlung |
ISBN | 3-642-37225-2 |
Classificazione |
004
ST 300 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From the Contents: Computing Nature – A Network of Networks of Concurrent Information Processes -- A Framework for Computing Like Nature -- The Coordination of Probabilistic Inference in Neural Systems.-Neurobiological Computation and Synthetic Intelligence.-Nature-like Computation and a Measure of Programmability -- Alan Turing’s Legacy: Info-Computational Philosophy of Nature -- Dualism of Selective and Structural Information in Modelling Dynamics of Information -- Intelligence And Reference. Formal Ontology Of The Natural Computation -- Representation: Analytic Pragmatism and AI -- Salient Features and Key Frames: An Interdisciplinary Perspective on Object Representation. |
Record Nr. | UNINA-9910438043203321 |
Heidelberg, Germany : , : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Database Systems for Advanced Applications [[electronic resource] ] : DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009 / / edited by Lei Chen, Chengfei Liu, Qing Liu, Ke Deng |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XV, 376 p.) |
Disciplina | 005.7565 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer communication systems
Data mining Database management Computers Information storage and retrieval Application software Computer Communication Networks Data Mining and Knowledge Discovery Database Management Information Systems and Communication Service Information Storage and Retrieval Information Systems Applications (incl. Internet) |
Soggetto genere / forma |
Brisbane (2009)
Kongress. |
ISBN | 3-642-04205-8 |
Classificazione |
004
DAT 650f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | First International Workshop on Benchmarking of XML and Semantic Web Applications (BenchmarX’09)) -- Workshop Organizers’ Message -- Current Approaches to XML Benchmarking -- TJDewey – On the Efficient Path Labeling Scheme Holistic Approach -- The XMLBench Project: Comparison of Fast, Multi-platform XML libraries -- A Synthetic, Trend-Based Benchmark for XPath -- An Empirical Evaluation of XML Compression Tools -- Benchmarking Performance-Critical Components in a Native XML Database System -- On Benchmarking Transaction Managers -- Second International Workshop on Managing Data Quality in Collaborative Information Systems and First International Workshop on Data and Process Provenance (MCIS’09 & WDPP’09) -- Workshop Organizers’ Message -- Data Provenance Support in Relational Databases for Stored Procedures -- A Vision and Agenda for Theory Provenance in Scientific Publishing -- Probabilistic Ranking in Uncertain Vector Spaces -- Logical Foundations for Similarity-Based Databases -- Tailoring Data Quality Models Using Social Network Preferences -- The Effect of Data Quality Tag Values and Usable Data Quality Tags on Decision-Making -- Predicting Timing Failures in Web Services -- A Two-Tire Index Structure for Approximate String Matching with Block Moves -- First International Workshop on Privacy-Preserving Data Analysis (PPDA’09) -- Workshop Organizers’ Message -- Privacy Risk Diagnosis: Mining l-Diversity -- Towards Preference-Constrained k-Anonymisation -- Privacy FP-Tree -- Classification with Meta-learning in Privacy Preserving Data Mining -- Importance of Data Standardization in Privacy-Preserving K-Means Clustering -- First International Workshop on Mobile Business Collaboration (MBC’09) -- Workshop Organizers’ Message -- A Decomposition Approach with Invariant Analysis for Workflow Coordination -- An Efficient P2P Range Query Processing Approach for Multi-dimensional Uncertain Data -- Flexibility as a Service -- Concept Shift Detection for Frequent Itemsets from Sliding Windows over Data Streams -- A Framework for Mining Stochastic Model of Business Process in Mobile Environments -- DASFAA 2009 PhD Workshop -- Workshop Organizers’ Message -- Encryption over Semi-trusted Database -- Integration of Domain Knowledge for Outlier Detection in High Dimensional Space -- Towards a Spreadsheet-Based Service Composition Framework. |
Record Nr. | UNISA-996465570603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Database Systems for Advanced Applications [[electronic resource] ] : DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009 / / edited by Lei Chen, Chengfei Liu, Qing Liu, Ke Deng |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XV, 376 p.) |
Disciplina | 005.7565 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer communication systems
Data mining Database management Computers Information storage and retrieval Application software Computer Communication Networks Data Mining and Knowledge Discovery Database Management Information Systems and Communication Service Information Storage and Retrieval Information Systems Applications (incl. Internet) |
Soggetto genere / forma |
Brisbane (2009)
Kongress. |
ISBN | 3-642-04205-8 |
Classificazione |
004
DAT 650f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | First International Workshop on Benchmarking of XML and Semantic Web Applications (BenchmarX’09)) -- Workshop Organizers’ Message -- Current Approaches to XML Benchmarking -- TJDewey – On the Efficient Path Labeling Scheme Holistic Approach -- The XMLBench Project: Comparison of Fast, Multi-platform XML libraries -- A Synthetic, Trend-Based Benchmark for XPath -- An Empirical Evaluation of XML Compression Tools -- Benchmarking Performance-Critical Components in a Native XML Database System -- On Benchmarking Transaction Managers -- Second International Workshop on Managing Data Quality in Collaborative Information Systems and First International Workshop on Data and Process Provenance (MCIS’09 & WDPP’09) -- Workshop Organizers’ Message -- Data Provenance Support in Relational Databases for Stored Procedures -- A Vision and Agenda for Theory Provenance in Scientific Publishing -- Probabilistic Ranking in Uncertain Vector Spaces -- Logical Foundations for Similarity-Based Databases -- Tailoring Data Quality Models Using Social Network Preferences -- The Effect of Data Quality Tag Values and Usable Data Quality Tags on Decision-Making -- Predicting Timing Failures in Web Services -- A Two-Tire Index Structure for Approximate String Matching with Block Moves -- First International Workshop on Privacy-Preserving Data Analysis (PPDA’09) -- Workshop Organizers’ Message -- Privacy Risk Diagnosis: Mining l-Diversity -- Towards Preference-Constrained k-Anonymisation -- Privacy FP-Tree -- Classification with Meta-learning in Privacy Preserving Data Mining -- Importance of Data Standardization in Privacy-Preserving K-Means Clustering -- First International Workshop on Mobile Business Collaboration (MBC’09) -- Workshop Organizers’ Message -- A Decomposition Approach with Invariant Analysis for Workflow Coordination -- An Efficient P2P Range Query Processing Approach for Multi-dimensional Uncertain Data -- Flexibility as a Service -- Concept Shift Detection for Frequent Itemsets from Sliding Windows over Data Streams -- A Framework for Mining Stochastic Model of Business Process in Mobile Environments -- DASFAA 2009 PhD Workshop -- Workshop Organizers’ Message -- Encryption over Semi-trusted Database -- Integration of Domain Knowledge for Outlier Detection in High Dimensional Space -- Towards a Spreadsheet-Based Service Composition Framework. |
Record Nr. | UNINA-9910484473803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Discrete geometry for computer imagery : 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings / / David Coeurjolly [and three others] (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XIII, 558 p.) |
Disciplina | 006.6869 |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics |
Soggetto topico |
Computer graphics
Discrete geometry - Data processing Geometric tomography |
ISBN | 3-540-79126-4 |
Classificazione |
004
DAT 756f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Digital Geometry Processing with Topological Guarantees -- What Can We Learn from Discrete Images about the Continuous World? -- Weak Rational Computing for Digital Geometry -- Models for Distance Geometry -- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis -- Generation and Recognition of Digital Planes Using Multi-dimensional Continued Fractions -- About the Frequencies of Some Patterns in Digital Planes Application to Area Estimators -- Combinatorial View of Digital Convexity -- Decomposition and Construction of Neighbourhood Operations Using Linear Algebra -- Digitally Continuous Multivalued Functions -- Continued Fractions and Digital Lines with Irrational Slopes -- Discrete and Combinational Topology -- New Characterizations of Simple Points, Minimal Non-simple Sets and P-Simple Points in 2D, 3D and 4D Discrete Spaces -- Cancellation of Critical Points in 2D and 3D Morse and Morse-Smale Complexes -- Characterizing and Detecting Toric Loops in n-Dimensional Discrete Toric Spaces -- Insertion and Expansion Operations for n-Dimensional Generalized Maps -- Discrete Complex Structure on Surfel Surfaces -- Minimal Simple Pairs in the Cubic Grid -- Determining Whether a Simplicial 3-Complex Collapses to a 1-Complex Is NP-Complete -- Geometric Transforms -- Medial Axis LUT Computation for Chamfer Norms Using -Polytopes -- Weighted Neighbourhood Sequences in Non-Standard Three-Dimensional Grids – Metricity and Algorithms -- Euclidean Eccentricity Transform by Discrete Arc Paving -- Statistical Template Matching under Geometric Transformations -- Distance Transformation on Two-Dimensional Irregular Isothetic Grids -- Self-similar Discrete Rotation Configurations and Interlaced Sturmian Words -- Segmenting Simplified Surface Skeletons -- Discrete Shape Representation, Recognition and Analysis -- Geometric Feature Estimators for Noisy Discrete Surfaces -- Normals and Curvature Estimation for Digital Surfaces Based on Convolutions -- On Minimal Moment of Inertia Polyominoes -- Gift-Wrapping Based Preimage Computation Algorithm -- Digital Planar Surface Segmentation Using Local Geometric Patterns -- Robust Estimation of Curvature along Digital Contours with Global Optimization -- An Efficient and Quasi Linear Worst-Case Time Algorithm for Digital Plane Recognition -- Tangential Cover for Thick Digital Curves -- Binomial Convolutions and Derivatives Estimation from Noisy Discretizations -- Discrete Tomography -- Selection of Local Thresholds for Tomogram Segmentation by Projection Distance Minimization -- Reconstructing Binary Matrices with Neighborhood Constraints: An NP-hard Problem -- An Exact, Non-iterative Mojette Inversion Technique Utilising Ghosts -- Approximating hv-Convex Binary Matrices and Images from Discrete Projections -- Morphological Analysis -- Advances in Constrained Connectivity -- On Watershed Cuts and Thinnings -- A New Fuzzy Connectivity Class Application to Structural Recognition in Images -- Directional Structures Detection Based on Morphological Line-Segment and Orientation Functions -- Discrete Modelling and Visualization -- Predicting Corresponding Region in a Third View Using Discrete Epipolar Lines -- A Discrete Modelling of Soil Fragments Transport by Runoff -- Discrete and Combinational Tools for Image Segmentation and Analysis -- Optimal Difference Operator Selection -- First Results for 3D Image Segmentation with Topological Map -- Adaptive Morphological Filtering Using Similarities Based on Geodesic Time -- Book Scanner Dewarping with Weak 3d Measurements and a Simplified Surface Model -- 3D Image Topological Structuring with an Oriented Boundary Graph for Split and Merge Segmentation. |
Record Nr. | UNINA-9910483995703321 |
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|