Sciweavers

551 search results - page 17 / 111
» Semantic knowledge in word completion
Sort
View
ENTCS
2007
121views more  ENTCS 2007»
13 years 7 months ago
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
Peter Selinger
APN
2008
Springer
13 years 9 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
EMNLP
2009
13 years 5 months ago
A Study on the Semantic Relatedness of Query and Document Terms in Information Retrieval
The use of lexical semantic knowledge in information retrieval has been a field of active study for a long time. Collaborative knowledge bases like Wikipedia and Wiktionary, which...
Christof Müller, Iryna Gurevych
AI
2000
Springer
14 years 2 days ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
ICMCS
2005
IEEE
97views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Semantic Indexing for Instructional Video Via Combination of Handwriting Recognition and Information Retrieval
Efficient indexing and retrieval of digital videos are important needs within instructional video databases. Semantic indexing for instructional videos can be achieved by combini...
Lijun Tang, John R. Kender