the proceedings contain 78 papers. the topics discussed include: putting the ‘account’ into cloud accountability;unifying data and replica placement for data-intensive services in geographically distributed clouds;t...
ISBN:
(纸本)9789897583650
the proceedings contain 78 papers. the topics discussed include: putting the ‘account’ into cloud accountability;unifying data and replica placement for data-intensive services in geographically distributed clouds;towards a roadmap for the migration of legacy software systems to a microservice based architecture;on incorporating security parameters in service level agreements;efficient task scheduling in cloud computing using an improved particle swarm optimization algorithm;a containerized big data streaming architecture for edge cloud computing on clustered single-board devices;and a fog computing service placement for smart cities based on genetic algorithms.
the proceedings contain 23 papers. the topics discussed include: on the complexity of counting the Hilbert basis of a linear diophantine system;solving combinatorial problems with regular local search algorithms;evide...
ISBN:
(纸本)3540664920
the proceedings contain 23 papers. the topics discussed include: 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;first order linear temporal logic over finite time structures;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;practical reasoning for expressive description logics;abstracting properties in concurrent constraint programming;a fixpoint semantics for reasoning about finite failure;extensions to the estimation calculus;Beth definability for the guarded fragment;and simplification of horn clauses that are clausal forms of guarded formulas.
the proceedings contain 132 papers. the topics discussed include: impulse noise reduction using image fusion approach;electronic voting with biometric verification offline and hybrid EVMS solution;utilizing segment pa...
ISBN:
(纸本)9781509020003
the proceedings contain 132 papers. the topics discussed include: impulse noise reduction using image fusion approach;electronic voting with biometric verification offline and hybrid EVMS solution;utilizing segment partitioning scheme for hybrid address spaces;semantic analysis of natural language software requirement;design and construction of mobility assistive hybrid automobile for impaired persons;managing communication risks in a multi-agent environment;semi-automatic knowledge transformation of semantic network ontologies into frames structures;monitoring of soldier's health and transmission of secret codes;sharing live events withthe family and friends far away using 'emotions transfer kit';feature set for Unicode based word processor supporting Urdu and Arabic scripts;combining variability, RCA and feature model for context-awareness;an improved image steganography technique based on MSB using bit differencing;a hierarchical cloud architecture for integrated mobility, service, and trust management of service-oriented lot systems;a framework for selection of SaaS by evaluating the quality of freemium model;role of cooperation in energy minimization in visual sensor network;dermoscopic image enhancement and hair artifact removal using Gabor wavelet;e-learning approach of the graph coloring problem applied to register allocation in embedded systems;non-technical issues in software designing phase;and intelligent feature selection using hybrid based feature selection method.
the proceedings contain 99 papers. the topics discussed include: galaxy morphology classification based on VGG19 deep convolutional neural network;machine learning and browser fingerprinting based approach for web bot...
ISBN:
(纸本)9798331517878
the proceedings contain 99 papers. the topics discussed include: galaxy morphology classification based on VGG19 deep convolutional neural network;machine learning and browser fingerprinting based approach for web bot detection;deep learning-based recognition system for hand-drawn sketches by children with down syndrome;mining haulage road maintenance prediction dashboard utilizing machine learning techniques;enhancing typing dynamics emotion recognition: a multi-class XGBoost approach for accurate sentiment detection;automated monitoring and analysis of avian behavior and hatching success using YOLOv8: a case study on red-wattled lapwings;and advanced convolutional neural networks for detecting and quantifying infections in coconut tree tissue cultures.
the proceedings contain 56 papers. the topics discussed include: wireless control of autonomous wheeled robot through GPRS - design and real time validation;design of RMDMTS protocol for efficient scheduled co-operati...
ISBN:
(纸本)9781479925605
the proceedings contain 56 papers. the topics discussed include: wireless control of autonomous wheeled robot through GPRS - design and real time validation;design of RMDMTS protocol for efficient scheduled co-operative buffer management and streaming in ad hoc network;computer independent USB to USB data transfer bridge;development of novel approach for testing of differential embedded systems;industrial power electronics and PLC system solution for enhancing the performance of DC/AC drive for specific application;impact of non-functional requirements on requirements evolution;performance analysis of vehicular ad hoc networks handovers with metaheuristic algorithms: a review;and measurement of a navigator's mental workload for ship handling based on saliva nitric oxide assay.
the proceedings contain 66 papers. the topics discussed include: the extended file system at GSFC;APL as a language for interactive computer graphics;an application of a specialized data bank for analysis and informat...
the proceedings contain 66 papers. the topics discussed include: the extended file system at GSFC;APL as a language for interactive computer graphics;an application of a specialized data bank for analysis and information retrieval in the field;management information/decision systems using APL;conversational bulling and display of solid objects;APL and its entry into the world (?);and techniques for computer administered examinations of restricted or confidential material.
the proceedings contain 87 papers. the topics discussed include: radar sensing via geometric machine learning over Riemannian manifolds;NR-V2X quality of service prediction through machine learning with nested cross-v...
ISBN:
(纸本)9798350384819
the proceedings contain 87 papers. the topics discussed include: radar sensing via geometric machine learning over Riemannian manifolds;NR-V2X quality of service prediction through machine learning with nested cross-validation scheme;distributed task offloading in mobile edge computing using metaheuristics;design and implementation on FPGA of a real-time secure audio communication system;load-balanced and full-coverage beam layout for multibeam satellite systems;performance investigation of UAVs ad hoc networks with 3D Markov chain model;unlocking MIMO potential: transmit antenna selection and maximal ratio combining meet keyhole RIS for enhanced performance;and comparative study of indoor performance metrics In Ibra City's mobile broadband networks, Oman.
the proceedings contain 40 papers. the topics discussed include: automation of tacit knowledge using machine learning;synthesis of integration problems and solutions;deep learning cyberbullying detection using stacked...
ISBN:
(纸本)9781728145778
the proceedings contain 40 papers. the topics discussed include: automation of tacit knowledge using machine learning;synthesis of integration problems and solutions;deep learning cyberbullying detection using stacked embbedings approach;synthesis of SQL queries from narrations;optimizing the vehicle routing problem with time windows under standardized metrics;gesture-based control of rotary pneumatic soft robot using leap motion controller;analysis of control flow graphs using graph convolutional neural networks;how does selecting a benchmark function suite influence the estimation of an algorithm's quality?;and automatic detection of toxic South African tweets using support vector machines with N-gram features.
the proceedings contain 53 papers. the topics discussed include: neuroeconomics: yet another field where rough sets can be useful?;research directions in the KES centre;on irreducible descriptive sets of attributes fo...
ISBN:
(纸本)3540884238
the proceedings contain 53 papers. the topics discussed include: neuroeconomics: yet another field where rough sets can be useful?;research directions in the KES centre;on irreducible descriptive sets of attributes for information systems;dominance-based rough set approach and bipolar abstract rough approximation spaces;paraconsistent logic programs with four-valued rough sets;an equivalent definition of rough sets;a note on attribute reduction in the decision-theoretic rough set model;an interpretation of belief functions on infinite universes in the theory of rough sets;some remarks on approximations of arbitrary binary relations of partial orders;on rough equalities and rough equivalences of sets;statistical independence of multi-variables from the viewpoint of linear algebra;and paraconsistent case-based reasoning applied to a restoration of electrical power substations.
the proceedings contain 248 papers. the topics discussed include: parallel computing implementation for real-time image dehazing based on dark channel;improved parallel algorithms for sequential minimal optimization o...
ISBN:
(纸本)9781538666142
the proceedings contain 248 papers. the topics discussed include: parallel computing implementation for real-time image dehazing based on dark channel;improved parallel algorithms for sequential minimal optimization of classification problems;heterogeneous assignment of functional units with Gaussian execution time on a tree;high performance and low latency vision system with hardware accelerator;merge-based parallel sparse matrix-sparse vector multiplication with a vector architecture;a learning-based adjustment model with genetic algorithm of function point estimation;high-performance implementation of matrix-free Runge-Kutta discontinuous Galerkin method for Euler equations;a step towards hadoop dynamic scaling;and towards building a distributed data management architecture to integrate multi-sources remote sensing big data.
暂无评论