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
Read-only archive of site from September 29, 2023.
CPS-VO
inference mechanisms
biblio
Focal Visual-Text Attention for Visual Question Answering
Submitted by aekwall on Wed, 09/04/2019 - 11:15am
neural nets
Metadata Discovery Problem
visual text sequence information
text metadata
single-image visual question answering
question answering (information retrieval)
Neural networks
Scalability
Resiliency
pubcrawl
composability
Computational modeling
Knowledge Discovery
text analysis
Correlation
meta data
cognition
visualization
computer vision
Videos
collective reasoning
Focal Visual-Text Attention network
FVTA
inference mechanisms
biblio
A Fault Diagnosis Expert System for Flight Control Software Based on SFMEA and SFTA
Submitted by grigby1 on Wed, 11/14/2018 - 1:21pm
inference engine
software reliability analysis methods
software reliability
software fault tree analysis
software fault knowledge
software failure mode and effect analysis
Software
SFTA
SFMEA
security
Scalability
Resiliency
resilience
pubcrawl
Knowledge representation
inference mechanisms
aerospace applications
human-computer interaction interface
human computer interaction
Human behavior
flight control software
fault diagnosis expert system
fault diagnosis
expert systems
expert system
Engines
control engineering computing
CLIPS shell
CLIPS
airborne software engineering
aerospace control
aerospace computing
biblio
Symbolic execution and probabilistic reasoning
Submitted by grigby1 on Wed, 09/05/2018 - 10:42am
Systematics
systematic program analysis technique
symbolic path conditions
software system security
software system safety
program paths
program behaviors
probabilistic reasoning
event occurrence probability
Computing Theory
cognition
Probabilistic logic
Security Metrics
reliability theory
Metrics
Atmospheric modeling
inference mechanisms
probability
Software systems
program diagnostics
Computational modeling
safety-critical software
Symbolic Execution
pubcrawl
biblio
Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network
Submitted by el_wehby on Fri, 05/25/2018 - 3:50pm
pickup pattern
wireless sensor networks
Training
traffic information systems
taxicab business
sensors
roving taxicabs
roving sensor network
Roads
real-world logical information
real-time systems
real-time mobile sensors
Accuracy
passenger demand inference
passenger arriving moments inference
online taxicab demand model
mobile computing
Meteorology
inference mechanisms
Dmodel
customized online training
Context
big sensor data
Big Data
1536086
biblio
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study
Submitted by grigby1 on Mon, 04/30/2018 - 3:26pm
security breaches
US Health Insurance Portability and Accountability Act
US Department of Health and Human Services
taxonomy
software engineering
software development
social norms
SEMAVER
Semantics
semantic similarity metric
semantic similarity
semantic reasoning
security policies
security of data
accidental misuses
Security and privacy breaches
security
pubcrawl
Ontologies
norm violation
Medical services
Measurement
malicious misuses
inference mechanisms
HIPAA
HHS
cognition
breach ontology
biblio
Reasoning About Fine-Grained Attribute Phrases Using Reference Games
Submitted by K_Hooper on Wed, 02/28/2018 - 11:32am
listener
visualization
visual descriptions
speaker
Semantics
semantic attributes
reference games
reasoning
pubcrawl
Pragmatics
Nose
Compositionality
learning (artificial intelligence)
instances
inference mechanisms
image retrieval
image representation
Image color analysis
Games
fine-grained visual differences
fine-grained attribute phrases
computer vision
biblio
Optimality of inference in hierarchical coding for distributed object-based representations
Submitted by K_Hooper on Wed, 02/28/2018 - 11:31am
hierarchical sparse coding
standards
representation learning
pubcrawl
optimisation
NP-hard optimization
near-optimal codes
multiscale representation
Matching pursuit algorithms
learning (artificial intelligence)
L0-norm constraint
inference mechanisms
hierarchical systems
complex synthetic datasets
greedy inference algorithm
greedy algorithms
encoding
distributed processing
distributed object-based representations
Dictionaries
data compression
convolutional matching pursuit
Convolutional codes
convolution
Compositionality
biblio
Verifying and Synthesizing Constant-Resource Implementations with Types
Submitted by K_Hooper on Wed, 02/28/2018 - 11:31am
programs verification
type inference algorithm
timing channels
Syntactics
static analysis
standards
side channel attacks
Semantics
resource-aware noninterference
resource consumption
resource aware ML
resource analysis
resource allocation
pubcrawl
AARA
programming
program verification
language-based security
information flow tracking
Information Flow
inference mechanisms
encryption
Cryptography
constant-resource behavior implementations
Compositionality
cognition
automatic amortized resource analysis
biblio
A factored evolutionary optimization approach to Bayesian abductive inference for multiple-fault diagnosis
Submitted by grigby1 on Thu, 02/15/2018 - 11:46am
human factor
static fault isolation
Silicon
Resiliency
resilience
pubcrawl
Noise measurement
multiple-fault diagnosis problem
multiple fault diagnosis
Metrics
Logic gates
inference mechanisms
Human Factors
Bayes methods
Human behavior
FEA
fault trees
fault diagnosis
fault detection
factored evolutionary optimization approach
factored evolutionary algorithm
evolutionary computation
diagnostic Bayesian networks
Complexity theory
belief networks
Bayesian abductive inference
biblio
Semantic Information Fusion to Enhance Situational Awareness in Surveillance Scenarios
Submitted by grigby1 on Tue, 02/06/2018 - 2:04pm
inference mechanisms
Network reconnaissance
National security
military computing
military applications
Markov processes
Markov logic network
logical reasoning
knowledge model
ISR-AA
intelligence-surveillance-and-reconnaissance analytics architecture
information integration
Object oriented modeling
high-level data fusion component
enhanced situational awareness
Databases
Data mining
Data integration
critical events detection
cognition
civil protection
autonomous aerial vehicles
aerospace computing
Resiliency
Unmanned Aircraft Systems
UAS
surveillance scenarios
surveillance
situational picture
situational awareness
sensor fusion
sensor data
semantic information fusion
security forces
video surveillance
reasoning component
pubcrawl
probabilistic reasoning
Probabilistic logic
probabilistic information processing
OOWM
Ontology
ontologies (artificial intelligence)
object-oriented world model
object-oriented methods
« first
‹ previous
1
2
3
4
5
next ›
last »
