Sciweavers

2525 search results - page 283 / 505
» A Framework for Semantic Gossiping
Sort
View
EMNLP
2010
15 years 5 months ago
Unsupervised Discovery of Negative Categories in Lexicon Bootstrapping
Multi-category bootstrapping algorithms were developed to reduce semantic drift. By extracting multiple semantic lexicons simultaneously, a category's search space may be res...
Tara McIntosh
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 5 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
NLDB
2010
Springer
15 years 5 months ago
Sense-Based Biomedical Indexing and Retrieval
This paper tackles the problem of term ambiguity, especially for biomedical literature. We propose and evaluate two methods of Word Sense Disambiguation (WSD) for biomedical terms ...
Ba-duy Dinh, Lynda Tamine
JLP
2010
59views more  JLP 2010»
15 years 2 months ago
The proof monad
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
Florent Kirchner, César Muñoz
ICDAR
2011
IEEE
14 years 6 months ago
Browsing Heterogeneous Document Collections by a Segmentation-Free Word Spotting Method
—In this paper, we present a segmentation-free word spotting method that is able to deal with heterogeneous document image collections. We propose a patch-based framework where p...
Marçal Rusiñol, David Aldavert, Rica...