The proceedings contain 345 papers. The topics discussed include: a method for identification of moving objects by integrative use of a camera and accelerometers;history-independence: a fresh look at the case of R-Tre...
ISBN:
(纸本)9781450308571
The proceedings contain 345 papers. The topics discussed include: a method for identification of moving objects by integrative use of a camera and accelerometers;history-independence: a fresh look at the case of R-Trees;representation and management of spatiotemporal data in object-relational databases;high level adaptive fusion approach: application to land cover change prediction in satellite image databases;multilayer fuzzy ARTMAP: fast learning and fast testing for pattern classification;an application of circumscribed circle filter in the multi-stencils fast marching method;a novel segmentation method for convex lesions based on dynamic programming with local intra-class variance;rushes video summarization based on spatio-temporal features;texture fuzzy segmentation using adaptive affinity functions;and effective radical segmentation of offline handwritten chinese characters by using an enhanced snake model and genetic algorithm.
The proceedings contain 6 papers. The special focus in this conference is on appliedcomputing. The topics include: Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development A...
ISBN:
(纸本)9783030284299
The proceedings contain 6 papers. The special focus in this conference is on appliedcomputing. The topics include: Towards Pluri-Platform Development: Evaluating a Graphical Model-Driven Approach to App Development Across Device Classes;what Matters for Chatbots? Analyzing Quality Measures for Facebook Messenger’s 100 Most Popular Chatbots;linguistic Abstractions for Interoperability of IoT Platforms;Energy-Efficient Scheduling of Tasks with Conditional Precedence Constraints on MPSoCs.
The proceedings contain 46 papers. The topics discussed include: interactive programming and automated mathematics;the maniac ii system;structure of a language for a numerical analysis problem solving system;REDUCE: a...
The proceedings contain 46 papers. The topics discussed include: interactive programming and automated mathematics;the maniac ii system;structure of a language for a numerical analysis problem solving system;REDUCE: a user-oriented interactive system for algebraic simplification;VENUS: a small interactive nonprocedural language;the engineering assistant: design of a symbol manipulation system;an analysis of computer operations under running time priority disciplines;a macroscopic model of an interactive computing system;a content-evaluating mode of computer-aided instruction;on the construction of polyalgorithms for automatic numerical analysis;a learning program for the integration of systems of ordinary differential equations;on experiences with PIL, an interpretive language, in an undergraduate numerical methods course;curve fitting and editing via interactive graphics;and mathematical laboratories: a new power for the physical sciences.
The proceedings contain 303 papers. The topics discussed include: formal analysis of the biological circuits using higher-order-logic theorem proving;de novo drug design using self attention mechanism;survey of public...
ISBN:
(纸本)9781450368667
The proceedings contain 303 papers. The topics discussed include: formal analysis of the biological circuits using higher-order-logic theorem proving;de novo drug design using self attention mechanism;survey of public assay data: opportunities and challenges to understanding antimicrobial resistance;student research abstract: multimodal deep learning based approach for cells state classification;process discovery using in-database minimum self distance abstractions;event-log abstraction using batch session identification and clustering;resource-centric process mining: clustering using local process models;enhancing business processes with trustworthiness using blockchain: a goal-oriented approach;a subprocess discovery framework for process model modularization and abstraction;identification of data propagation paths for efficient dynamic information flow tracking;comparing identifiers and comments in engineered and non-engineered code: a large-scale empirical study;is there a correlation between code comments and issues? - an exploratory study;and evaluating techniques for method-exact energy measurements: towards a framework for platform-independent code-level energy measurements.
This conference proceedings contains 70 paperes. The following topics are dealt with: software engineering;neural nets;databases;parallel processing;expert systems;logic and symbolic programming;graphs and networks;in...
详细信息
ISBN:
(纸本)0818620315
This conference proceedings contains 70 paperes. The following topics are dealt with: software engineering;neural nets;databases;parallel processing;expert systems;logic and symbolic programming;graphs and networks;information retrieval and office automation;computational linguistics and natural language processing;parallel and distributed systems;database and operating systems;networking;object-oriented systems;simulation;graphics;algorithms and file management;and queues and architecture.
The proceedings contain 328 papers. The topics discussed include: spatial interpolation: an analytical comparison between kriging and RBF networks;faster construction of ball-partitioning-based metric access methods;a...
ISBN:
(纸本)9781450316569
The proceedings contain 328 papers. The topics discussed include: spatial interpolation: an analytical comparison between kriging and RBF networks;faster construction of ball-partitioning-based metric access methods;a multiple feature vector framework for forest species recognition;towards skeleton biometric identification using the Microsoft kinect sensor;convexity local contour sequences for gesture recognition;an evolutionary spline fitting algorithm for identifying filamentous cyanobacteria;gesture unit segmentation using support vector machines: segmenting gestures from rest positions;a data reduction and organization approach for efficient image annotation;an intelligent building that listens to your needs;a collective robotic architecture in search and rescue scenarios;performance based task assignment in multi-robot patrolling;and towards a domain specific modeling language for agent-based models in land use science.
Connected autonomous vehicles (CAVs) require extensive data processing to make real-time decisions such as obstacle detection, collision avoidance, and route optimization. To enable fast and accurate decision-making i...
详细信息
ISBN:
(纸本)9798400706295
Connected autonomous vehicles (CAVs) require extensive data processing to make real-time decisions such as obstacle detection, collision avoidance, and route optimization. To enable fast and accurate decision-making in CAVs, services traditionally executed in cloud data centers are being moved to the edge to minimize data transfer from vehicles to the cloud. We present a framework called Q-Edge that utilizes quantum computing at the network edge to improve the speed and effectiveness of data analysis for CAVs. By integrating quantum computing principles such as superposition, entanglement, and teleportation with edge computing, we propose a solution to address the latency and bandwidth issues inherent in traditional cloud computing methods. This approach, leveraging quantum software engineering practices, enables realtime decision-making, optimizing CAV performance and enhancing traffic management, urban mobility, and road safety.
The demand for low latency, bandwidth efficiency, and privacy has driven distributed applications to the network edge, where heterogeneous, and untrusted, and uncontrolled networks pose challenges. This paper presents...
详细信息
ISBN:
(纸本)9798400706295
The demand for low latency, bandwidth efficiency, and privacy has driven distributed applications to the network edge, where heterogeneous, and untrusted, and uncontrolled networks pose challenges. This paper presents a software-defined overlay networking (SDON) middleware that simplifies application development through centralized control of edge resources while addressing many challenges prevalent at the edge. SDON enables applications to specify high-level requirements, such as service placement and communication goals. These are automatically translated into device-specific configurations and deployed on appropriate edge resources. The middleware is implemented as fully functional software, published as open-source, and will be evaluated in multiple edge computing use cases, to demonstrate its application optimization potential.
The proceedings contain 307 papers. The topics discussed include: discovering, selecting and exploiting feature sequence records of study participants for the classification of epidemiological data on hepatic steatosi...
ISBN:
(纸本)9781450351911
The proceedings contain 307 papers. The topics discussed include: discovering, selecting and exploiting feature sequence records of study participants for the classification of epidemiological data on hepatic steatosis;a parallel framework for HCC detection in DCE-MRI sequences with wavelet-based description and SVM classification;an adaptive neuro-fuzzy inference system for improving data quality in disease registries;deep metric learning for multi-labelled radiographs;a TF-IDF based topic model for identifying lncRNAs from genomic background;a multi-criteria decision making approach for predicting cancer cell sensitivity to drugs;interpretable CNV-based tumour classification using fuzzy rule based classifiers;student research abstract: estimating the impacts of HIV intervention programs among females who sell sex in Nigeria: a modelling approach;student research abstract: simulation study of transient receptor potential current in urinary bladder over activity;ordering stakeholder viewpoint concerns for holistic enterprise architecture (the W6H framework);using enterprise architecture model analysis and description logics for maturity assessment;conceptual modeling of inter-dependencies between processes and data;transparent io access control for application-level tenant isolation;Gelly-scheduling: distributed graph processing for service placement in community networks;and bounding the cost of virtual machine migrations for resource allocation in cloud data centers.
The proceedings contain 407 papers. The topics discussed include: network protocol interoperability testing based on contextual signatures and passive testing;practical distributed voter-verifiable secret ballot syste...
ISBN:
(纸本)9781605581668
The proceedings contain 407 papers. The topics discussed include: network protocol interoperability testing based on contextual signatures and passive testing;practical distributed voter-verifiable secret ballot system;using geo-spatial session tagging for smart multicast session discovery;a holistic mechanism against file pollution in peer-to-peer networks;robust scheduler for grid networks;NECTAR: a DTN routing protocol based on neighborhood contact history;DoSTRACK: a system for defending against DoS attacks;secure routing in peer-to-peer distributed hash tables;BPR: a bit-level packet recovery in wireless sensor networks;multi-step attack modeling and simulation (MsAMS) framework based on mobile ambients;quality of service management in GMPLS-based grid OBS networks;new content-aware request distribution policies in web clusters providing multiple services;securing key issuing in peer-to-peer networks;preservation of ordering in a network of brokers;and developing and evaluating web multimodal interfaces a case study with usability principles.
暂无评论