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
Markov logic network
biblio
Combining the Logical and the Probabilistic in Program Analysis
Submitted by
grigby1
on Wed, 05/09/2018 - 2:48pm
Compositionality
logic
Markov logic network
Maximum Satisfiability
Metrics
probability
program analysis
pubcrawl
resilience
Resiliency
Scalability
scalable verification
biblio
Semantic Information Fusion to Enhance Situational Awareness in Surveillance Scenarios
Submitted by
grigby1
on Tue, 02/06/2018 - 2:04pm
video surveillance
Unmanned Aircraft Systems
UAS
surveillance scenarios
surveillance
situational picture
situational awareness
sensor fusion
sensor data
semantic information fusion
security forces
Resiliency
reasoning component
pubcrawl
probabilistic reasoning
Probabilistic logic
probabilistic information processing
OOWM
Ontology
ontologies (artificial intelligence)
object-oriented world model
object-oriented methods
Object oriented modeling
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
inference mechanisms
high-level data fusion component
enhanced situational awareness
Databases
Data mining
Data integration
critical events detection
cognition
civil protection
autonomous aerial vehicles
aerospace computing
