Sciweavers

492 search results - page 64 / 99
» Automatic Discovery of Semantic Relations using MindNet
Sort
View
FMCAD
2004
Springer
14 years 2 months ago
Proof Styles in Operational Semantics
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
Sandip Ray, J. Strother Moore
DOCENG
2005
ACM
13 years 10 months ago
Generative semantic clustering in spatial hypertext
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
Andruid Kerne, Eunyee Koh, Vikram Sundaram, J. Mic...
SEMWEB
2009
Springer
14 years 3 months ago
Lily: Ontology Alignment Results for OAEI 2009
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
Peng Wang, Baowen Xu
IUI
2010
ACM
14 years 5 months ago
Usage patterns and latent semantic analyses for task goal inference of multimodal user interactions
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
Pui-Yu Hui, Wai Kit Lo, Helen M. Meng
CVPR
2008
IEEE
14 years 10 months ago
Utilizing semantic word similarity measures for video retrieval
This is a high level computer vision paper, which employs concepts from Natural Language Understanding in solving the video retrieval problem. Our main contribution is the utiliza...
Yusuf Aytar, Mubarak Shah, Jiebo Luo