the proceedings contain 71 papers. the topics discussed include: non-revision reasoning without redundancy in predicate logic;dynamic frequency and duty cycle control method for fast pulse-charging of lithium battery ...
ISBN:
(纸本)9781467392952
the proceedings contain 71 papers. the topics discussed include: non-revision reasoning without redundancy in predicate logic;dynamic frequency and duty cycle control method for fast pulse-charging of lithium battery based on polarization curve;a single access point based traffic control system with passive measurement;texture separation for saliency detection of image with cluttered background;a novel semi-fragile audio watermarking technique based on support vector regression;a method for solving large sparse unsymmetric linear equations;the dynamic evaluation strategy for evolvable hardware;identity-based broadcast encryption schemes for open networks;a group authentication scheme supporting cheating detection and identification;SDSNM: a software-defined security networking mechanism to defend against DDoS attacks;and ant-colony optimization based algorithm for energy-efficient scheduling on dynamically reconfigurable systems.
the proceedings contain 327 papers. the topics discussed include: diabetes mellitus detection based on facial block texture features using the Gabor filter;classification of electrocardiogram signals with deep belief ...
ISBN:
(纸本)9781479979813
the proceedings contain 327 papers. the topics discussed include: diabetes mellitus detection based on facial block texture features using the Gabor filter;classification of electrocardiogram signals with deep belief networks;combining N-gram and dependency word pair for multi-document summarization;on utilizing stochastic non-linear fractional bin packing to resolve distributed web crawling;adaptive neural network position/force hybrid control for constrained reconfigurable manipulators;vehicle state estimation using cubature kalman filter;design and development of sypinge-type magnetorheological damper;an algorithm for fractional order system identification;semi-active spiral flow channel magnetorheological damper;attitude tracking control based on adaptive sliding mode technique with double closed loop for spacecraft near small body;and theory and substantiation of z0g1 controller conquering singularity problem of output tracking for a class of nonlinear system.
the proceedings contain 112 papers. the topics discussed include: a study on the preprocessing of MLFMA parallel computation;a systemic strategy for tuning intra-node collective communication on multicore systems;form...
ISBN:
(纸本)9780769539324
the proceedings contain 112 papers. the topics discussed include: a study on the preprocessing of MLFMA parallel computation;a systemic strategy for tuning intra-node collective communication on multicore systems;formal approach for performance analysis oriented parallel system design;investigation of factors impacting thread-level parallelism from desktop, multimedia and HPC applications;a program behavior study of block cryptography algorithms on GPGPU;a resource-efficient system for measuring flow length distribution;a heuristic approach with branch cut to service substitution in service orchestration;high performance and parallel model for LU decomposition on FPGAs;a random-walk-based dynamic tree evolution algorithm with exponential speed of convergence to optimality on regular networks;performance evaluation of mobile service design paradigm in ubiquitous computing environments;and an improved approach to tag reduction on low power CMP with trade-off of energy and performance.
the proceedings contain 109 papers. the topics discussed include: research on performance optimization for grid application using distributed file system;management and control techniques for distributed simulation sy...
ISBN:
(纸本)9780769541396
the proceedings contain 109 papers. the topics discussed include: research on performance optimization for grid application using distributed file system;management and control techniques for distributed simulation system;a fast single pattern matching algorithm based on the bit-parallel;traffic optimization for distributed network model base on Petri nets;performance modeling of resource failures in grid environments;resource discovery using mobile agents;affordance of ubiquitous learning through cloud computing;leakage-aware reallocation for periodic real-time tasks on multicore processors;XML documents clustering research based on weighted cosine measure;gene expression regulation in e-cell model analog-cell;a prefetching coordinate algorithm which can be used in multi-core processors;semantic retrieval system based on corn ontology;and blind identification method for authenticity of infinite light source images.
the proceedings contain 176 papers. the topics discussed include: lessons learned in design and delivery of an introductory styling MOOC;machine learning approach to task ranking;coercion resistance in a practical sec...
ISBN:
(纸本)9781538608401
the proceedings contain 176 papers. the topics discussed include: lessons learned in design and delivery of an introductory styling MOOC;machine learning approach to task ranking;coercion resistance in a practical secret voting scheme for large scale elections;an evaluation method of data valuation based on analytic hierarchy process;more on the inverse problem of Steiner Wiener index;probabilistic frequent itemsets mining based on expectation bound over uncertain database;on detecting partially occluded faces with pose variations;grid-based indexing and search algorithms for large-scale and high-dimensional data;image segmentation based on exponential kernel function;a personnel identification method based on the regional division of a classroom image;accurate camera calibration using iteratively optimized algorithm of control points;and a novel fish image retrieval method based on saliency spatial pyramid.
Human food needs are increasing all the time. this condition is in line withthe increasing world population and exacerbated by climate change. Agricultural products are one of the sources of food to meet food needs. ...
详细信息
the proceedings contain 9 papers. the special focus in this conference is on Internet of things. the topics include: Long Term Traffic Congestion Detection Method Based on Speed-threshold;application of Digital Exhibi...
ISBN:
(纸本)9783031770029
the proceedings contain 9 papers. the special focus in this conference is on Internet of things. the topics include: Long Term Traffic Congestion Detection Method Based on Speed-threshold;application of Digital Exhibition and Preservation of Intangible Cultural Heritage via Holographic Real-Time Cloud Broadcasting;node Pressure Prediction by Aggregating Long-Range Information;novel technology for IoT Charging Battery;optimizing Target Coverage in Wireless Sensor Networks: A Hybrid Differential Evolution and Simulated Annealing-Based Approach;research on Automatic Detection and Early Warning of Epilepsy in Electroencephalogram Signals;cross-Scale Bilevel Aggregation for Multi-exposure Fusion via Conditional Generative Adversarial Network.
Based on a bibliometric approach, this study explores the research progress and cutting-edge trends of Artificial Intelligence (AI) in the global manufacturing *** analyzing 960 relevant literatures published between ...
详细信息
the proceedings contain 23 papers. the special focus in this conference is on theoretical computerscience-frontier of Algorithmic Wisdom. the topics include: On the Existence of EFX (and Pareto-Optimal) All...
ISBN:
(纸本)9789819777518
the proceedings contain 23 papers. the special focus in this conference is on theoretical computerscience-frontier of Algorithmic Wisdom. the topics include: On the Existence of EFX (and Pareto-Optimal) Allocations for Binary Chores;how to Play Old Maid with Virtual Players;algorithms for Optimally Shifting Intervals Under Intersection Graph Models;on the Fine-Grained Complexity of Approximating Max k-Coverage;nested and Interleaved Ticketing for Multiple Travelers;longest (k]-Tuple Common Substrings;scheduling Two Types of Jobs with Minimum Makespan;blockchain technology for Digital Asset Ownership;on the Optimal Mixing Problem of Approximate Nash Equilibria in Bimatrix Games;finding Fair and Efficient Allocations Under Budget Constraints;computations and Complexities of Tarski’s Fixed Points and Supermodular Games;parity-Constrained k-Supplier Problem;approximating Principal-Agent Problem Under Bayesian;robust Facility Leasing Problem with Penalties;randomized Strategyproof Mechanisms for Multi-Stage Facility Location Problem with Capacity Constraints;from Evolutionary Game Dynamics to Non-negative Matrix Factorization: Acceleration with Hessian Geometry;a Case for Copeland: from theory to Practice;deterministic and Universal Truthful Mechanism for Fair Matching;equilibrium Strategies of Carbon Emission Reduction in Agricultural Product Supply Chain Under Carbon Sink Trading;active Learning Supported Iterative Combinatorial Auctions;locating Two Facilities on a Square with a Minimum Distance Requirement.
暂无评论