Performing similarity queries on hundreds of millions of time series is a challenge requiring both efficient indexing techniques and parallelization. We propose a sketch/random projection-based approach that scales ne...
详细信息
ISBN:
(纸本)9781509050048
Performing similarity queries on hundreds of millions of time series is a challenge requiring both efficient indexing techniques and parallelization. We propose a sketch/random projection-based approach that scales nearly linearly in parallel environments, and provides high quality answers. We illustrate the performance of our approach, called RadiusSketch, on real and synthetic datasets of up to 1 Terabytes and 500 million time series. the sketch method, as we have implemented, is superior in both quality and response time compared withthe state of the art approach, iSAX2+. Already, in the sequential case it improves recall and precision by a factor of two, while giving shorter response times. In a parallel environment with 32 processors, on both real and synthetic data, our parallel approach improves by a factor of up to 100 in index time construction and up to 15 in query answering time. Finally, our data structure makes use of idle computing time to improve the recall and precision yet further.
We present a goal-oriented algorithm that can synthesise k-bounded Petri nets (K ϵ N+) from hyper modal transition systems (hMTS), an extension of labelled transition systems with optional and required behaviour. the ...
详细信息
A major research challenge is to perform scalable analysis of large-scale knowledge graphs to facilitate applications like link prediction, knowledge base completion and reasoning. Analytics methods which exploit expr...
详细信息
ISBN:
(纸本)9783319682044;9783319682037
A major research challenge is to perform scalable analysis of large-scale knowledge graphs to facilitate applications like link prediction, knowledge base completion and reasoning. Analytics methods which exploit expressive structures usually do not scale well to very large knowledge bases, and most analytics approaches which do scale horizontally (i.e., can be executed in a distributed environment) work on simple feature-vector-based input. this software framework paper describes the ongoing Semantic Analytics Stack (SANSA) project, which supports expressive and scalable semantic analytics by providing functionality for distributedcomputing on RDF data.
the proceedings contain 15 papers. the special focus in this conference is on Trust Management. the topics include: A flexible privacy-preserving framework for singular value;using behavioral experiment as a tool to a...
ISBN:
(纸本)9783319591704
the proceedings contain 15 papers. the special focus in this conference is on Trust Management. the topics include: A flexible privacy-preserving framework for singular value;using behavioral experiment as a tool to assess and collect trust-related data;social network analysis for trust prediction;investigating security capabilities in service level agreements as trust-enhancing instruments;managing software uninstall with negative trust;towards trust-aware collaborative intrusion detection;self-trust, self efficacy and digital learning;advanced flow models for computingthe reputation of internet domains;trust trust me;towards statistical trust computation for medical smartphone networks based on behavioral profiling;reputation-enhanced recommender systems;self-reported verifiable reputation with rater privacy;strong accountability and its contribution to trustworthy data handling in the information society;privacy and trust in cloud-based marketplaces for AI and data resources and psychological evaluation of human choice behavior in socio-technical systems.
the proceedings contain 325 papers. the special focus in this conference is on Computational Science and Its Applications. the topics include: Synchronized content and metadata management in a federation of distribute...
ISBN:
(纸本)9783319623979
the proceedings contain 325 papers. the special focus in this conference is on Computational Science and Its Applications. the topics include: Synchronized content and metadata management in a federation of distributed repositories of chemical learning objects;open molecular science for the open science cloud;automated simulation of gas phase reactions on distributed and cloud computing infrastructures;a global score driven beam angle optimization in IMRT;automated radiotherapy treatment planning using fuzzy inference systems;combining filter method and dynamically dimensioned search for constrained global optimization;optimal schedule of home care visits for a health care center;neighborhood analysis on the university timetabling problem;on grid aware refinement of the unit hypercube and simplex: focus on the complete tree size;identifying and using key indicators to determine neighborhood types in different regions;automated valuation methods in atypical real estate markets using the mono parametric approach;urban planning and technological innovation;Jewish communities in pre-war central Poland as an example of a self-organising society;flickr as a tool for the analysis of photographic tourism;an approach for semantically enriching volunteered geographic data with linked data;quantifying sustainable growththrough a morphological approach comparison to population density measurements;exploring the resilience of urban systems using fuzzy cognitive maps;seismic risk assessment of hospitals in lima city using GIS tools;an approach to provide shared architectural principles for interoperable smart cities and computational intelligence for smart air quality monitors calibration.
Recently, several approaches have been proposed to automatically model indoor environments. Most of such efforts principally rely on the crowd to sense data such as motion traces, images, and WiFi footprints. However,...
详细信息
ISBN:
(纸本)9781450353687
Recently, several approaches have been proposed to automatically model indoor environments. Most of such efforts principally rely on the crowd to sense data such as motion traces, images, and WiFi footprints. However, large datasets are usually required to derive precise indoor models which can negatively affect the energy efficiency of the mobile devices participating in the crowd-sensing system. Furthermore, the aforementioned data types are hardly suitable for deriving 3D indoor models. To overcome these challenges, we propose GraMap, a QoS-aware automatic indoor modeling approach through crowd-sensing 3D point clouds. GraMap exploits a recently-developed sensors fusion mechanism, namely Tango technology, to cooperatively collect point clouds from the crowd. Afterward, a set of backend servers extracts the required geometrical information to derive indoor models. For the sake of improving the energy efficiency of the mobile devices, GraMap performs data quality assurance along with 3D data compression. Specifically, we propose a probabilistic quality model-implemented on the mobile devices-to ensure high-quality of the captured point clouds. In this manner, we conserve energy via sidestepping the repetition of sensing queries due to uploading low-quality point clouds. Nevertheless, the resultant indoor models may still suffer from incompleteness and inaccuracies. therefore, GraMap leverages formal grammars which encode design-time knowledge, i.e. structural information about the building, to enhance the quality of the derived models. To demonstrate the effectiveness of GraMap, we implemented a crowd-sensing Android App to collect point clouds from volunteers. We show that GraMap derives highly-accurate models while reducing the energy costs of pre-processing and reporting the point clouds.
the proceedings contain 325 papers. the special focus in this conference is on Computational Science and Its Applications. the topics include: A safe depth forecasting model for insuring tubewell installations against...
ISBN:
(纸本)9783319624037
the proceedings contain 325 papers. the special focus in this conference is on Computational Science and Its Applications. the topics include: A safe depth forecasting model for insuring tubewell installations against arsenic risk in Bangladesh;the likelihood ratio test for equality of mean vectors with compound symmetric covariance matrices;approximating a retarded-advanced differential equation using radial basis functions;questioning caregivers about pediatric high blood pressure;an estimate of land take in municipal planning of the Campania region;assessing the effect of land use planning on soil savings by SEA;pollination and the integration of ecosystem services in landscape planning and rural development;service area scheduling in a drone assisted network;throughput analysis of a SWIPT enabled two-way decode-and-forward cognitive relay network;towards a model of enhancing safety fishing in south Africa;analysis of impact of RSS over different time durations in an indoor localization system;a survey on bus monitoring systems;analysis of keystroke dynamics for fatigue recognition;a diabatic electronic state system to describe the internal conversion of azulene;screens for displaying chirality changing mechanisms of a series of peroxides and persulfides from conformational structures computed by quantum chemistry;finding motifs in medical data;distributed data processing on microcomputers with ascheduler and apache spark;light-weight cloud-based virtual computing infrastructure for distributed applications and hadoop clusters and problem-solving environment for beam dynamics analysis in particle accelerators.
the proceedings contain 19 papers. the special focus in this conference is on Application and theory of Petri Nets and Concurrency. the topics include: Complexity made simple;resource equivalences in Petri nets;faster...
ISBN:
(纸本)9783319578606
the proceedings contain 19 papers. the special focus in this conference is on Application and theory of Petri Nets and Concurrency. the topics include: Complexity made simple;resource equivalences in Petri nets;faster simulation of Petri nets using parallel computing;evaluating and improving SIP Non-INVITE transaction to alleviate the losing race problem;performance and replica consistency simulation for quorum-based NoSQL system Cassandra;an online tool for the synthesis and analysis of Petri nets with final states;an integrated environment for Petri net slicing;a tool to benchmark and debug Petri net tools;extended dependency graphs and efficient distributed fixed-point computation;model checking concurrency and causality;weak observable liveness and infinite games on finite graphs;the complexity of diagnosability and opacity verification for Petri nets;saturation for prioritised Petri nets;modelling and evaluation of a control room application;on liveness and deadlockability in subclasses of weighted Petri nets;restricting HORNETS to support self-adaptive systems;synthesis and analysis of process networks by joint application of P-graphs and Petri nets;parameterized complexity and approximability of coverability problems in weighted Petri nets.
Withthe advent of clustered systems, more and more parallel computing is required. However a lot of programming skills is needed to write a parallel codes, especially when you want to benefit from the various paralle...
详细信息
the proceedings contain 32 papers. the special focus in this conference is on spatial and temporal databases. the topics include: Multi-user itinerary planning for optimal group preference;hybrid best-first greedy sea...
ISBN:
(纸本)9783319643663
the proceedings contain 32 papers. the special focus in this conference is on spatial and temporal databases. the topics include: Multi-user itinerary planning for optimal group preference;hybrid best-first greedy search for orienteering with category constraints;on privacy in spatio-temporal data: user identification using microblog data;empowering impala for efficient execution of SQL queries on big spatial data;a mapreduce framework for spatio-temporal data;utilizing distributed key-value stores for multidimensional data;sweeping-based temporal aggregation;indexing the pickup and drop-off locations of NYC taxi trips in postgresql – lessons from the road;towards spatially- and category-wise k-diverse nearest neighbors queries;spatio-temporal functional dependencies for sensor data streams;location-aware query recommendation for search engines at scale;top-k taxi recommendation in realtime social-aware ridesharing services;location-aware group recommendation for passive users;a summary of results;detecting isodistance hotspots on spatial networks;detection and prediction of natural hazards using large-scale environmental data;fragmentation-free spatial allocation;collective-k optimal location selection;inherent-cost aware collective spatial keyword queries;towards a unified spatial crowdsourcing platform;on designing a geoviz-aware database system – challenges and opportunities;predicting the evolution of narratives in social media;a unified framework to predict movement;semantic understanding of spatial trajectories;an integrated solar database (ISD) with extended spatiotemporal querying capabilities;in-memory cross-matching algorithm for astronomical big data;pgmemento – a generic transaction-based audit trail for spatial databases and tool to benchmark classification methods for multivariate spatiotemporal data.
暂无评论