Sciweavers

2944 search results - page 70 / 589
» Robust Semantic Construction
Sort
View
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 10 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
SIGIR
1999
ACM
15 years 10 months ago
A Similarity-based Probability Model for Latent Semantic Indexing
A dual probability model is constructed for the Latent Semantic Indexing LSI using the cosine similarity measure. Both the document-document similarity matrix and the term-term ...
Chris H. Q. Ding
165
Voted
ENTCS
2007
114views more  ENTCS 2007»
15 years 5 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
MMM
2011
Springer
228views Multimedia» more  MMM 2011»
14 years 9 months ago
A Semantic Higher-Level Visual Representation for Object Recognition
Having effective methods to access the images with desired object is essential nowadays with the availability of huge amount of digital images. We propose a semantic higher-level ...
Ismail Elsayad, Jean Martinet, Thierry Urruty, Cha...
PAMI
2007
187views more  PAMI 2007»
15 years 5 months ago
Supervised Learning of Semantic Classes for Image Annotation and Retrieval
—A probabilistic formulation for semantic image annotation and retrieval is proposed. Annotation and retrieval are posed as classification problems where each class is defined as...
Gustavo Carneiro, Antoni B. Chan, Pedro J. Moreno,...