Sciweavers

256 search results - page 38 / 52
» Structural features in content oriented XML retrieval
Sort
View
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 7 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
MM
2004
ACM
248views Multimedia» more  MM 2004»
15 years 7 months ago
Incremental semi-supervised subspace learning for image retrieval
Subspace learning techniques are widespread in pattern recognition research. They include Principal Component Analysis (PCA), Locality Preserving Projection (LPP), etc. These tech...
Xiaofei He
AIRS
2005
Springer
15 years 7 months ago
VisMed: A Visual Vocabulary Approach for Medical Image Indexing and Retrieval
Voluminous medical images are generated daily. They are critical assets for medical diagnosis, research, and teaching. To facilitate automatic indexing and retrieval of large medic...
Joo-Hwee Lim, Jean-Pierre Chevallet
WWW
2008
ACM
16 years 2 months ago
Finding the right facts in the crowd: factoid question answering over social media
Community Question Answering has emerged as a popular and effective paradigm for a wide range of information needs. For example, to find out an obscure piece of trivia, it is now ...
Jiang Bian, Yandong Liu, Eugene Agichtein, Hongyua...
MM
2004
ACM
167views Multimedia» more  MM 2004»
15 years 7 months ago
Learning an image manifold for retrieval
We consider the problem of learning a mapping function from low-level feature space to high-level semantic space. Under the assumption that the data lie on a submanifold embedded ...
Xiaofei He, Wei-Ying Ma, HongJiang Zhang