the proceedings contain 10 papers. the topics discussed include: a distributed publish/subscribe system for RDF data;an algorithm for querying linked data using map-reduce;effects of network structure improvement on d...
ISBN:
(纸本)9783642400520
the proceedings contain 10 papers. the topics discussed include: a distributed publish/subscribe system for RDF data;an algorithm for querying linked data using map-reduce;effects of network structure improvement on distributed RDF querying;deploying a multi-interface RESTful application in the cloud;using multiple data stores in the cloud: challenges and solutions;repair time in distributed storage systems;development and evaluation of a virtual pc type thin client system;repair time in distributed storage systems;development and evaluation of a virtual PC type thin client system;data partitioning for minimizing transferred data in MapReduce;incremental algorithms for selecting horizontal schemas of data warehouses: the dynamic;and scalable and fully consistent transactions in the cloud through hierarchical validation.
the proceedings contains 75 papers on Automated People Movers. Topics discussed include: monorails;rapid transit systems;mass transportation;airport automatic people movers;walkways;electric vehicles;guideways;transpo...
详细信息
the proceedings contains 75 papers on Automated People Movers. Topics discussed include: monorails;rapid transit systems;mass transportation;airport automatic people movers;walkways;electric vehicles;guideways;transport safety and operations;urban planning;tramways;and elevators.
the proceedings contain 147 papers. the topics discussed include: valuation of unpaid time savings on toll roads using transport model;secure multi-party computation for magnetic resonance imaging classification;a big...
the proceedings contain 147 papers. the topics discussed include: valuation of unpaid time savings on toll roads using transport model;secure multi-party computation for magnetic resonance imaging classification;a big data analytics-based methodology for social sustainability impacts evaluation: a case study;image classification with transfer learning using a custom dataset: comparative study;anomaly-based intrusion detection system using one-dimensional convolutional neural network;smart monitoring of wireless environments with real-time aggregation and analysis;hourly forecasting of traffic flow rates using spatial temporal graph neural networks;simulator for time-triggered organic computing;optimization of demand-responsive transport: the rolling horizon approach;and development of a visualization tool for the integrated transport and land use model: insights from a COVID-19 scenario analysis.
the proceedings contain 64 papers. the topics discussed include: high-precision indoor positioning for drone based on EfficientNetV2 and CNN;research on improving ST-GCN for recognition of unsafe actions of personnel ...
ISBN:
(纸本)9798350371253
the proceedings contain 64 papers. the topics discussed include: high-precision indoor positioning for drone based on EfficientNetV2 and CNN;research on improving ST-GCN for recognition of unsafe actions of personnel in industrial site;path following control of underactuated AUV based on improved model predictive control;insulator and spacer dataset and benchmark for power inspection;a robustness enhanced capsule network with regularization;distributed predefined-time economic dispatching for microgrids;a human-computer interaction method for intelligent pan-tilt based on the combination of head-eye posture;a flame localization method combing visible-light and near-infrared cameras;and semantic line map: a novel visual map representation scheme for autonomous driving systems.
the conference materials contain 33 papers. the topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext...
详细信息
ISBN:
(纸本)089791595X
the conference materials contain 33 papers. the topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative extensions, compiling and performance evaluation, language design, compiler optimization, static analysis, functional algorithms and partial evaluation.
the proceedings contain 40 papers. the topics discussed include: research and development of advanced database systems for integration of media and user environments;data mining and personalization technologies;suppor...
ISBN:
(纸本)0769500846
the proceedings contain 40 papers. the topics discussed include: research and development of advanced database systems for integration of media and user environments;data mining and personalization technologies;supporting web-based database application development;adaptive and incremental query expansion for cluster-based browsing;mining exception instances to facilitate workflow exception handling;specifying complex process control aspects in workflows for exception handling;design and implementation of a structured information retrieval system for SGML documents;visualization of path expressions in a virtual object-oriented database query language;and early separation of filter and refinement steps in spatial query optimization.
the proceedings contain 38 papers. the special focus in this conference is on theory and Applications of Satisfiability Testing. the topics include: Satisfiability and computing van der waerden numbers;watched data st...
ISBN:
(纸本)3540208518
the proceedings contain 38 papers. the special focus in this conference is on theory and Applications of Satisfiability Testing. the topics include: Satisfiability and computing van der waerden numbers;watched data structures for QBF solvers;a local search sat solver using an effective switching strategy and an efficient unit propagation;sat based predicate abstraction for hardware verification;on Boolean models for quantified Boolean horn formulas;local search on sat-encoded colouring problems;hidden threshold phenomena for fixed-density sat-formulae;improving a probabilistic 3-sat algorithm by dynamic search and independent clause pairs;linear time algorithms for some not-all-equal satisfiability problems;on the probabilistic approach to the random satisfiability problem;comparing different prenexing strategies for quantified Boolean formulas;solving error correction for large data sets by means of a sat solver;abstraction-driven sat-based analysis of security protocols;guiding sat diagnosis with tree decompositions;effective preprocessing with hyper-resolution and equality reduction;the interaction between inference and branching heuristics;computing vertex eccentricity in exponentially large graphs;challenges in the QBF arena and survey and belief propagation on random k-sat.
the proceedings contain 6 papers. the topics discussed include: scalable parallel algorithm for fast computation of transitive closure of graphs on shared memory architectures;accelerating messages by avoiding copies ...
ISBN:
(纸本)9781665411400
the proceedings contain 6 papers. the topics discussed include: scalable parallel algorithm for fast computation of transitive closure of graphs on shared memory architectures;accelerating messages by avoiding copies in an asynchronous task-based programming model;parallel SIMD - a policy based solution for free speed-up using C++ data-parallel types;Taskflow-San: sanitizing erroneous control flow in taskflow graphs;performance evaluation of python parallel programming models: Charm4py and mpi4py;and evaluation of distributed tasks in stencil-based application on GPUs.
the proceedings contain 35 papers. the topics discussed include: causal inductive biases for cognitive machine learning;computational scientific discovery in cognitive science;enhanced model robustness by integrated l...
ISBN:
(纸本)9798350386721
the proceedings contain 35 papers. the topics discussed include: causal inductive biases for cognitive machine learning;computational scientific discovery in cognitive science;enhanced model robustness by integrated local and global processing;causal intervention and semantic knowledge for object relationships;a study of response time instability of microservices at high resource utilization in the cloud;using automated core and spurious features detection in scene recognition to explain computer vision model;evolving cognitive models: a novel approach to verbal learning;dynamic network analysis of cognitive attacks using meta-network modeling and community detection algorithms;and effective diversity optimizations for high accuracy deep ensembles.
the proceedings contain 64 papers. the topics discussed include: probabilistic approach for intrusion detection system - FOMe technique;defense against DoS Attack: PSO approach in virtualization;qualitative risk avoid...
ISBN:
(纸本)9781479984664
the proceedings contain 64 papers. the topics discussed include: probabilistic approach for intrusion detection system - FOMe technique;defense against DoS Attack: PSO approach in virtualization;qualitative risk avoidance methodology for categorization of mined opinions from online reviews;a study on data deduplication techniques for optimized storage;intelligent temporal role based access control for data storage in cloud database;job scheduling using minimum variation first algorithm in cloud computing;wireless sensor network based automated irrigation and crop field monitoring system;a survey on foundation for future generation internet through network virtualization;vertical handover performance investigation with discrete event system simulation in next generation wireless network;DDOS detection and analysis in SDN-based environment using support vector machine classifier;and monitoring of soil parameters for effective irrigation using wireless sensor networks.
暂无评论