登入選單
返回Google圖書搜尋
Computer Aided Systems Theory - EUROCAST 2009
Roberto Moreno-DíazFranz PichlerAlexis Quesada Arencibia
其他書名
12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
出版Springer Science & Business Media, 2009-10-08
主題Computers / Artificial Intelligence / GeneralComputers / Intelligence (AI) & SemanticsComputers / CAD-CAMComputers / Design, Graphics & Media / CAD-CAMComputers / Computer GraphicsComputers / Software Development & Engineering / Computer GraphicsComputers / Image ProcessingComputers / Artificial Intelligence / Computer Vision & Pattern RecognitionComputers / Computer Vision & Pattern RecognitionComputers / Optical Data ProcessingComputers / Software Development & Engineering / GeneralComputers / Computer SimulationComputers / Design, Graphics & Media / Graphics ToolsTechnology & Engineering / Engineering (General)
ISBN36420477189783642047718
URLhttp://books.google.com.hk/books?id=pfqhLH1NyjIC&hl=&source=gbs_api
EBookSAMPLE
註釋Systems Theory and Simulation: Formal Approaches.- Kolmogorov Stream Ciphers.- Morphotronic System (Theory).- Knowledge Discovery in Databases Using Multivalued Array Algebra.- Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes.- Analytical Representation of Intrinsic Directionality in Retinal Cells.- Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method.- A Software Implementation of the Rissanen Method for Partial Linear Systems Realization.- New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.- Optimizing the Hardware Usage of Parallel FSMs.- SynPSL: Behavioral Synthesis of PSL Assertions.- Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning.- Designing Communication Space in Wireless Sensor Network Based on Relational Attempt.- Boundary Scan Security Enhancements for a Cryptographic Hardware.- Automated Design of Totally Self-Checking Sequential Circuits.- A General Purpouse Control System.- Computation and Simulation in Modelling Biological Systems.- On the First Exit Time Problem for a Gompertz-Type Tumor Growth.- A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process.- Diffusion Processes Subject to Catastrophes.- Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images.- Vision-An Essay from a Computational View Point.- On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity.- Mathematical and Computational Modeling of Neurons and Neuronal Ensembles.- Intelligent Information Processing.- The Foldl Operator as a Coequalizer Using Coq.- Algorithm for Testing the Leibniz Algebra Structure.- Automatic Drusen Detection from Digital Retinal Images: AMD Prevention.- A Study of Extracting Knowledge from Guideline Documents.- Modelling Differential Structures in Proof Assistants: The Graded Case.- Vascular Landmark Detection in Retinal Images.- Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE.- Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language.- On Similarity in Case-Based Reasoning for Structural Health Monitoring.- A Distributed System for Massive Generation of Synthetic Video Using GPUs.- Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness.- Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines.- Debugging and Verification of Multi-Agent Systems.- Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL.- Applied Formal Verification.- Separation of Transitions, Actions, and Exceptions in Model-Based Testing.- Automatic Test Generation for Coverage Analysis Using CBMC.- Self-healing Assurance Based on Bounded Model Checking.- Effective Bit-Width and Under-Approximation.- Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.- Computer Vision and Image Processing.- Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems.- Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments.- Tomographic Image Reconstruction Using Abstractions.- Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling.- Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences.- Angular Contour Parameterization for Signature Identification.- Image Sequences Noise Reduction: An Optical Flow Based Approach.- Mobile and Autonomous Systems: Robots and Cars.- From Industrial to Ubiqitous Robots.- WiFi Localization System Using Fuzzy Rule-Based Classification.- Vehicle Detection Based on Laser Radar.- Biomimetic Controller for Situated Robots Based on State-Driven Behaviour.- Supporting Information Services for Travellers of Public Transport by Road.- Applying Reinforcement Learning to Multi-robot System Behavior Coordination.- ...