Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
computational complexity
biblio
Asymptotically Optimal Pruning for Nonholonomic Nearest-Neighbor Search
Submitted by
grigby1
on Fri, 05/22/2020 - 2:39pm
pubcrawl
mobile robots
Metrics
Measurement
nearest neighbour methods
computational complexity
search problems
nearest neighbor search
asymptotic computational bottleneck
asymptotic properties
computationally demanding task
differential geometry
distance evaluations
exact Nearest-Neighbor Search
explicit distance comparisons
geodesic distance
k-d tree algorithm
nonholonomic constraints
optimal pruning
Path Planning
pruning techniques
sampling-based motion planning algorithms
set theory
tree searching
biblio
K-nearest Neighbor Search by Random Projection Forests
Submitted by
grigby1
on Fri, 05/22/2020 - 2:38pm
learning (artificial intelligence)
machine learning
machine learning algorithms
Data mining
Forestry
Unsupervised Learning
pubcrawl
random forests
Big Data
Metrics
Measurement
nearest neighbour methods
k-nearest neighbors
computational complexity
search problems
Clustering algorithms
k-nearest neighbor search
nearest neighbor search
clustered computers
Ensemble
ensemble methods
ensemble random projection trees
ensemble size
exponential decay
kNN distances
kNN search
multicore computers
random projection forests
rpForests
tree-based methodology
Vegetation
biblio
Node Identification in Wireless Network Based on Convolutional Neural Network
Submitted by
grigby1
on Fri, 05/08/2020 - 3:01pm
learning (artificial intelligence)
Training
collaboration
feature extraction
convolution
convolutional neural nets
pubcrawl
policy-based governance
resilience
Resiliency
wireless sensor networks
deep learning
Ad hoc networks
wireless network
Metrics
computational complexity
wireless networks
gradient methods
Ad-Hoc Network
convolutional neural network
convolutional neural networks
local feature extraction
node identification
principal component analysis
softmax model
stochastic gradient descent method
Neural Network Security
biblio
Uncertainty-Aware Opinion Inference Under Adversarial Attacks
Submitted by
grigby1
on Fri, 04/17/2020 - 10:58am
learning (artificial intelligence)
security of data
Training
Data mining
pubcrawl
resilience
Resiliency
Data models
Decision Making
composability
Metrics
computational complexity
Compositionality
Probabilistic logic
inference mechanisms
Adv-COI
adversarial collective opinion inference
adversarial evidence
black box adversarial attacks
collective subjective logic
CSL
data mining tasks
highly scalable opinion inference
logic-rule based structured data
minimax techniques
possible adversarial attacks
probabilistic model
probabilistic soft logic
probability
Probability density function
PSL
Robustness
Silicon
uncertain evidence
uncertainty
uncertainty-aware opinion inference
unknown opinions
white box adversarial attacks
White Box Security
biblio
Enabling Adaptive Deep Neural Networks for Video Surveillance in Distributed Edge Clouds
Submitted by
aekwall
on Mon, 04/13/2020 - 10:28am
Cloud Computing
feature extraction
learning (artificial intelligence)
Resiliency
Human behavior
pubcrawl
graph theory
Metrics
neural nets
resource allocation
computational complexity
image segmentation
video signal processing
edge computing
scheduling
video surveillance
deep neural networks
Computation offloading
NP-hard
adaptive deep neural networks
adaptive DNN model selection method
computing delay
distributed edge clouds
feature similarity
input video segment
intelligent video surveillance task scheduling problem
network cameras
network delay
remote clouds
task scheduling
two-stage delay-aware graph searching approach
biblio
On the Practicality of a Smart Contract PKI
Submitted by
aekwall
on Mon, 04/06/2020 - 10:16am
Scalability
telecommunication security
system monitoring
Resiliency
Human behavior
pubcrawl
privacy
Cryptography
Metrics
blockchain
internet
smart contracts
ethereum
public key cryptography
computational complexity
Formal Specification
software fault tolerance
Security Properties
contracts
smart contract
PKI Trust Models
Additives
communication security
accumulator
blockchain-based identity systems store
centralized authorities
constant-sized state
constant-sized storage
Distributed Applications
identity records verification
live chain
main building blocks
provably secure contract
public key infrastructures
securing communications
smart contract PKI
smart contract platform
biblio
Reliable and Secure Multishot Network Coding using Linearized Reed-Solomon Codes
Submitted by
aekwall
on Mon, 04/06/2020 - 9:55am
telecommunication security
Resiliency
pubcrawl
composability
Decoding
Reliability
network topology
computational complexity
telecommunication network topology
Predictive Metrics
encoding
error correction codes
Knowledge engineering
network coding
Reed-Solomon codes
linear codes
cyber physical systems
coding scheme
inject erroneous packets
linear network code
linearized Reed-Solomon codes
multishot network coding
network error-correction
random codes
reliable multishot network coding
secure multishot network coding
sum-rank metric
sum-subspace codes
unbounded computational resources
wire-tap channel
worst-case adversarial setting
zero-error communication
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
Understanding Data Science Lifecycle Provenance via Graph Segmentation and Summarization
Submitted by
aekwall
on Mon, 03/30/2020 - 11:33am
Data models
Resiliency
Human behavior
pubcrawl
composability
graph theory
Metrics
query processing
Databases
context-free grammars
optimisation
computational complexity
meta data
metadata
Writing
Pipelines
Semantics
Provenance
data science
data handling
approximation theory
Approximation algorithms
boundary criteria
context free language
context-free grammar
data science lifecycle provenance
data science platforms
destination vertices
graph data models
graph query
graph query model
graph segmentation operator
graph summarization operator
high-level graph query operators
model management
provenance ingestion mechanisms
provenance management
PSPACE-complete
query techniques
Skeleton
source vertices
biblio
A Hybrid Algorithm for Influence Maximization of Social Networks
Submitted by
grigby1
on Wed, 03/18/2020 - 12:27pm
Big Data
activation effect
computational complexity
dissemination effect
dissemination process
Encyclopedias
Gnutella node-to-node file sharing network
greedy algorithm
greedy algorithms
Heuristic algorithms
hill climbing
Hybrid algorithm
hybrid distribution value accumulation algorithm
influence maximization
NP problem
optimal solution
optimisation
Peer-to-peer computing
social network
social networking (online)
social networks
Time complexity
voting situation
wikipedia
pubcrawl
Resiliency
resilience
Secure File Sharing
1
2
3
4
5
6
7
8
next ›
last »
