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
inference mechanisms
biblio
From Big Data to Knowledge: Issues of Provenance, Trust, and Scientific Computing Integrity
Submitted by
aekwall
on Mon, 10/28/2019 - 9:39am
security of data
Big Data
Conferences
data integrity
Trusted Computing
Resiliency
pubcrawl
graph theory
Computational modeling
trust
provenance graphs
cognition
Semantics
inference mechanisms
Predictive Metrics
data provenance
scientific information systems
Compositionality
cognitive systems
data science
Data validity
data-intensive science and engineering
Knowledge engineering
knowledge provenance
malicious attacks
natural environmental changes
operations mistakes
provenance-based trust reasoning
SCI failures
scientific computing integrity
scientific workflows
Variety
Veracity
Viewpoints
views
Scientific Computing Security
biblio
Focal Visual-Text Attention for Visual Question Answering
Submitted by
aekwall
on Wed, 09/04/2019 - 10:15am
Knowledge Discovery
inference mechanisms
FVTA
Focal Visual-Text Attention network
collective reasoning
Videos
computer vision
visualization
cognition
meta data
Correlation
text analysis
neural nets
Computational modeling
composability
pubcrawl
Resiliency
Scalability
Neural networks
question answering (information retrieval)
single-image visual question answering
text metadata
visual text sequence information
Metadata Discovery Problem
biblio
A Fault Diagnosis Expert System for Flight Control Software Based on SFMEA and SFTA
Submitted by
grigby1
on Wed, 11/14/2018 - 12:21pm
aerospace applications
aerospace computing
aerospace control
airborne software engineering
CLIPS
CLIPS shell
control engineering computing
Engines
expert system
expert systems
fault diagnosis
fault diagnosis expert system
flight control software
Human behavior
human computer interaction
human-computer interaction interface
inference engine
inference mechanisms
Knowledge representation
pubcrawl
resilience
Resiliency
Scalability
security
SFMEA
SFTA
Software
software failure mode and effect analysis
software fault knowledge
software fault tree analysis
software reliability
software reliability analysis methods
biblio
Symbolic execution and probabilistic reasoning
Submitted by
grigby1
on Wed, 09/05/2018 - 9:42am
Security Metrics
pubcrawl
Symbolic Execution
safety-critical software
Computational modeling
program diagnostics
Software systems
probability
inference mechanisms
Atmospheric modeling
Metrics
reliability theory
Systematics
Probabilistic logic
cognition
Computing Theory
event occurrence probability
probabilistic reasoning
program behaviors
program paths
software system safety
software system security
symbolic path conditions
systematic program analysis technique
biblio
Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network
Submitted by
el_wehby
on Fri, 05/25/2018 - 2:50pm
Accuracy
Big Data
big sensor data
Context
customized online training
Dmodel
inference mechanisms
Meteorology
mobile computing
online taxicab demand model
passenger arriving moments inference
passenger demand inference
pickup pattern
real-time mobile sensors
real-time systems
real-world logical information
Roads
roving sensor network
roving taxicabs
sensors
taxicab business
traffic information systems
Training
wireless sensor networks
1536086
biblio
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study
Submitted by
grigby1
on Mon, 04/30/2018 - 2:26pm
accidental misuses
breach ontology
cognition
HHS
HIPAA
inference mechanisms
malicious misuses
Measurement
Medical services
norm violation
Ontologies
pubcrawl
security
Security and privacy breaches
security breaches
security of data
security policies
semantic reasoning
semantic similarity
semantic similarity metric
Semantics
SEMAVER
social norms
software development
software engineering
taxonomy
US Department of Health and Human Services
US Health Insurance Portability and Accountability Act
biblio
Reasoning About Fine-Grained Attribute Phrases Using Reference Games
Submitted by
K_Hooper
on Wed, 02/28/2018 - 10:32am
Compositionality
computer vision
fine-grained attribute phrases
fine-grained visual differences
Games
Image color analysis
image representation
image retrieval
inference mechanisms
instances
learning (artificial intelligence)
listener
Nose
Pragmatics
pubcrawl
reasoning
reference games
semantic attributes
Semantics
speaker
visual descriptions
visualization
biblio
Optimality of inference in hierarchical coding for distributed object-based representations
Submitted by
K_Hooper
on Wed, 02/28/2018 - 10:31am
complex synthetic datasets
Compositionality
convolution
Convolutional codes
convolutional matching pursuit
data compression
Dictionaries
distributed object-based representations
distributed processing
encoding
greedy algorithms
greedy inference algorithm
hierarchical sparse coding
hierarchical systems
inference mechanisms
L0-norm constraint
learning (artificial intelligence)
Matching pursuit algorithms
multiscale representation
near-optimal codes
NP-hard optimization
optimisation
pubcrawl
representation learning
standards
biblio
Verifying and Synthesizing Constant-Resource Implementations with Types
Submitted by
K_Hooper
on Wed, 02/28/2018 - 10:31am
AARA
automatic amortized resource analysis
cognition
Compositionality
constant-resource behavior implementations
Cryptography
encryption
inference mechanisms
Information Flow
information flow tracking
language-based security
program verification
programming
programs verification
pubcrawl
resource allocation
resource analysis
resource aware ML
resource consumption
resource-aware noninterference
Semantics
side channel attacks
standards
static analysis
Syntactics
timing channels
type inference algorithm
biblio
A factored evolutionary optimization approach to Bayesian abductive inference for multiple-fault diagnosis
Submitted by
grigby1
on Thu, 02/15/2018 - 10:46am
resilience
pubcrawl
Resiliency
Human behavior
Bayes methods
belief networks
Logic gates
fault diagnosis
inference mechanisms
Silicon
Metrics
Noise measurement
human factor
Human Factors
Complexity theory
Bayesian abductive inference
diagnostic Bayesian networks
evolutionary computation
factored evolutionary algorithm
factored evolutionary optimization approach
fault detection
fault trees
FEA
multiple-fault diagnosis problem
static fault isolation
multiple fault diagnosis
1
2
next ›
last »
