Sciweavers

511 search results - page 19 / 103
» Automatic Construction of a Semantic, Domain-Independent Kno...
Sort
View
ACMSE
2010
ACM
14 years 7 months ago
Pattern-based synonym and antonym extraction
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...
IEAAIE
2007
Springer
15 years 3 months ago
An Ontology-Supported and Fully-Automatic Annotation Technology for Semantic Portals
We employ the techniques of ontology and linguistics to develop a fully-automatic annotation technique, which, when coupled with an automatic ontology construction method, can play...
Sheng-Yuan Yang
CSFW
2010
IEEE
15 years 24 days ago
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
Simon Meier, Cas J. F. Cremers, David A. Basin
KR
2004
Springer
15 years 2 months ago
GlossOnt: A Concept-focused Ontology Building Tool
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
Youngja Park
TRECVID
2008
14 years 11 months ago
Semantic Video Annotation using Background Knowledge and Similarity-based Video Retrieval
We describe our experiments for the High-level Feature Extraction (FE) and Search (SE) tasks. We submitted two automatic runs to the FE task, the first one (MMIS alexei) was based ...
Ainhoa Llorente, Srdan Zagorac, Suzanne Little, Ru...