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
Semantics
biblio
SemFuzz: Semantics-Based Automatic Generation of Proof-of-Concept Exploits
Submitted by grigby1 on Mon, 03/26/2018 - 1:13pm
composability
defense
exploit generation
fuzzing
Metrics
patch
pubcrawl
Resiliency
Semantics
Vulnerability
Zero day attacks
biblio
Rendering Trustability to Semantic Web Applications-Manchester Approach
Submitted by grigby1 on Mon, 03/26/2018 - 12:55pm
Resiliency
Web pages
web of trust
University Ontology
Trusted Computing
trustability
trust
Syntactics
Semantics
semantically annotated tags
semantic Web documents
semantic Web applications-manchester approach
Semantic Web
composability
resilience
pubcrawl
Provenance
OWL
Ontology
ontologies (artificial intelligence)
Ontologies
Manchester Syntax
Intelligent web
intelligent knowledge retrieval
information retrieval
Data models
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
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
Edge-ICN and its application to the Internet of Things
Submitted by grigby1 on Wed, 02/21/2018 - 1:49pm
Metrics
Semantics
Resiliency
resilience
pubcrawl
Protocols
Policy-Governed Secure Collaboration
policy governance
Payloads
clean slate
IP networks
Human Factors
human factor
Human behavior
encoding
control systems
computer architecture
collaboration
biblio
Topic Evolution Modeling in Social Media Short Texts Based on Recurrent Semantic Dependent CRP
Submitted by grigby1 on Tue, 02/06/2018 - 1:34pm
semantic dependent Chinese restaurant process
word co-occurrence modeling
Twitter dataset
topic modeling
tools
Text Mining
text analytics
text analysis
social networking (online)
Social network services
social media short texts
Social Media Analytics
short-text oriented topic evolution model
Semantics
semantic similarity information
Adaptation models
sdTEM
Scalability
rsdCRP
recurrent semantic dependent CRP
pubcrawl
Metrics
Media
LDA
Human Factors
Human behavior
HDP
Data models
composability
Analytical models
biblio
Secure Compilation and Hyperproperty Preservation
Submitted by grigby1 on Wed, 01/10/2018 - 12:19pm
Safety
untyped target language
typed source language
Type theory
trace-preserving compilation
TPC
Syntactics
standards
Semantics
Security Properties
security of data
security
secure compilers
secure compilation
safety hyperproperties
coding theory
Resiliency
pubcrawl
program verification
Program processors
program compilers
low-level attack capabilities
hyperproperty preservation
fully abstract compiler
correctness criterion
Concrete
composability
compiler security
compiled program
biblio
A framework for digital forensics analysis based on semantic role labeling
Submitted by K_Hooper on Wed, 01/10/2018 - 11:14am
Labeling
text analysis
semantic texts annotation
Semantics
semantic role labeling
semantic annotation
Scalability
Resiliency
pubcrawl
Object recognition
natural language processing
Mobile handsets
Crime Analysis
knowledge based systems
knowledge base
Human behavior
frame semantics
FrameFOR
forensic frames
forensic experts
forensic analysis
Digital Forensics
digital forensic analysis
biblio
Exploring linguistic features for extremist texts detection (on the material of Russian-speaking illegal texts)
Submitted by K_Hooper on Wed, 01/10/2018 - 11:14am
Scalability
psycholinguistic features
pubcrawl
Random Forest
regression analysis
Resiliency
Russian language
Russian legislation
Russian-speaking illegal text material
psych olinguistic features
semantic features
Semantics
Social network services
Support vector machines
Terrorism
text analysis
text classification
text detection
Human behavior
Bayes methods
classification methods
classification quality
Dictionaries
differentiating feature
extremist texts
feature extraction
gradient boosting
automatic extremist text detection
learning (artificial intelligence)
linear SVM
linguistic features
logistic regression
multinomial naive Bayes
natural language processing
pattern classification
Pragmatics
biblio
Intelligent system of knowledge control with the natural language user interface
Submitted by K_Hooper on Wed, 01/10/2018 - 11:14am
Semantics
natural language interfaces
natural language processing
Natural languages
natural language user interface
output machine
parallel computations
parallel method
pubcrawl
Resiliency
Scalability
semantic analysis
natural language interface methods
semantic structures
Skolem-transformation
specialized inference machines
specialized module
standard knowledge
syntactic analysis
testing
test systems
Training
training systems
user interfaces
knowledge base
control systems
deductive inference
first-order predicate calculus
Human behavior
human-computer dialogue capabilities
inference machine
inference mechanisms
intellectual subsystem
intelligence
intelligent interpreter
intelligent system
Computers
knowledge based systems
knowledge control
knowledge processing systems
Knowledge quality control
Knowledge representation
lexical processor
machine testing systems
modern control
morphological analysis
natural language interface
« first
‹ previous
…
18
19
20
21
22
23
24
25
26
next ›
last »
